On the first-order expressibility of lattice properties related to unicoherence in continua (Q535165)

A compactum is a compact Hausdorff space. A continuum is a connected compactum. The author [Arch. Math. Logic 45, No.~1, 97--112 (2006; Zbl 1093.03014)] has studied compacta from the perspective of model theory. He considered properties like: (i) being covering dimension at most \(n\); (ii) being an indecomposable continuum; (iii) being a hereditarily indecomposable continuum. In the paper under review, the author continues the studies of the cited paper. He provides a simple criterion for identifying definitions for compacta that may be rephrased in terms that apply to all lattice bases of the space, thereby making model-theoretic tools available to study these properties. In this paper he considers properties related to unicoherence (unicoherence, hereditary unicoherence, weak hereditary unicoherence, strong unicoherence).