Reconstructing an Open Order from Its Closure, with Applications to Space-Time Physics and to Logic
Studia Logica 100 (1-2):419-435 (2012)
| 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}$$ | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,709 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesAndrzej W. Jankowski (1985). Disjunctions in Closure Spaces. Studia Logica 44 (1):11 - 24.
Andrzej W. Jankowski (1985). Universality of the Closure Space of Filters in the Algebra of All Subsets. Studia Logica 44 (1):1 - 9.
Andrzej W. Jankowski (1984). A Conjunction in Closure Spaces. Studia Logica 43 (4):341 - 351.
Attilio Wedlin (1996). On the Notion of Second-Order Exchangeability. Erkenntnis 45 (2-3):177 - 194.
Peter Roeper (1997). Region-Based Topology. Journal of Philosophical Logic 26 (3):251-309.
Tim Maudlin (2010). Time, Topology and Physical Geometry. Aristotelian Society Supplementary Volume 84 (1):63-78.
Helena Rasiowa (1985). Topological Representations of Post Algebras of Order Ω+ and Open Theories Based on Ω+-Valued Post Logic. Studia Logica 44 (4):353 - 368.
Paul Bankston (1984). Expressive Power in First Order Topology. Journal of Symbolic Logic 49 (2):478-487.
Andrzej W. Jankowski (1985). Galois Structures. Studia Logica 44 (2):109 - 124.
Carl Mummert & Stephen G. Simpson (2005). Reverse Mathematics and Π21 Comprehension. Bulletin of Symbolic Logic 11 (4):526-533.
H. Jerome Keisler & Wafik Boulos Lotfallah (2004). First Order Quantifiers in Monadic Second Order Logic. Journal of Symbolic Logic 69 (1):118-136.
B. Konev, R. Kontchakov, F. Wolter & M. Zakharyaschev (2006). On Dynamic Topological and Metric Logics. Studia Logica 84 (1):129 - 160.
Andrzej W. Jankowski (1986). Retracts of the Closure Space of Filters in the Lattice of All Subsets. Studia Logica 45 (2):135 - 154.
Analytics
Monthly downloads |
Added to index2012-02-10Total downloads6 ( #145,761 of 549,753 )Recent downloads (6 months)1 ( #63,425 of 549,753 )How can I increase my downloads? |
My notes
Discussion
