Incompleteness along paths in progressions of theories

DOI10.2307/2964544MaRDI QIDQ5727662zbMATH OpenOpenAlexFDO

Authors Solomon Feferman, Clifford Spector

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

Cites work

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

Cited in

(19)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5727662)