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.
I don’t know offhand of it being written down anywhere. Maybe Toby does? I think I learned it from him.
1 to 5 of 5