Incompleteness along paths in progressions of theories

DOI10.2307/2964544zbMath0117.25701OpenAlexW2075471377MaRDI QIDQ5727662

Clifford Spector, Solomon Feferman

Publication date: 1963

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2964544

zbMATH Keywords

mathematical logic

Related Items (17)

Truth, reflection and hierarchies ⋮ The Forcing Method and the Upper Semilattice of Hyperdegrees ⋮ Recursive Pseudo-Well-Orderings ⋮ Higher Kurtz randomness ⋮ On provability logics with linearly ordered modalities ⋮ Measure-Theoretic Uniformity in Recursion Theory and Set Theory ⋮ The complexity of computable categoricity ⋮ ON THE INEVITABILITY OF THE CONSISTENCY OPERATOR ⋮ Lowness of higher randomness notions ⋮ Ungroundedness in Tarskian languages ⋮ The scope of Gödel's first incompleteness theorem ⋮ Transfinite Progressions: A Second Look at Completeness ⋮ Unfolding Schematic Systems ⋮ Possible-worlds semantics for modal notions conceived as predicates ⋮ Classifications of Recursive Functions by Means of Hierarchies ⋮ Paths in Kleene's0 ⋮ THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC

Cites Work

• On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper)
• On the Forms of the Predicates in the Theory of Constructive Ordinals

This page was built for publication: Incompleteness along paths in progressions of theories