The continuum as a formal space
DOI10.1007/S001530050149zbMATH Open0936.03060OpenAlexW2084858937MaRDI QIDQ1818591FDOQ1818591
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
Recommendations
Cauchy sequenceformal topologyCauchy completenessconstructive definition of the continuumconstructive real numbersformal reals
Topological spaces and generalizations (closure spaces, etc.) (54A05) Constructive and recursive analysis (03F60) Constructive real analysis (26E40)
Cited In (17)
- On the Cauchy completeness of the constructive Cauchy reals
- Competitive equilibrium with intuitionistic agents
- 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.
- On constructing completions
- 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 the Cauchy completeness of the constructive Cauchy reals
- Title not available (Why is that?)
- Existence of approximate social welfare
- Every countably presented formal topology is spatial, classically
- The intensional side of algebraic-topological representation theorems
- Title not available (Why is that?)
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)
