On constructing completions

DOI10.2178/jsl/1122038923zbMath1099.03044OpenAlexW2092847400WikidataQ61835223 ScholiaQ61835223MaRDI QIDQ5718698

Laura Crosilla, Hajime Ishihara, Peter M. Schuster

Publication date: 16 January 2006

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.605.7818

zbMATH Keywords

metric spacecompletionsconstructive set theoryDedekind cutsDedekind reals

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Nonclassical and second-order set theories (03E70) Other constructive mathematics (03F65)

Related Items

Are there enough injective sets?, Binary refinement implies discrete exponentiation, Generalized geometric theories and set-generated classes, The shrinking principle and the axiom of choice, Refinement is equivalent to Fullness, On the constructive Dedekind reals, The Hahn-Banach theorem by disjunction elimination, Problems, solutions, and completions

Cites Work

• Unnamed Item
• Unnamed Item
• Constructive metrisability in point-free topology.
• Some points in formal topology.
• Independence results around constructive ZF
• The continuum as a formal space
• The fundamental theorem of algebra: a constructive development without choice.