Journal of Symbolic Logic 53 (3):785-795 (1988)
Let L be one of the topological languages L t , (L ∞ω ) t and (L κω ) t . We characterize the topological spaces which are models of the L-theory of the class of ordinals equipped with the order topology. The results show that the role played in classical model theory by the property of being well-ordered is taken over in the topological context by the property of being locally compact and scattered
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Non-Commutative Topology and Quantales.Marcelo E. Coniglio & Francisco Miraglia - 2000 - Studia Logica 65 (2):223-236.
Taxonomies of Model-Theoretically Defined Topological Properties.Paul Bankston - 1990 - Journal of Symbolic Logic 55 (2):589-603.
Functorial Duality for Ortholattices and de Morgan Lattices.Katalin Bimbó - 2007 - Logica Universalis 1 (2):311-333.
Reduced Coproducts of Compact Hausdorff Spaces.Paul Bankston - 1987 - Journal of Symbolic Logic 52 (2):404-424.
Some Modifications of Scott's Theorem on Injective Spaces.Andrzej W. Jankowski - 1986 - Studia Logica 45 (2):155 - 166.
Expressive Power in First Order Topology.Paul Bankston - 1984 - Journal of Symbolic Logic 49 (2):478-487.
Added to index2009-01-28
Total downloads98 ( #52,241 of 2,172,866 )
Recent downloads (6 months)1 ( #324,901 of 2,172,866 )
How can I increase my downloads?