Коинтерпретируемость

В математической логике коинтерпретируемость — это бинарное отношение формальных теорий : формальная теория T коинтерпретируема в другой такой теории S , когда язык S может быть переведен на язык T таким образом, что S доказывает каждую формулу, перевод которой является теоремой T. « Перевод » здесь требуется для сохранения логической структуры формул.

Это понятие, в некотором смысле двойственное по отношению к интерпретируемости , было введено Джапаридзе (1993), который также доказал, что для теорий арифметики Пеано и любых более сильных теорий с эффективными аксиоматизациями коинтерпретируемость эквивалентна -консервативности.${\displaystyle \Сигма _{1}}$

• Котолерантность
• Логика интерпретируемости
• Толерантность (в логике)

• Джапаридзе, Георгий (1993), «Обобщенное понятие слабой интерпретируемости и соответствующая модальная логика», Annals of Pure and Applied Logic , 61 ( 1– 2): 113– 160, doi : 10.1016/0168-0072(93)90201-N, MR  1218658.
• Джапаридзе, Георгий ; де Йонг, Дик (1998), «Логика доказуемости», в Buss, Samuel R. (ред.), Handbook of Proof Theory , Studies in Logic and the Foundations of Mathematics, т. 137, Амстердам: Северная Голландия, стр.  475–546 , doi : 10.1016/S0049-237X(98)80022-0 , MR  1640331.

Эта статья, связанная с логикой, является заглушкой . Вы можете помочь Википедии, расширив ее.

• в
• т
• е