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
