Photo by daveballew from unsplash
This note shows that several statements about fixpoints in order theory are equivalent to Knaster–Tarski Fixpoint Theorem for complete lattices. All proofs have been done in Zermelo–Fraenkel set theory without… Click to show full abstract
This note shows that several statements about fixpoints in order theory are equivalent to Knaster–Tarski Fixpoint Theorem for complete lattices. All proofs have been done in Zermelo–Fraenkel set theory without the Axiom of Choice.
Keywords:
tarski fixpoint;
note;
fixpoint theorem;
knaster tarski
Journal Title: Algebra Universalis
Year Published: 2020
Link to full text (if available)
Share on Social Media: Sign Up to like & get
recommendations!
Journal Title: Algebra Universalis
Year Published: 2020
Link to full text (if available)
Share on Social Media: Sign Up to like & get
recommendations!