First-order topological axioms
Journal of Symbolic Logic 46 (3):475-489 (1981)
| Abstract | We exhibit a finite list of first-order axioms which may be used to define topological spaces. For most separation axioms we discover a first-order equivalent statement | |||||||||
| 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,653 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesHelena Rasiowa (1985). Topological Representations of Post Algebras of Order Ω+ and Open Theories Based on Ω+-Valued Post Logic. Studia Logica 44 (4):353 - 368.
Bart Kuijpers, Jan Paredaens & Jan Van Den Bussche (2000). Topological Elementary Equivalence of Closed Semi-Algebraic Sets in the Real Plane. Journal of Symbolic Logic 65 (4):1530-1555.
Moshe S. Goldberg (1983). Topological Duality for Distributive Ockham Algebras. Studia Logica 42 (1):23 - 31.
Thomas Mormann (1997). Topological Aspects of Combinatorial Possibility. Logic and Logical Philosophy 5:75 - 92.
S. Awodey & C. Butz (2000). Topological Completeness for Higher-Order Logic. Journal of Symbolic Logic 65 (3):1168-1182.
Paul Bankston (1990). Taxonomies of Model-Theoretically Defined Topological Properties. Journal of Symbolic Logic 55 (2):589-603.
Jörg Flum & Juan Carlos Martinez (1988). On Topological Spaces Equivalent to Ordinals. Journal of Symbolic Logic 53 (3):785-795.
Dmitry Sustretov (2009). Hybrid Logics of Separation Axioms. Journal of Logic, Language and Information 18 (4).
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads5 ( #160,204 of 548,984 )Recent downloads (6 months)2 ( #37,320 of 548,984 )How can I increase my downloads? |
My notes
Discussion
