Talk:Completeness (order theory)

From Wikipedia, the free encyclopedia

You have new messages (last change).

[edit] Question about A poset is chain-complete iff it is a dcpo.

The following equivalence requires the Axiom of Choice:

A poset is chain-complete iff it is a dcpo.
Can anybody give a proof of this proposition?

(this is an anon question I moved from the article page) Oleg Alexandrov 17:32, 22 Apr 2005 (UTC)

Retrieved from "http://en.wikipedia.org../../../c/o/m/Talk%7ECompleteness_%28order_theory%29_2b48.html"