✦ LIBER ✦

Undecidability without Arithmetization

✍ Scribed by Andrzej Grzegorczyk

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Undecidable Extensions of Monadic Second

✍ Dirk Siefkes 📂 Article 📅 1971 🏛 John Wiley and Sons 🌐 English ⚖ 628 KB

TJNDEClDABLE EXTENSIONS OF MONADIC SECOND ORDER SUCCESSOR ARITHMETIC by DIRK SIEFKES in Heidelberg (GFR)

On the Consistency and Undecidability of

✍ H. E. Rose 📂 Article 📅 1961 🏛 John Wiley and Sons 🌐 English ⚖ 556 KB

Arithmetic Facts without Meaning

✍ M. Delazer; Th. Benke 📂 Article 📅 1997 🏛 Masson, Italy (now Elsevier Masson) 🌐 English ⚖ 98 KB

My route to arithmetization

✍ SOLOMON FEFERMAN 📂 Article 📅 2008 🏛 Wiley (Blackwell Publishing) 🌐 English ⚖ 707 KB

A note on undecidable extensions of mona

✍ Thomas, Wolfgang 📂 Article 📅 1975 🏛 Springer-Verlag ⚖ 118 KB

Symbolic arithmetic knowledge without in

✍ Gilmore, Camilla K.; McCarthy, Shannon E.; Spelke, Elizabeth S. 📂 Article 📅 2007 🏛 Nature Publishing Group 🌐 English ⚖ 350 KB