Канамори - Макаллун теоремасы - Kanamori–McAloon theorem

Жылы математикалық логика, Канамори - Макаллун теоремасы, байланысты Канамори және Макаллун (1987), ішіндегі толымсыздығына мысал келтіреді Пеано арифметикасы, ұқсас Париж - Харрингтон теоремасы.Олар теореманың белгілі бір финистикалық ерекше жағдайын көрсетті[қайсы? ] жылы Рэмси теориясы байланысты Ердо және Радо Peano арифметикасында дәлелденбейді.

Сондай-ақ қараңыз

Әдебиеттер тізімі

  • Канамори, Акихиро; McAloon, Kenneth (1987), «Gödel-дің толық еместігі және ақырлы комбинаторикасы туралы», Таза және қолданбалы логика шежірелері, 33 (1): 23–41, дои:10.1016/0168-0072(87)90074-1, ISSN  0168-0072, МЫРЗА  0870685