Pages that link to "Item:Q3228606"
From MaRDI portal
The following pages link to Some applications of formalized consistency proofs (Q3228606):
Displayed 9 items.
- Generalizing proofs in monadic languages (with a postscript by Georg Kreisel). (Q930260) (← links)
- On the number of steps in proofs (Q1119576) (← links)
- Independent axiomatizability of sets of sentences (Q1262853) (← links)
- Models of set theory with definable ordinals (Q1777270) (← links)
- On the consistency of a slight (?) modification of Quine's 'New Foundations' (Q2541215) (← links)
- Speed-Up by Theories with Infinite Models (Q3922672) (← links)
- INCOMPLETENESS VIA PARADOX AND COMPLETENESS (Q5117593) (← links)
- Some Results on the Length of Proofs (Q5686023) (← links)
- 1 — Consistency and faithful interpretations (Q5734415) (← links)