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)

Full work available at URL https://doi.org/10.1007/BF00353657

zbMATH Keywords

fixed point sets of monotonic functionsorder preserving functionorder varietyretractsu-conditionally complete poset

Mathematics Subject Classification ID

Semilattices (06A12)

Review text

A poset is u-conditionally complete if a subset has a least upper bound whenever all its subsets of cardinality less than u have upper bounds. The authors prove that for these posets the set of fixed point sets of monotonic functions coincides with the set of its retracts, which can be described as those u-conditionally complete subposets which are well embedded.

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

• 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
• 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?)
• 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?)
• Monotone Relations, Fixed Points and Recursive Definitions
• A fixed-point theorem for R-posets

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)