Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
added to Cachy real number a pointer to
I added to Cauchy real number a link to Lubarsky’s paper on (the constructive lack of) Cauchy completeness of the Cauchy reals, and some discussion of his countermodels — which I’m almost certain are actually generic objects in classifying toposes, but oddly (for a paper about constructive mathematics written in 2007) he makes no mention of toposes at all.
1 to 2 of 2