Pages that link to "Item:Q1361250"
From MaRDI portal
The following pages link to Induction rules, reflection principles, and provably recursive functions (Q1361250):
Displaying 25 items.
- Honest elementary degrees and degrees of relative provability without the cupping property (Q515565) (← links)
- On nested simple recursion (Q634775) (← links)
- Consistency statements and iterations of computable functions in \(\mathrm{I}\Sigma_1\) and PRA (Q711565) (← links)
- Interpretability in PRA (Q1035648) (← links)
- Some results on cut-elimination, provable well-orderings, induction and reflection (Q1295413) (← links)
- Induction rules, reflection principles, and provably recursive functions (Q1361250) (← links)
- Provability algebras and proof-theoretic ordinals. I (Q1877092) (← links)
- Parameter free induction and provably total computable functions (Q1960416) (← links)
- Unprovability results for clause set cycles (Q2084942) (← links)
- Hyperarithmetical worm battles (Q2151396) (← links)
- Induction rules in bounded arithmetic (Q2309507) (← links)
- On axiom schemes for \(T\)-provably \(\Delta_1\) formulas (Q2449854) (← links)
- Local induction and provably total computable functions (Q2453069) (← links)
- The closed fragment of the interpretability logic of PRA with a constant for I\(\Sigma^1\) (Q2565986) (← links)
- On the induction schema for decidable predicates (Q4457724) (← links)
- Proof Theoretic Analysis by Iterated Reflection (Q4637223) (← links)
- Fragments of Arithmetic and true sentences (Q4680381) (← links)
- ARITHMETICAL INTERPRETATIONS AND KRIPKE FRAMES OF PREDICATE MODAL LOGIC OF PROVABILITY (Q4918381) (← links)
- A NOTE ON FRAGMENTS OF UNIFORM REFLECTION IN SECOND ORDER ARITHMETIC (Q5044314) (← links)
- AXIOMATIZATION OF PROVABLE n-PROVABILITY (Q5222538) (← links)
- PREDICATIVITY THROUGH TRANSFINITE REFLECTION (Q5359565) (← links)
- MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE (Q6103462) (← links)
- AN INCOMPLETENESS THEOREM VIA ORDINAL ANALYSIS (Q6123580) (← links)
- ON SHAVRUKOV’S NON-ISOMORPHISM THEOREM FOR DIAGONALIZABLE ALGEBRAS (Q6131232) (← links)
- Semi-honest subrecursive degrees and the collection rule in arithmetic (Q6137350) (← links)
