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

DOI10.1007/BF00353657MaRDI QIDQ1121297zbMATH OpenFDO

Authors Joel Berman, W. J. Blok

Publication date 1989

Published in Order (Search for Journal in Brave)

zbMATH Keywords

retractsorder varietyfixed point sets of monotonic functionsorder preserving functionu-conditionally complete poset

Mathematics Subject Classification ID

Semilattices (06A12)

Recommendations

• scientific article; zbMATH DE number 874109
• An order theoretic approach in fixed point theory
• Generalizations of semiorders: A review note
• Semilattices of ordered compactifications
• scientific article; zbMATH DE number 1261795
• A generalization of the Tarski-Seidenberg theorem, and some nondefinability results
• scientific article; zbMATH DE number 4168741
• On the \(t \)-equivalence of generalized ordered sets
• On elementary theories of semilattices of partial orders on sets
• Order theoretic variants of the fundamental theorem of compact semigroups

Cites work

• scientific article; zbMATH DE number 3962727 (Why is no real title available?)
• scientific article; zbMATH DE number 3654187 (Why is no real title available?)
• scientific article; zbMATH DE number 3214278 (Why is no real title available?)
• A lattice-theoretical fixpoint theorem and its applications
• A note on axiomatizable order varieties
• A structure theory for ordered sets
• Chain-complete posets and directed sets with applications
• Completeness in Semi-Lattices
• Four valued semantics and the Liar
• Generalized arithmetic
• On the existence of optimal fixpoints
• Order varieties generated by \(\vee\)-semilattices of finite width
• Outline of a Theory of Truth
• The strong selection property and ordered sets of finite length

Cited in

(5)

• In memory of Willem Johannes Blok 1947-2003
• Unification and projectivity in De Morgan and Kleene algebras.
• scientific article; zbMATH DE number 5076628 (Why is no real title available?)
• A fixed-point theorem for \(R\)-posets
• Monotone Relations, Fixed Points and Recursive Definitions

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

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