Universality of the closure space of filters in the algebra of all subsets
Studia Logica 44 (1):1 - 9 (1985)
| Abstract | In this paper we show that some standard topological constructions may be fruitfully used in the theory of closure spaces (see [5], [4]). These possibilities are exemplified by the classical theorem on the universality of the Alexandroff's cube for T 0-closure spaces. It turns out that the closure space of all filters in the lattice of all subsets forms a generalized Alexandroff's cube that is universal for T 0-closure spaces. By this theorem we obtain the following characterization of the consequence operator of the classical logic: If is a countable set and C: P() P() is a closure operator on X, then C satisfies the compactness theorem iff the closure space ,C is homeomorphically embeddable in the closure space of the consequence operator of the classical logic.We also prove that for every closure space X with a countable base such that the cardinality of X is not greater than 2 there exists a subset X of irrationals and a subset X of the Cantor's set such that X is both a continuous image of X and a continuous image of X. | |||||||||
| 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,875 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesJonathan Schaffer (2007). Closure, Contrast, and Answer. Philosophical Studies 133 (2):233–255.
Guido Melchior (2010). Knowledge-Closure and Inferential Knowledge. Croatian Journal of Philosophy 10 (30):259-285.
Stephen John Nash (2004). On Closure in Economics. Journal of Economic Methodology 11 (1):75-89.
Steven Buechler & Colleen Hoover (2001). The Classification of Small Types of Rank Ω, Part I. Journal of Symbolic Logic 66 (4):1884-1898.
Andrzej W. Jankowski (1985). Galois Structures. Studia Logica 44 (2):109 - 124.
Jarosław Achinger (1986). Generalization of Scott's Formula for Retractions From Generalized Alexandroff's Cube. Studia Logica 45 (3):281 - 292.
Andrzej W. Jankowski (1986). Retracts of the Closure Space of Filters in the Lattice of All Subsets. Studia Logica 45 (2):135 - 154.
Andrzej W. Jankowski (1984). A Conjunction in Closure Spaces. Studia Logica 43 (4):341 - 351.
Jarosław Achinger (1986). On a Problem of P(Α, Δ, Π) Concerning Generalized Alexandroff S Cube. Studia Logica 45 (3):293 - 300.
Andrzej W. Jankowski (1985). Disjunctions in Closure Spaces. Studia Logica 44 (1):11 - 24.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads1 ( #277,212 of 556,837 )Recent downloads (6 months)1 ( #64,847 of 556,837 )How can I increase my downloads? |
My notes
Discussion
