Evitable iterates of the consistency operator

DOI10.3233/COM-220400MaRDI QIDQ5880939zbMATH OpenOpenAlexFDO

Authors

Publication date 9 March 2023

Published in Computability (Search for Journal in Brave)

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

zbMATH Keywords

consistencyproof theoryMartin's conjecture

Mathematics Subject Classification ID

Computability and recursion theory (03Dxx)

Recommendations

• ON THE INEVITABILITY OF THE CONSISTENCY OPERATOR
• A note on the consistency operator
• On consistent operators and reflexivity
• A note on iterated consistency and infinite proofs
• scientific article; zbMATH DE number 987650
• scientific article; zbMATH DE number 776118
• A generalized iterative construct and its semantics
• Iterates of Conditional Expectation Operators
• Iterated contraction based on indistinguishability

Cites work

• scientific article; zbMATH DE number 4108753 (Why is no real title available?)
• scientific article; zbMATH DE number 3668596 (Why is no real title available?)
• A note on the consistency operator
• Iterated local reflection versus iterated consistency
• ON THE INEVITABILITY OF THE CONSISTENCY OPERATOR
• Provability logics for natural Turing progressions of arithmetical theories
• Reflection principles and provability algebras in formal arithmetic
• Uniform density in Lindenbaum algebras

Cited in

(1)

• ON THE INEVITABILITY OF THE CONSISTENCY OPERATOR

This page was built for publication: Evitable iterates of the consistency operator

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