Pages that link to "Item:Q1267837"

The following pages link to A proof-theoretic analysis of collection (Q1267837):

Displaying 14 items.

• On the query complexity of finding a local maximum point. (Q1853165) (← links)
• Saturated models of universal theories (Q1861531) (← links)
• Provability algebras and proof-theoretic ordinals. I (Q1877092) (← links)
• Local reflection, definable elements and 1-provability (Q2204378) (← links)
• On a strengthening of the non-isomorphism theorem for provability algebras (Q2246876) (← links)
• Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) (Q2400502) (← links)
• On axiom schemes for \(T\)-provably \(\Delta_1\) formulas (Q2449854) (← links)
• Local induction and provably total computable functions (Q2453069) (← links)
• END-EXTENSIONS OF MODELS OF WEAK ARITHMETIC FROM COMPLEXITY-THEORETIC CONTAINMENTS (Q2976370) (← links)
• 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10 (Q3011106) (← links)
• On the induction schema for decidable predicates (Q4457724) (← links)
• Proof Theoretic Analysis by Iterated Reflection (Q4637223) (← links)
• ON SHAVRUKOV’S NON-ISOMORPHISM THEOREM FOR DIAGONALIZABLE ALGEBRAS (Q6131232) (← links)
• Semi-honest subrecursive degrees and the collection rule in arithmetic (Q6137350) (← links)