The free completely distributive lattice over a poset

DOI10.1007/BF01187563zbMath0585.06005MaRDI QIDQ1071039

W. R. Tunnicliffe

Publication date: 1985

Published in: Algebra Universalis (Search for Journal in Brave)

zbMATH Keywords

posetsfree completely distributive lattices

Mathematics Subject Classification ID

Complete distributivity (06D10) Free lattices, projective lattices, word problems (06B25)

Related Items

Saturated models of intuitionistic theories ⋮ Distributive and completely distributive lattice extensions of ordered sets ⋮ Thresholding of a digital image by free terms ⋮ Unified approach to graphs and metric spaces ⋮ Modelling higher-order dual nondeterminacy ⋮ Alternating states for dual nondeterminism in imperative programming ⋮ Dual unbounded nondeterminacy, recursion, and fixpoints ⋮ On Hilbert algebras generated by the order

Cites Work

• A Criterion for the Existence of an Extension of a Function on a Partially Ordered Set
• Free Completely Distributive Lattices
• Unnamed Item
• Unnamed Item
• Unnamed Item