Pages that link to "Item:Q1407608"
From MaRDI portal
The following pages link to Proof-theoretic analysis by iterated reflection (Q1407608):
Displaying 34 items.
- On elementary theories of ordinal notation systems based on reflection principles (Q281010) (← links)
- Classes and truths in set theory (Q450946) (← links)
- Turing-Taylor expansions for arithmetic theories (Q514512) (← links)
- Proof lengths for instances of the Paris-Harrington principle (Q526964) (← links)
- Consistency statements and iterations of computable functions in \(\mathrm{I}\Sigma_1\) and PRA (Q711565) (← links)
- The strength of extensionality. I: Weak weak set theories with infinity (Q1006617) (← links)
- Interpretability in PRA (Q1035648) (← links)
- On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness (Q1295420) (← links)
- Axiomatizing provable \(n\)-provability (Q1732059) (← links)
- A note on iterated consistency and infinite proofs (Q1734260) (← links)
- Provability algebras and proof-theoretic ordinals. I (Q1877092) (← links)
- Parameter free induction and provably total computable functions (Q1960416) (← links)
- Conservativity spectra and Joosten-Fernández model (Q2079167) (← links)
- Reflection algebras and conservation results for theories of iterated truth (Q2120976) (← links)
- Short proofs for slow consistency (Q2176406) (← links)
- The logic of Turing progressions (Q2176413) (← links)
- Local reflection, definable elements and 1-provability (Q2204378) (← links)
- On a strengthening of the non-isomorphism theorem for provability algebras (Q2246876) (← links)
- The predicative Frege hierarchy (Q2271986) (← links)
- Ordinal analyses for monotone and cofinal transfinite inductions (Q2309490) (← links)
- Slow reflection (Q2407272) (← links)
- On the limit existence principles in elementary arithmetic and \(\varSigma_{n}^{0}\)-consequences of theories (Q2566065) (← links)
- 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10 (Q3011106) (← links)
- Relative Truth Definability of Axiomatic Truth Theories (Q3163660) (← links)
- The Henkin Sentence (Q3454817) (← links)
- ON THE INEVITABILITY OF THE CONSISTENCY OPERATOR (Q4628679) (← links)
- A NOTE ON PREDICATIVE ORDINAL ANALYSIS I: ITERATED COMPREHENSION AND TRANSFINITE INDUCTION (Q4628680) (← links)
- Proof Theoretic Analysis by Iterated Reflection (Q4637223) (← links)
- MÜNCHHAUSEN PROVABILITY (Q5015723) (← links)
- REFLECTION RANKS AND ORDINAL ANALYSIS (Q5021919) (← links)
- AXIOMATIZATION OF PROVABLE n-PROVABILITY (Q5222538) (← links)
- Reflection calculus and conservativity spectra (Q5377088) (← links)
- Reducing ω-model reflection to iterated syntactic reflection (Q6038474) (← links)
- ON SHAVRUKOV’S NON-ISOMORPHISM THEOREM FOR DIAGONALIZABLE ALGEBRAS (Q6131232) (← links)
