Pages that link to "Item:Q5713163"
From MaRDI portal
The following pages link to Invariants, Boolean algebras and ACA₀⁺ (Q5713163):
Displaying 8 items.
- On Fraïssé's conjecture for linear orders of finite Hausdorff rank (Q1032636) (← links)
- Boolean algebras, Tarski invariants, and index sets (Q2505128) (← links)
- – <i>CA</i><sub>0</sub> and order types of countable ordered groups (Q2732274) (← links)
- (Q4249731) (← links)
- Infinite games in the Cantor space and subsystems of second order arithmetic (Q5293192) (← links)
- Ranked structures and arithmetic transfinite recursion (Q5437595) (← links)
- INDECOMPOSABLE LINEAR ORDERINGS AND HYPERARITHMETIC ANALYSIS (Q5485751) (← links)
- Primitive recursive reverse mathematics (Q6050165) (← links)
