A dual problem to least fixed points

DOI10.1016/0304-3975(81)90077-3zbMath0477.06002OpenAlexW1988941013MaRDI QIDQ1160150

S. H. Smith

Publication date: 1981

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(81)90077-3

zbMATH Keywords

complete latticelimit pointleast fixed point3-family of subsetsascending sequencesdirected subsetmaximal well-ordered chainssigma-continuous self mappings

Mathematics Subject Classification ID

Partial orders, general (06A06) Fixed-point theorems (47H10) Complete lattices, completions (06B23)

Cites Work

• A uniform approach to inductive posets and inductive closure
• The convergence of functions to fixedpoints of recursive definitions
• A lattice-theoretical fixpoint theorem and its applications
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A dual problem to least fixed points