Evitable iterates of the consistency operator (Q5880939)
From MaRDI portal
scientific article; zbMATH DE number 7661118
Language | Label | Description | Also known as |
---|---|---|---|
English | Evitable iterates of the consistency operator |
scientific article; zbMATH DE number 7661118 |
Statements
Evitable iterates of the consistency operator (English)
0 references
9 March 2023
0 references
proof theory
0 references
consistency
0 references
Martin's conjecture
0 references