Knaster-Tarski revisited

DOI10.1007/S001650050012zbMath0929.06001OpenAlexW2021539523MaRDI QIDQ1293885

Jan Eppo Jonker

Publication date: 15 September 1999

Published in: Formal Aspects of Computing (Search for Journal in Brave)

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

zbMATH Keywords

functionally complete partial ordergeneralization of Knaster-Tarski fixpoint theorem

Mathematics Subject Classification ID

Partial orders, general (06A06) Semantics in the theory of computing (68Q55)

Related Items (1)

A generalization of Naundorf's fixpoint theorem

This page was built for publication: Knaster-Tarski revisited