Evitable iterates of the consistency operator

DOI10.3233/COM-220400OpenAlexW4306748408MaRDI QIDQ5880939

No author found.

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)

Cites Work

• Provability logics for natural Turing progressions of arithmetical theories
• Iterated local reflection versus iterated consistency
• Uniform density in Lindenbaum algebras
• Reflection principles and provability algebras in formal arithmetic
• ON THE INEVITABILITY OF THE CONSISTENCY OPERATOR
• A note on the consistency operator
• Unnamed Item
• Unnamed Item