Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
The modified Ramsey theorem is not a Gödel sentence - MaRDI portal

The modified Ramsey theorem is not a Gödel sentence

From MaRDI portal

Publication:2856047

Jump to:navigation, search

zbMATH Open1273.03044MaRDI QIDQ2856047

Jaakko Hintikka

Publication date: 23 October 2013

zbMATH Keywords

undecidability IF logic Peano arithmetic Ramsey theorem Gödel's incompleteness theorem

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Decidability of theories and sets of sentences (03B25) Gödel numberings and issues of incompleteness (03F40)

This page was built for publication: The modified Ramsey theorem is not a Gödel sentence

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2856047)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2856047&oldid=15786610"