scientific article; zbMATH DE number 5200710
From MaRDI portal
Publication:5310875
zbMath1120.03047MaRDI QIDQ5310875
Publication date: 15 October 2007
Full work available at URL: http://www.jucs.org/jucs_11_12/constructive_equivalents_of_the
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Constructive and recursive analysis (03F60) Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35)
Related Items (2)
Kronecker's density theorem and irrational numbers in constructive reverse mathematics ⋮ Sequences of real functions on [0,1 in constructive reverse mathematics]
This page was built for publication:
