Evitable iterates of the consistency operator
From MaRDI portal
Publication:5880939
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
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)