Geometric spaces with no points

DOI10.4115/JLA.2010.2.6MaRDI QIDQ3145952zbMATH OpenOpenAlexFDO

Authors Robert S. Lubarsky

Publication date 17 December 2012

Published in Journal of Logic and Analysis (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

constructive analysispoint-free geometryRiesz spacestopological models

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Metamathematics of constructive systems (03F50) Constructive and recursive analysis (03F60) Ordered topological linear spaces, vector lattices (46A40) Ordered normed spaces (46B40)

Abstract: Some models of set theory are given which contain sets that have some of the important characteristics of being geometric, or spatial, yet do not have any points, in various ways. What's geometrical is that there are functions to these spaces defined on the ambient spaces which act much like distance functions, and they carry normable Riesz spaces which act like the Riesz spaces of real-valued functions. The first example has a family of sets, each one of which cannot be empty, but not in a uniform manner, so that it is false that all of them are inhabited. In the second, we define one fixed set which does not have any points, while retaining all of these geometrical properties.

Recommendations

• Geometry Without Points
• scientific article; zbMATH DE number 749969
• Quasi-metric spaces and point-free geometry
• Special issue on point-free geometry and topology. An introduction
• Point-free geometries: proximities and quasi-metrics

Cited in

(16)

• On the necessity of some topological spaces
• About researches on empty set in differential geometry
• Regions in the nonstandard plane that contain no standard points
• scientific article; zbMATH DE number 30503 (Why is no real title available?)
• scientific article; zbMATH DE number 3098483 (Why is no real title available?)
• On the Weihrauch degree of the additive Ramsey theorem
• Hilbert's tenth problem for term algebras with a substitution operator
• Complemented subsets and Boolean-valued, partial functions
• Defining long words succinctly in FO and MSO
• On the first-order parts of problems in the Weihrauch degrees
• Algorithmically random series
• Ideal presentations and numberings of some classes of effective quasi-Polish spaces
• Lower bounds on () and other properties of -register machines
• Reifying dynamical algebra: maximal ideals in countable rings, constructively
• Maps for learning indexable classes
• On the necessity of some topological spaces

This page was built for publication: Geometric spaces with no points

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