Pages that link to "Item:Q2176407"
From MaRDI portal
The following pages link to Splittings and disjunctions in reverse mathematics (Q2176407):
Displayed 7 items.
- Reverse mathematics of topology: dimension, paracompactness, and splittings (Q1981984) (← links)
- Splittings and robustness for the Heine-Borel theorem (Q2117802) (← links)
- Representations and the foundations of mathematics (Q2134273) (← links)
- Pincherle's theorem in reverse mathematics and computability theory (Q2304540) (← links)
- Lifting proofs from countable to uncountable mathematics (Q2672667) (← links)
- Nets and reverse mathematics (Q4995602) (← links)
- Countable sets versus sets that are countable in reverse mathematics (Q5037215) (← links)