Transfinite Progressions: A Second Look at Completeness
From MaRDI portal
Publication:4678945
DOI10.2178/bsl/1102022662zbMath1078.03047OpenAlexW1977614750MaRDI QIDQ4678945
Publication date: 24 May 2005
Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.686.8236
Related Items (10)
On the metamathematics of the P vs. NP question ⋮ Proof-Producing Reflection for HOL ⋮ Informal versus formal mathematics ⋮ The scope of Gödel's first incompleteness theorem ⋮ Some thoughts on hypercomputation ⋮ A Deflationary Account of the Truth of the Gödel Sentence $$\mathcal{G}$$ ⋮ Unfolding Schematic Systems ⋮ The Epistemology of Computer-Mediated Proofs ⋮ How to build a hypercomputer ⋮ Completeness of the primitive recursive \(\omega \)-rule
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Iterated local reflection versus iterated consistency
- Solution of a problem of Leon Henkin
- On the completeness of some transfinite recursive progressions of axiomatic theories
- Transfinite recursive progressions of axiomatic theories
- Incompleteness along paths in progressions of theories
This page was built for publication: Transfinite Progressions: A Second Look at Completeness