Located sets and reverse mathematics

DOI10.2307/2586708MaRDI QIDQ4527932zbMATH OpenOpenAlexFDO

Authors Mariagnese Giusto, Stephen G. Simpson

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

zbMATH Keywords

closed setscompactnessDNR axiomlocated setsmetricreverse mathematicsstrong Tietze theoremweakly located sets

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35) Constructive and recursive analysis (03F60)

Recommendations

• Fundamental notions of analysis in subsystems of second-order arithmetic
• scientific article; zbMATH DE number 3924748
• A study of singular points and supports of measures in reverse mathematics
• scientific article; zbMATH DE number 2019844
• Reverse mathematics of separably closed sets

Cited in

(24)

• The polarized Ramsey's theorem
• Computability on subsets of Euclidean space. I: Closed and compact subsets
• Computability on subsets of metric spaces.
• Some reverse location problems
• Refining the taming of the reverse mathematics zoo
• To be or not to be constructive, that is not the question
• Splittings and robustness for the Heine-Borel theorem
• Representations and the foundations of mathematics
• Pincherle's theorem in reverse mathematics and computability theory
• Fundamental notions of analysis in subsystems of second-order arithmetic
• On effectively closed sets of effective strong measure zero
• Reverse mathematics of separably closed sets
• The reverse mathematics of the Tietze extension theorem
• 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10
• Open questions in reverse mathematics
• Mass Problems and Randomness
• Unconventional algorithms: complementarity of axiomatics and construction
• Nets and reverse mathematics
• The computational content of nonstandard analysis
• Countable sets versus sets that are countable in reverse mathematics
• Two kinds of fixed point theorems and reverse mathematics
• Forcing with bushy trees
• On some computational properties of open sets
• The biggest five of reverse mathematics

This page was built for publication: Located sets and reverse mathematics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4527932)