Fast-Collapsing Theories
- 28 December 2013
- journal article
- research article
- Published by Springer Science and Business Media LLC in Studia Logica
- Vol. 103 (1), 53-73
- https://doi.org/10.1007/s11225-013-9537-9
Abstract
No abstract availableKeywords
Other Versions
This publication has 10 references indexed in Scilit:
- A Machine That Knows Its Own CodeStudia Logica, 2013
- Subsystems of Second Order ArithmeticPublished by Cambridge University Press (CUP) ,2009
- After GodelLogic Journal of the IGPL, 2006
- Knowledge, machines, and the consistency of Reinhardt's strong mechanistic thesisAnnals of Pure and Applied Logic, 2000
- Ordinal arithmetic and $\Sigma_{1}$ -elementarityArchive for Mathematical Logic, 1999
- The Emperor's New MindPublished by Oxford University Press (OUP) ,1989
- Absolute Versions of Incompleteness TheoremsNoûs, 1985
- Epistemic and Intuitionistic ArithmeticPublished by Elsevier BV ,1985
- God, the Devil, and GödelMonist, 1967
- Minds, Machines and GödelPhilosophy, 1961