Reconstructing an Open Order from Its Closure, with Applications to Space-Time Physics and to Logic

Studia Logica 100 (1-2):419-435 (2012)
  Copy   BIBTEX

Abstract

In his logical papers, Leo Esakia studied corresponding ordered topological spaces and order-preserving mappings. Similar spaces and mappings appear in many other application areas such the analysis of causality in space-time. It is known that under reasonable conditions, both the topology and the original order relation $${\preccurlyeq}$$ can be uniquely reconstructed if we know the “interior” $${\prec}$$ of the order relation. It is also known that in some cases, we can uniquely reconstruct $${\prec}$$ (and hence, topology) from $${\preccurlyeq}$$. In this paper, we show that, in general, under reasonable conditions, the open order $${\prec}$$ (and hence, the corresponding topology) can be uniquely determined from its closure $${\preccurlyeq}$$

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,296

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

A Model Theory of Topology.Paolo Lipparini - forthcoming - Studia Logica:1-35.
Region-based topology.Peter Roeper - 1997 - Journal of Philosophical Logic 26 (3):251-309.
Non-genericity phenomena in ordered Fraïssé classes.Konstantin Slutsky - 2012 - Journal of Symbolic Logic 77 (3):987-1010.
The Ultrafilter Closure in ZF.Gonçalo Gutierres - 2010 - Mathematical Logic Quarterly 56 (3):331-336.
Interpreting mereotopological connection.Nat Gan - 2023 - Australasian Journal of Logic 20 (1):32-46.
Crypto-preorders, topological relations, information and logic.Piero Pagliani - 2024 - Journal of Applied Non-Classical Logics 34 (2-3):330-367.
An arithmetical view to first-order logic.Seyed Mohammad Bagheri, Bruno Poizat & Massoud Pourmahdian - 2010 - Annals of Pure and Applied Logic 161 (6):745-755.
Two topological equivalents of the axiom of choice.Eric Schechter & E. Schechter - 1992 - Mathematical Logic Quarterly 38 (1):555-557.
Geometry, calculus and Zil'ber's conjecture.Ya'acov Peterzil & Sergei Starchenko - 1996 - Bulletin of Symbolic Logic 2 (1):72-83.

Analytics

Added to PP
2012-02-10

Downloads
2 (#1,819,493)

6 months
36 (#102,577)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Games and Decisions: Introduction and Critical Survey.R. Duncan Luce & Howard Raiffa - 1958 - Philosophy and Phenomenological Research 19 (1):122-123.
General Topology.John L. Kelley - 1962 - Journal of Symbolic Logic 27 (2):235-235.
Causality implies the lorentz group.E. C. Zeeman - 1963 - Journal of Mathematical Physics 5 (4):490-493.

Add more references