scientific article; zbMATH DE number 2236635
From MaRDI portal
Publication:5711886
zbMath1089.03052MaRDI QIDQ5711886
Publication date: 8 December 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Compactness (54D30) Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35) Constructive real analysis (26E40)
Related Items (3)
Countable sets versus sets that are countable in reverse mathematics ⋮ Representations and the foundations of mathematics ⋮ Splittings and robustness for the Heine-Borel theorem
This page was built for publication: