Publication:5310890
From MaRDI portal
zbMath1124.03041MaRDI QIDQ5310890
Publication date: 15 October 2007
Full work available at URL: http://www.jucs.org/jucs_11_12/what_is_continuity_constructively
Related Items
Kronecker's density theorem and irrational numbers in constructive reverse mathematics, A continuity principle equivalent to the monotone \(\Pi^0_1\) fan theorem