Pages that link to "Item:Q4894721"
From MaRDI portal
The following pages link to The Sacks density theorem and Σ<sub>2</sub>-bounding (Q4894721):
Displayed 5 items.
- Fragments of Kripke-Platek set theory and the metamathematics of \(\alpha \)-recursion theory (Q334991) (← links)
- \(\Sigma_2\)-constructions and \(\text{I}\Sigma_1\) (Q1295390) (← links)
- Coding a family of sets (Q1295408) (← links)
- \(\Sigma_ 2\) induction and infinite injury priority arguments. II. Tame \(\Sigma_ 2\) coding and the jump operator (Q1368581) (← links)
- \(\Sigma_2\) induction and infinite injury priority arguments. III: Prompt sets, minimal pairs and Shoenfield's conjecture (Q5937666) (← links)