Pages that link to "Item:Q3824402"

The following pages link to Finite injury and <i>Σ</i>₁-induction (Q3824402):

Displayed 16 items.

• Fragments of Kripke-Platek set theory and the metamathematics of \(\alpha \)-recursion theory (Q334991) ‎ (← links)
• \(\varPi^1_1\)-conservation of combinatorial principles weaker than Ramsey's theorem for pairs (Q436224) ‎ (← links)
• \(\Delta_{2}\) degrees without \(\Sigma_{1}\) induction (Q466117) ‎ (← links)
• The degree of a \(\Sigma_ n\) cut (Q749530) ‎ (← links)
• Subsystems of second-order arithmetic between \(\text{RCA}_{0}\) and \(\text{WKL}_{0}\) (Q938231) ‎ (← links)
• \(\Sigma_2\)-constructions and \(\text{I}\Sigma_1\) (Q1295390) ‎ (← links)
• \(\Sigma_ 2\) induction and infinite injury priority arguments. II. Tame \(\Sigma_ 2\) coding and the jump operator (Q1368581) ‎ (← links)
• Hyperhypersimple sets and \(\Delta _ 2\) systems (Q1823933) ‎ (← links)
• Iterated trees and fragments of arithmetic (Q1892096) ‎ (← links)
• The Role of True Finiteness in the Admissible Recursively Enumerable Degrees (Q3370614) ‎ (← links)
• On recursion theory in <i>IΣ</i>₁ (Q3481685) ‎ (← links)
• Maximal sets and fragments of Peano arithmetic (Q3812242) ‎ (← links)
• 1994–1995 Winter Meeting of the Association for Symbolic Logic (Q4858810) ‎ (← links)
• Induction, Bounding, Weak Combinatorial Principles, and the Homogeneous Model Theorem (Q5366979) ‎ (← links)
• THE THEORY OF THE METARECURSIVELY ENUMERABLE DEGREES (Q5485749) ‎ (← links)
• \(\Sigma_2\) induction and infinite injury priority arguments. III: Prompt sets, minimal pairs and Shoenfield's conjecture (Q5937666) ‎ (← links)