Pages that link to "Item:Q3426567"
From MaRDI portal
The following pages link to Theories very close to <i>PA</i> where Kreisel's Conjecture is false (Q3426567):
Displaying 5 items.
- The lengths of proofs: Kreisel's conjecture and Gödel's speed-up theorem (Q843609) (← links)
- Generalizing proofs in monadic languages (with a postscript by Georg Kreisel). (Q930260) (← links)
- \(k\)-provability in \(\mathrm{PA}\) (Q2070428) (← links)
- Kreisel's Conjecture with minimality principle (Q3399187) (← links)
- VARIANTS OF KREISEL’S CONJECTURE ON A NEW NOTION OF PROVABILITY (Q5037515) (← links)