The continuum as a formal space

DOI10.1007/s001530050149zbMath0936.03060OpenAlexW2084858937MaRDI QIDQ1818591

Daniele Soravia, Sara Negri

Publication date: 4 January 2000

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s001530050149

zbMATH Keywords

Cauchy sequenceformal topologyCauchy completenessconstructive definition of the continuumconstructive real numbersformal reals

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Topological spaces and generalizations (closure spaces, etc.) (54A05) Constructive real analysis (26E40)

Related Items

Competitive equilibrium with intuitionistic agents ⋮ The intensional side of algebraic-topological representation theorems ⋮ Some points in formal topology. ⋮ Unique existence, approximate solutions, and countable choice. ⋮ The principle of pointfree continuity ⋮ Existence of approximate social welfare ⋮ A constructive proof of the Heine-Borel covering theorem for formal reals ⋮ On constructing completions ⋮ A continuity principle, a version of Baire's theorem and a boundedness principle