The continuum as a formal space

DOI10.1007/S001530050149MaRDI QIDQ1818591zbMATH OpenOpenAlexFDO

Authors Sara Negri, Daniele Soravia

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

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

Recommendations

• scientific article; zbMATH DE number 2247257
• scientific article; zbMATH DE number 2212005
• What is continuity, constructively?
• On the formal points of the formal topology of the binary tree
• Some points in formal topology.

Cited in

(17)

• scientific article; zbMATH DE number 1531360 (Why is no real title available?)
• Competitive equilibrium with intuitionistic agents
• On the Cauchy completeness of the constructive Cauchy reals
• Continuous domains as formal spaces
• Defining sets as sets of points of spaces
• A continuity principle, a version of Baire's theorem and a boundedness principle
• Some points in formal topology.
• The principle of pointfree continuity
• Unique existence, approximate solutions, and countable choice.
• Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective
• A constructive proof of the Heine-Borel covering theorem for formal reals
• On constructing completions
• On the Cauchy completeness of the constructive Cauchy reals
• Existence of approximate social welfare
• scientific article; zbMATH DE number 2247257 (Why is no real title available?)
• Every countably presented formal topology is spatial, classically
• The intensional side of algebraic-topological representation theorems

This page was built for publication: The continuum as a formal space

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