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: 92,261

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

Disjunctions in closure spaces.Andrzej W. Jankowski - 1985 - Studia Logica 44 (1):11 - 24.
A conjunction in closure spaces.Andrzej W. Jankowski - 1984 - Studia Logica 43 (4):341 - 351.
On the notion of second-order exchangeability.Attilio Wedlin - 1996 - Erkenntnis 45 (2-3):177 - 194.
Region-based topology.Peter Roeper - 1997 - Journal of Philosophical Logic 26 (3):251-309.
Time, topology and physical geometry.Tim Maudlin - 2010 - Aristotelian Society Supplementary Volume 84 (1):63-78.
Expressive power in first order topology.Paul Bankston - 1984 - Journal of Symbolic Logic 49 (2):478-487.
Galois structures.Andrzej W. Jankowski - 1985 - Studia Logica 44 (2):109 - 124.
Reverse mathematics and π21 comprehension.Carl Mummert & Stephen G. Simpson - 2005 - Bulletin of Symbolic Logic 11 (4):526-533.

Analytics

Added to PP
2012-02-10

Downloads
36 (#446,058)

6 months
2 (#1,206,802)

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