On constructing completions

DOI10.2178/JSL/1122038923MaRDI QIDQ5718698zbMATH OpenOpenAlexWikidataFDO

Authors Laura Crosilla, Hajime Ishihara, Peter 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

completionsconstructive set theoryDedekind cutsDedekind realsmetric space

Mathematics Subject Classification ID

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

Recommendations

• Completions, constructions, and corollaries
• scientific article; zbMATH DE number 3915203
• Constructions of complete sets
• scientific article; zbMATH DE number 177701
• Completions and complete representations
• Publication:3196855
• scientific article; zbMATH DE number 780938
• A direct characterization of completion
• New Structures Based on Completions
• On completeness

Cites work

• Constructive metrisability in point-free topology.
• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• Independence results around constructive ZF
• Some points in formal topology.
• The continuum as a formal space
• The fundamental theorem of algebra: a constructive development without choice.

Cited in

(24)

• On the constructive Dedekind reals
• Problems, solutions, and completions
• Semi-initial completions
• The Hahn-Banach theorem by disjunction elimination
• Completion by perturbations
• Are there enough injective sets?
• Constructive completions of ordered sets, groups and fields
• Addendum to ``Completion and closure
• Constructively Complete Finite Sets
• Refinement is equivalent to fullness
• The constructive completion of the space ?(?)
• scientific article; zbMATH DE number 3857955 (Why is no real title available?)
• Completions intrinseques et co-intrinseques
• scientific article; zbMATH DE number 5630463 (Why is no real title available?)
• scientific article; zbMATH DE number 3915203 (Why is no real title available?)
• Completion varieties
• New Structures Based on Completions
• A generalized cut characterization of the fullness axiom in CZF
• Real numbers and other completions
• Generalized geometric theories and set-generated classes
• On completeness
• Constructions of complete sets
• Binary refinement implies discrete exponentiation
• The shrinking principle and the axiom of choice

This page was built for publication: On constructing completions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5718698)