Dedekind-MacNeille and related completions: subfitness, regularity, and Booleanness. arXiv:2405.19171
Preprint, arXiv:2405.19171 [math.GN] (2024).
Summary: Completions play an important rôle for studying structure by supplying elements that in some sense “ought to be.” Among these, the Dedekind-MacNeille completion is of particular importance. In 1968 Janowitz provided necessary and sufficient conditions for it to be subfit or Boolean. Another natural separation axiom situated between the two is regularity. We explore similar characterizations of when closely related completions are subfit, regular, or Boolean. We are mainly interested in the Bruns-Lakser, ideal, and canonical completions, which are useful in pointfree topology since (unlike the Dedekind-MacNeille completion) they satisfy stronger forms of distributivity.
MSC:
54D10 | Lower separation axioms (\(T_0\)–\(T_3\), etc.) |
18F70 | Frames and locales, pointfree topology, Stone duality |
06D22 | Frames, locales |
06B23 | Complete lattices, completions |
06B15 | Representation theory of lattices |
06D50 | Lattices and duality |
06E15 | Stone spaces (Boolean spaces) and related structures |
arXiv data are taken from the
arXiv OAI-PMH API.
If you found a mistake, please
report it directly to arXiv.