Transfinite Progressions: A Second Look at Completeness

DOI10.2178/bsl/1102022662zbMath1078.03047OpenAlexW1977614750MaRDI QIDQ4678945

Torkel Franzén

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

zbMATH Keywords

transfinite progressionreflexion principles

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Recursive ordinals and ordinal notations (03F15)

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