ON THE INEVITABILITY OF THE CONSISTENCY OPERATOR

DOI10.1017/jsl.2018.65zbMath1456.03091arXiv1708.07615OpenAlexW2750112826WikidataQ128296852 ScholiaQ128296852MaRDI QIDQ4628679

No author found.

Publication date: 15 March 2019

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

Full work available at URL: https://arxiv.org/abs/1708.07615

zbMATH Keywords

consistencyreflection principles

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40)

Related Items

Evitable iterates of the consistency operator, A note on the consistency operator

Cites Work

• Unnamed Item
• Unnamed Item
• Turing-Taylor expansions for arithmetic theories
• Provability logics for natural Turing progressions of arithmetical theories
• Proof-theoretic analysis by iterated reflection
• Provability algebras and proof-theoretic ordinals. I
• Iterated local reflection versus iterated consistency
• Slow consistency
• Uniform density in Lindenbaum algebras
• On the structure of the degrees of relative provability
• Reflection principles and provability algebras in formal arithmetic
• Deduction-preserving "Recursive Isomorphisms" between theories
• Recursive Pseudo-Well-Orderings
• Incompleteness along paths in progressions of theories