Pages that link to "Item:Q2443120"
From MaRDI portal
The following pages link to Baire categoricity and \(\Sigma_1^0\)-induction (Q2443120):
Displayed 4 items.
- On the uniform computational content of the Baire category theorem (Q1633900) (← links)
- THE BOREL COMPLEXITY OF ISOMORPHISM FOR O-MINIMAL THEORIES (Q4977215) (← links)
- REVERSE MATHEMATICS, YOUNG DIAGRAMS, AND THE ASCENDING CHAIN CONDITION (Q4977220) (← links)
- Primitive recursive reverse mathematics (Q6050165) (← links)