Generalizations of Tarski's fixed point theorem for order varieties of complete meet semilattices

DOI10.1007/BF00353657zbMath0674.06006MaRDI QIDQ1121297

Willem J. Blok, Joel D. Berman

Publication date: 1989

Published in: Order (Search for Journal in Brave)

zbMATH Keywords

order varietyretractsfixed point sets of monotonic functionsorder preserving functionu-conditionally complete poset

Mathematics Subject Classification ID

Semilattices (06A12)

Related Items (3)

In memory of Willem Johannes Blok 1947-2003 ⋮ Monotone Relations, Fixed Points and Recursive Definitions ⋮ Unification and projectivity in De Morgan and Kleene algebras.

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Order varieties generated by \(\vee\)-semilattices of finite width
• The strong selection property and ordered sets of finite length
• Four valued semantics and the Liar
• A note on axiomatizable order varieties
• A structure theory for ordered sets
• Chain-complete posets and directed sets with applications
• Generalized arithmetic
• A lattice-theoretical fixpoint theorem and its applications
• Completeness in Semi-Lattices
• On the existence of optimal fixpoints
• Outline of a Theory of Truth

This page was built for publication: Generalizations of Tarski's fixed point theorem for order varieties of complete meet semilattices