Pages that link to "Item:Q4063424"
From MaRDI portal
The following pages link to Splitting an α-Recursively Enumerable Set (Q4063424):
Displayed 15 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)
- Global and local admissibility. II. Major subsets and automorphisms (Q1060215) (← links)
- The basic theory of partial \(\alpha\)-recursive operators (Q1078175) (← links)
- Tabular degrees in \(\alpha\)-recursion theory (Q1184713) (← links)
- The irregular and non-hyperregular \(\alpha\)-r.e. degrees (Q1245218) (← links)
- \(\Sigma_2\)-constructions and \(\text{I}\Sigma_1\) (Q1295390) (← links)
- Power set recursion (Q1346246) (← links)
- \(\Sigma_ 2\) induction and infinite injury priority arguments. II. Tame \(\Sigma_ 2\) coding and the jump operator (Q1368581) (← links)
- Discrete Transfinite Computation (Q2906573) (← links)
- The atomic model theorem and type omitting (Q3642694) (← links)
- Inverting the Half-Jump (Q3674638) (← links)
- Cohesive Sets: Countable and Uncountable (Q4041561) (← links)
- Induction, Bounding, Weak Combinatorial Principles, and the Homogeneous Model Theorem (Q5366979) (← links)
- Milliken’s Tree Theorem and Its Applications: A Computability-Theoretic Perspective (Q6201447) (← links)