Completion of premetric spaces

DOI10.15446/RECOLMA.V54N1.89776MaRDI QIDQ5855277zbMATH OpenOpenAlexFDO

Authors José Andrés Quintero, Carlos Uzcátegui

Publication date 18 March 2021

Published in Revista Colombiana de Matemáticas (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1808.01663

zbMATH Keywords

Cauchy familiescompletionconstructive mathematicspremetric spaceregular families

Mathematics Subject Classification ID

Axiom of choice and related propositions (03E25) Other constructive mathematics (03F65) Metric spaces, metrizability (54E35) Complete metric spaces (54E50)

Abstract: We present a method for completing a premetric space, in the sense introduced by F. Richman in the context of constructive Mathematics without countable choice.

Recommendations

• scientific article; zbMATH DE number 3895898
• Completions of partial metric spaces
• On completeness
• scientific article; zbMATH DE number 4211048
• scientific article; zbMATH DE number 4000968

Cites work

• Axiom of choice
• scientific article; zbMATH DE number 1795226 (Why is no real title available?)
• scientific article; zbMATH DE number 2107988 (Why is no real title available?)
• scientific article; zbMATH DE number 3234211 (Why is no real title available?)
• On the Cauchy completeness of the constructive Cauchy reals
• On the constructive Dedekind reals
• Real numbers and other completions
• Signed-bit representations of real numbers
• The fundamental theorem of algebra: a constructive development without choice.

This page was built for publication: Completion of premetric spaces

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