Pages that link to "Item:Q1591205"
From MaRDI portal
The following pages link to Unraveling \(\boldsymbol\Pi_1^1\) sets (Q1591205):
Displaying 4 items.
- Bounds on the strength of ordinal definable determinacy in small admissible sets (Q1762358) (← links)
- Unraveling \({\boldsymbol\Pi}^1_1\) sets, revisited (Q2382328) (← links)
- The removal of $\pi $ from some undecidable problems involving elementary functions (Q4804074) (← links)
- Determinacy for games ending at the first admissible relative to the play (Q5480616) (← links)