Pages that link to "Item:Q1899141"
From MaRDI portal
The following pages link to Iterated local reflection versus iterated consistency (Q1899141):
Displaying 14 items.
- Classes and truths in set theory (Q450946) (← links)
- Turing-Taylor expansions for arithmetic theories (Q514512) (← links)
- Principles for object-linguistic consequence: from logical to irreflexive (Q722029) (← links)
- The omega-rule interpretation of transfinite provability logic (Q1694812) (← links)
- Parameter free induction and provably total computable functions (Q1960416) (← links)
- The logic of Turing progressions (Q2176413) (← links)
- Slow reflection (Q2407272) (← links)
- On the limit existence principles in elementary arithmetic and \(\varSigma_{n}^{0}\)-consequences of theories (Q2566065) (← links)
- ON THE INEVITABILITY OF THE CONSISTENCY OPERATOR (Q4628679) (← links)
- Transfinite Progressions: A Second Look at Completeness (Q4678945) (← links)
- A note on the consistency operator (Q4959740) (← links)
- REFLECTION RANKS AND ORDINAL ANALYSIS (Q5021919) (← links)
- Reflection calculus and conservativity spectra (Q5377088) (← links)
- Evitable iterates of the consistency operator (Q5880939) (← links)
