Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
added statement of existence of linear extensions (here)
Will give this its own entry at linear extension of a partial order, for ease of referencing
For what interest this may have, I’d imagine this proposition would be provable using just the ultrafilter theorem in place of the axiom of choice. (But I’d have to write out a proof to be sure.)
1 to 2 of 2