Incompleteness along paths in progressions of theories
From MaRDI portal
Publication:5727662
DOI10.2307/2964544zbMath0117.25701MaRDI 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
Related Items
ON THE INEVITABILITY OF THE CONSISTENCY OPERATOR, Transfinite Progressions: A Second Look at Completeness, 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, On provability logics with linearly ordered modalities, The complexity of computable categoricity, Higher Kurtz randomness, Lowness of higher randomness notions, 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
Cites Work