Archive for Mathematical Logic 50 (5-6):531-542 (2011)

The languages of finitary and infinitary logic over the alphabet of bounded lattices have proven to be of considerable use in the study of compacta. Significant among the sentences of these languages are the ones that are base free, those whose truth is unchanged when we move among the lattice bases of a compactum. In this paper we define syntactically the expansive sentences, and show each of them to be base free. We also show that many well-known properties of compacta may be expressed using expansive sentences; and that any property so expressible is closed under inverse limits and co-existential images. As a byproduct, we conclude that co-existential images of pseudo-arcs are pseudo-arcs. This is of interest because the corresponding statement for confluent maps is still open, and co-existential maps are often—but not always—confluent
Keywords Compacta  Continua  Normal disjunctive lattices  Base-free formulas  Co-existential maps  Inverse limits  Expansive sentences
Categories (categorize this paper)
DOI 10.1007/s00153-011-0230-2
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 65,587
Through your library

References found in this work BETA

[Omnibus Review].Kenneth Kunen - 1969 - Journal of Symbolic Logic 34 (3):515-516.
[Omnibus Review].H. Jerome Keisler - 1970 - Journal of Symbolic Logic 35 (2):342-344.
Model Theory.Gebhard Fuhrken - 1976 - Journal of Symbolic Logic 41 (3):697-699.
Reduced Coproducts of Compact Hausdorff Spaces.Paul Bankston - 1987 - Journal of Symbolic Logic 52 (2):404-424.

View all 10 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

A Hierarchy of Maps Between Compacta.Paul Bankston - 1999 - Journal of Symbolic Logic 64 (4):1628-1644.
A Topological Logic of Action.Krister Segerberg - 1984 - Studia Logica 43 (4):415 - 419.
General Laws of Sciences.Dichenko Mikhai - 2008 - Proceedings of the Xxii World Congress of Philosophy 46:75-84.
Joins of Minimal Quasivarieties.M. E. Adams & W. Dziobiak - 1995 - Studia Logica 54 (3):371 - 389.
On the Structure of the Medvedev Lattice.Sebastiaan A. Terwijn - 2008 - Journal of Symbolic Logic 73 (2):543 - 558.
Interpretations Into Monadic Algebras.Renato A. Lewin - 1987 - Studia Logica 46 (4):329 - 342.
Lattice Initial Segments of the Hyperdegrees.Richard A. Shore & Bjørn Kjos-Hanssen - 2010 - Journal of Symbolic Logic 75 (1):103-130.
Some Remarks on the Algebraic Structure of the Medvedev Lattice.Andrea Sorbi - 1990 - Journal of Symbolic Logic 55 (2):831-853.
Priestley Duality for Some Subalgebra Lattices.Georges Hansoul - 1996 - Studia Logica 56 (1-2):133 - 149.


Added to PP index

Total views
79 ( #139,670 of 2,461,947 )

Recent downloads (6 months)
4 ( #178,501 of 2,461,947 )

How can I increase my downloads?


My notes