How about on an algebraic, bounded complete CPO? Now there's a thing.
-
-
-
Even just a CPO'll do ya. (Davey & Priestley, p187).
- 2 more replies
New conversation -
-
-
that is a corollary of the Knaster-Tarski theorem
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Can you imagine how much worse software would be if it didn’t?
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.