Located sets and reverse mathematics
From MaRDI portal
Publication:4527932
DOI10.2307/2586708zbMath0967.03051OpenAlexW2099102402MaRDI QIDQ4527932
Stephen G. Simpson, Mariagnese Giusto
Publication date: 3 May 2001
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2586708
metriccompactnessreverse mathematicsclosed setsDNR axiomlocated setsstrong Tietze theoremweakly located sets
Constructive and recursive analysis (03F60) Second- and higher-order arithmetic and fragments (03F35)
Related Items (max. 100)
Countable sets versus sets that are countable in reverse mathematics ⋮ Fundamental notions of analysis in subsystems of second-order arithmetic ⋮ Representations and the foundations of mathematics ⋮ Refining the taming of the reverse mathematics zoo ⋮ Open Questions in Reverse Mathematics ⋮ To be or not to be constructive, that is not the question ⋮ Unconventional algorithms: complementarity of axiomatics and construction ⋮ Two kinds of fixed point theorems and reverse mathematics ⋮ FORCING WITH BUSHY TREES ⋮ Unnamed Item ⋮ Computability on subsets of metric spaces. ⋮ On effectively closed sets of effective strong measure zero ⋮ 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10 ⋮ Mass Problems and Randomness ⋮ The polarized Ramsey's theorem ⋮ Pincherle's theorem in reverse mathematics and computability theory ⋮ The reverse mathematics of the Tietze extension theorem ⋮ Nets and reverse mathematics ⋮ Computability on subsets of Euclidean space. I: Closed and compact subsets ⋮ Splittings and robustness for the Heine-Borel theorem
This page was built for publication: Located sets and reverse mathematics
