Publication:5310875
From MaRDI portal
zbMath1120.03047MaRDI QIDQ5310875
Publication date: 15 October 2007
Full work available at URL: http://www.jucs.org/jucs_11_12/constructive_equivalents_of_the
03F60: Constructive and recursive analysis
03B30: Foundations of classical theories (including reverse mathematics)
03F35: Second- and higher-order arithmetic and fragments
Related Items
Kronecker's density theorem and irrational numbers in constructive reverse mathematics, Sequences of real functions on [0,1 in constructive reverse mathematics]