REVERSE MATHEMATICS OF MF SPACES
From MaRDI portal
Publication:3444857
DOI10.1142/S0219061306000578zbMath1122.03005OpenAlexW2117109310WikidataQ57951168 ScholiaQ57951168MaRDI QIDQ3444857
Publication date: 5 June 2007
Published in: Journal of Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1142/s0219061306000578
Complete metric spaces (54E50) Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35)
Related Items (11)
Reverse mathematics, well-quasi-orders, and Noetherian spaces ⋮ Representations and the foundations of mathematics ⋮ ON THE UNCOUNTABILITY OF ⋮ COMPUTABLY COMPACT METRIC SPACES ⋮ Reverse mathematics and properties of finite character ⋮ The Reverse Mathematics of wqos and bqos ⋮ Reverse mathematics of topology: dimension, paracompactness, and splittings ⋮ Topological aspects of poset spaces ⋮ \({\Pi^1_2}\)-comprehension and the property of Ramsey ⋮ On the mathematical and foundational significance of the uncountable ⋮ Nets and reverse mathematics
Cites Work
This page was built for publication: REVERSE MATHEMATICS OF MF SPACES