Pages that link to "Item:Q3745836"
From MaRDI portal
The following pages link to Reflection Principles in Fragments of Peano Arithmetic (Q3745836):
Displaying 18 items.
- Some combinatorial principles equivalent to restrictions of transfinite induction up to \(\Gamma _ 0\) (Q1262308) (← links)
- Induction rules, reflection principles, and provably recursive functions (Q1361250) (← links)
- Parameter free induction and provably total computable functions (Q1960416) (← links)
- Local reflection, definable elements and 1-provability (Q2204378) (← links)
- Uniform density in Lindenbaum algebras (Q2258545) (← links)
- Interpretability suprema in Peano arithmetic (Q2402961) (← links)
- Slow reflection (Q2407272) (← links)
- On the limit existence principles in elementary arithmetic and \(\varSigma_{n}^{0}\)-consequences of theories (Q2566065) (← links)
- Arithmetical Reflection and the Provability of Soundness (Q2965618) (← links)
- Reflection principles and provability algebras in formal arithmetic (Q3372439) (← links)
- ON THE ITERATED ω‐RULE (Q4295231) (← links)
- Proof Theoretic Analysis by Iterated Reflection (Q4637223) (← links)
- A NOTE ON FRAGMENTS OF UNIFORM REFLECTION IN SECOND ORDER ARITHMETIC (Q5044314) (← links)
- Set-theoretic reflection is equivalent to induction over well-founded classes (Q5117344) (← links)
- SELF-REFERENCE IN ARITHMETIC II (Q5176166) (← links)
- (Q5213547) (← links)
- AXIOMATIZATION OF PROVABLE n-PROVABILITY (Q5222538) (← links)
- Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories (Q5404169) (← links)