Completion of premetric spaces

DOI10.15446/recolma.v54n1.89776zbMath1468.54021arXiv1808.01663OpenAlexW3076480760MaRDI QIDQ5855277

Carlos Uzcátegui, José Andrés Quintero

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

constructive mathematicscompletionregular familiespremetric spaceCauchy families

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the constructive Dedekind reals
• Signed-bit representations of real numbers
• On the Cauchy completeness of the constructive Cauchy reals
• Real numbers and other completions
• Axiom of choice
• The fundamental theorem of algebra: a constructive development without choice.

This page was built for publication: Completion of premetric spaces