Pages that link to "Item:Q4527932"
From MaRDI portal
The following pages link to Located sets and reverse mathematics (Q4527932):
Displayed 20 items.
- Unconventional algorithms: complementarity of axiomatics and construction (Q406192) (← links)
- The polarized Ramsey's theorem (Q1014283) (← links)
- Computability on subsets of Euclidean space. I: Closed and compact subsets (Q1292398) (← links)
- Computability on subsets of metric spaces. (Q1427773) (← links)
- Refining the taming of the reverse mathematics zoo (Q1633897) (← links)
- To be or not to be constructive, that is not the question (Q1688964) (← 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)
- Fundamental notions of analysis in subsystems of second-order arithmetic (Q2368910) (← links)
- On effectively closed sets of effective strong measure zero (Q2453070) (← links)
- The reverse mathematics of the Tietze extension theorem (Q2827383) (← links)
- 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10 (Q3011106) (← links)
- Open Questions in Reverse Mathematics (Q3174640) (← links)
- Mass Problems and Randomness (Q3370625) (← links)
- Nets and reverse mathematics (Q4995602) (← links)
- (Q5015363) (← links)
- Countable sets versus sets that are countable in reverse mathematics (Q5037215) (← links)
- Two kinds of fixed point theorems and reverse mathematics (Q5108123) (← links)
- FORCING WITH BUSHY TREES (Q5363371) (← links)