Tangled closure algebras

Publication date 11 October 2017

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

Alexandroff topology closure algebra dense-in-itself dissectable fixed point MacNeille completion quasi-order tangle modality tangled closure

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Complete lattices, completions (06B23) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Topological representations of algebraic systems (54H10)

Abstract: The tangled closure of a collection of subsets of a topological space is the largest subset in which each member of the collection is dense. This operation models a logical `tangle modality' connective, of significance in finite model theory. Here we study an abstract equational algebraic formulation of the operation which generalises the McKinsey-Tarski theory of closure algebras. We show that any dissectable tangled closure algebra, such as the algebra of subsets of any metric space without isolated points, contains copies of every finite tangled closure algebra. We then exhibit an example of a tangled closure algebra that cannot be embedded into any complete tangled closure algebra, so it has no MacNeille completion and no spatial representation.

Recommendations

Cited in

(3)

This page was built for publication: Tangled closure algebras

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