Abstract
Many properties of compacta have “textbook” definitions which are phrased in lattice-theoretic terms that, ostensibly, apply only to the full closed-set lattice of a space. We provide a simple criterion for identifying such definitions that may be paraphrased in terms that apply to all lattice bases of the space, thereby making model-theoretic tools available to study the defined properties. In this note we are primarily interested in properties of continua related to unicoherence; i.e., properties that speak to the existence of “holes” in a continuum and in certain of its subcontinua.
Similar content being viewed by others
References
Bankston P.: Reduced coproducts of compact Hausdorff spaces. J. Symb. Log. 52, 404–424 (1987)
Bankston P.: A hierarchy of maps between compacta. J. Symb. Log. 64, 1628–1644 (1999)
Bankston P.: A survey of ultraproduct constructions in general topology. Topol. Atlas Invit. Contrib. 8, 1–32 (2003)
Bankston P.: The Chang-Łoś-Suszko theorem in a topological setting. Arch. Math. Log. 45, 97–112 (2006)
Bankston P.: Dendrites, topological graphs, and 2-dominance. Houston J. Math. 35(4), 1091–1102 (2009)
Chang C.C., Keisler H.J.: Model Theory. 3rd edn. North Holland, Amsterdam (1990)
Charatonik J.J.: Unicoherence and multicoherence. In: Hart, K.P., Nagata, J., Vaughan, J.E. (eds) Encyclopedia of General Topology, pp. 331–333. Elsevier, Amsterdam (2004)
Gillman L., Henriksen M.: Rings of continuous functions in which every finitely generated ideal is principal. Trans. Am. Math. Soc. 82, 366–391 (1956)
Maćkowiak T.: Some kinds of the unicoherence. Comment. Math. Prace Mat. 20, 405–408 (1977/78)
Nadler S.B. Jr: Multicoherence techniques applied to inverse limits. Trans. Am. Math. Soc. 157, 227–234 (1971)
Wallman H.: Lattices and topological spaces. Ann. Math. 39(2), 112–126 (1938)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Bankston, P. On the first-order expressibility of lattice properties related to unicoherence in continua. Arch. Math. Logic 50, 503–512 (2011). https://doi.org/10.1007/s00153-011-0229-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-011-0229-8