|
|
![[parent]](http://images.planetmath.org:8080/images/uparrow.png) Viewing Message
|
|
|
| ``Re: Update: "Trans-inductive Posets" (= well-founded posets)''
by Schneemann on 2006-02-26 22:21:38 |
|
| "... if it is is well-founded."
as smw already said. It's too late I should be sleeping.
The proof is the same as above - the main set M is partitioned in two subsets M_true and M_false. The set M_false has a minimal element...
Well, obviously it works.
update for the definition of "well-founded" ? (see the discussion there..) |
| | [ reply | up | top ] |
|
|
|
|
|
|
