### On the constructive Dedekind reals

#### Full Text:

131-152DOI: https://doi.org/10.4115/jla.v0i0.190

This work is licensed under a Creative Commons Attribution 3.0 License.

Journal of Logic and Analysis ISSN: 1759-9008

DOI: https://doi.org/10.4115/jla.v0i0.190

This work is licensed under a Creative Commons Attribution 3.0 License.

Journal of Logic and Analysis ISSN: 1759-9008