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

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