Evitable iterates of the consistency operator

DOI10.3233/COM-220400OpenAlexW4306748408MaRDI QIDQ5880939FDOQ5880939

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

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

zbMATH Keywords

consistencyproof theoryMartin's conjecture

Mathematics Subject Classification ID

Computability and recursion theory (03Dxx)

Cites Work

• Reflection principles and provability algebras in formal arithmetic
• Title not available (Why is that?)
• Iterated local reflection versus iterated consistency
• A note on the consistency operator
• Title not available (Why is that?)
• Provability logics for natural Turing progressions of arithmetical theories
• Uniform density in Lindenbaum algebras
• ON THE INEVITABILITY OF THE CONSISTENCY OPERATOR

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)