Some applications of formalized consistency proofs
From MaRDI portal
Publication:3228606
DOI10.4064/fm-42-1-101-110zbMath0067.25201MaRDI QIDQ3228606
Publication date: 1955
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/213363
Related Items
1 — Consistency and faithful interpretations, Some Results on the Length of Proofs, Generalizing proofs in monadic languages (with a postscript by Georg Kreisel)., On the number of steps in proofs, Independent axiomatizability of sets of sentences, Models of set theory with definable ordinals, On the consistency of a slight (?) modification of Quine's 'New Foundations', Speed-Up by Theories with Infinite Models