Pages that link to "Item:Q4227867"

The following pages link to Σ₂ Induction and infinite injury priority argument, Part I: Maximal sets and the jump operator (Q4227867):

Displayed 2 items.

• \(\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)