BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Rob Egrot appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We investigate connections between the free lattice generated by a poset while preserving certain bounds and the canonical extension of a poset. Explicitly, we describe how the free lattice generated by a poset while preserving certain bounds can be constructed as a colimit of `intermediate structures' as they occur in the construction of a canonical extension of a poset.
We define an order polarity to be a polarity $(X,Y,R)$ where $X$ and $Y$ are partially ordered, and we define an extension polarity to be a triple $(e_X,e_Y,R)$ such that $e_X:P\to X$ and $e_Y:P\to Y$ are poset extensions and $(X,Y,R)$ is an order polarity. We define a hierarchy of increasingly strong coherence conditions for extension polarities, each equivalent to the existence of a pre-order structure on $X\cup Y$ such that the natural embeddings, $ι_X$ and $ι_Y$, of $X$ and $Y$, respectively, into $X\cup Y$ preserve the order structures of $X$ and $Y$ in increasingly strict ways. We define a Galois polarity to be an extension polarity where $e_X$ and $e_Y$ are meet- and join-extensions respectively, and we show that for such polarities there is a unique pre-order on $X\cup Y$ such that $ι_X$ and $ι_Y$ satisfy particularly strong preservation properties. We define morphisms for polarities, providing the class of Galois polarities with the structure of a category, and we define an adjunction between this category and the category of $Δ_1$-completions and appropriate homomorphisms. We formalize the theory of extension polarities and prove a duality principle to the effect that if a statement is true for all extension polarities then so too must be its dual statement.
A poset is representable if it can be embedded in a field of sets in such a way that existing finite meets and joins become intersections and unions respectively (we say finite meets and joins are preserved). More generally, for cardinals $α$ and $β$ a poset is said to be $(α,β)$-representable if an embedding into a field of sets exists that preserves meets of sets smaller than $α$ and joins of sets smaller than $β$. We show using an ultraproduct/ultraroot argument that when $2\leqα,β\leq ω$ the class of $(α,β)$-representable posets is elementary, but does not have a finite axiomatization in the case where either $α$ or $β=ω$. We also show that the classes of posets with representations preserving either countable or all meets and joins are pseudoelementary.
Using the well-known equivalence between meet-completions of posets and standard closure operators we show a general method for constructing meet-completions for isotone poset expansions. With this method we find a meet-completion for ordered domain algebras which simultaneously serves as the base of a representation for such algebras, thereby proving that ordered domain algebras have the finite representation property. We show that many of the equations defining ordered domain algebras are preserved in this completion but associativity, (D2) and (D6) can fail.