REVERSE MATHEMATICS OF MF SPACES

DOI10.1142/S0219061306000578zbMath1122.03005OpenAlexW2117109310WikidataQ57951168 ScholiaQ57951168MaRDI QIDQ3444857

Carl Mummert

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

zbMATH Keywords

reverse mathematicsmetrization theoremgeneral topologyMF space

Mathematics Subject Classification ID

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

• Unnamed Item
• Topological games in domain theory
• Filters on computable posets
• Spaces of maximal points
• Recent Advances in Ordinal Analysis: Π¹₂— CA and Related Systems
• Reverse Mathematics and Π¹₂ Comprehension

This page was built for publication: REVERSE MATHEMATICS OF MF SPACES