Reverse Mathematics and Π12 Comprehension

DOI10.2178/bsl/1130335208zbMath1106.03050OpenAlexW2229732917WikidataQ57951171 ScholiaQ57951171MaRDI QIDQ5472644

Stephen G. Simpson, Carl Mummert

Publication date: 12 June 2006

Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2178/bsl/1130335208

zbMATH Keywords

metrictopologyreverse mathematicsmetrizationmaximal filterPiMF-space

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35)

Related Items (13)

REVERSE MATHEMATICS OF MF SPACES ⋮ Representations and the foundations of mathematics ⋮ ON THE UNCOUNTABILITY OF ⋮ Reverse mathematics and parameter-free transfer ⋮ Reverse mathematics of topology: dimension, paracompactness, and splittings ⋮ Topological aspects of poset spaces ⋮ COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS ⋮ \({\Pi^1_2}\)-comprehension and the property of Ramsey ⋮ Pincherle's theorem in reverse mathematics and computability theory ⋮ On the mathematical and foundational significance of the uncountable ⋮ Nets and reverse mathematics ⋮ The strength of compactness in computability theory and nonstandard analysis ⋮ Neo-Logicism and Its Logic

Cites Work

• Set theory. An introduction to independence proofs
• The classification of hypersmooth Borel equivalence relations
• Unnamed Item
• Unnamed Item

This page was built for publication: Reverse Mathematics and Π¹₂ Comprehension