Stone space partitions indexed by a poset

DOI10.1007/S00012-023-00816-6MaRDI QIDQ6040802zbMATH OpenOpenAlexFDO

Authors Andrew B. Apps

Publication date 22 May 2023

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2104.14263

zbMATH Keywords

partitionposetcompletionstone spacePO systemprimitive Boolean ring

Mathematics Subject Classification ID

Partial orders, general (06A06) Stone spaces (Boolean spaces) and related structures (06E15)

Abstract: Stone space partitions $X_{p}midpinP$ satisfying conditions like $$ for all $pinP$, where $P$ is a poset or PO system (poset with a distinguished subset), arise naturally in the study both of primitive Boolean algebras and of $omega$-categorical structures. A key concept for studying such partitions is that of a $p$-trim open set which meets precisely those $X_q$ for which $qgeqslantp$; for Stone spaces, this is the topological equivalent of a pseudo-indecomposable set. This paper develops the theory of infinite partitions of Stone spaces indexed by a poset or PO system where the trim sets form a neighbourhood base for the topology. We study the interplay between order properties of the poset/PO system and topological properties of the partition, examine extensions and completions of such partitions, and derive necessary and sufficient conditions on the poset/PO system for the existence of the various types of partition studied. We also identify circumstances in which a second countable Stone space with a trim partition indexed by a given PO system is unique up to homeomorphism, subject to choices on the isolated point structure and boundedness of the partition elements. One corollary of our results is that there is a partition $X_{r}midrin[0,1]$ of the Cantor set such that $$.

Cites work

• scientific article; zbMATH DE number 3536074 (Why is no real title available?)
• scientific article; zbMATH DE number 3639621 (Why is no real title available?)
• scientific article; zbMATH DE number 3289424 (Why is no real title available?)
• Chain-complete posets and directed sets with applications
• Compact zero-dimensional metric spaces of finite type
• Countably categorical and autostable Boolean algebras with distinguished ideals
• Countably-categorical Boolean algebras with distinguished ideals
• Measurable refinement monoids and applications to distributive semilattices, Heyting algebras, and Stone spaces
• On _0-categoricity of filtered Boolean extensions
• On closed elements in closure algebras
• Primitive Boolean algebras: Hanf and Pierce reconciled
• Théories d'algèbres de Boole munies d'idéaux distingués. II
• Topological model theory
• \(\aleph_0\)-categoricity for rings without nilpotent elements and for Boolean structures
• ℵ₀ -Categorical Finite Extensions of Boolean Powers

This page was built for publication: Stone space partitions indexed by a poset

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6040802)