scientific article; zbMATH DE number 5200725
From MaRDI portal
Publication:5310890
zbMath1124.03041MaRDI QIDQ5310890
Publication date: 15 October 2007
Full work available at URL: http://www.jucs.org/jucs_11_12/what_is_continuity_constructively
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
A continuity principle equivalent to the monotone \(\Pi^0_1\) fan theorem ⋮ Kronecker's density theorem and irrational numbers in constructive reverse mathematics
This page was built for publication:
