Revision as of 06:43, 31 August 2011 edit Headbomb (talk \| contribs) Edit filter managers, Autopatrolled, Extended confirmed users, Page movers, File movers, New page reviewers, Pending changes reviewers, Rollbackers, Template editors 473,797 edits m Various citation cleanup (identifiers mostly), replaced: \| id = {{MR\|1171114}} → \| mr = 1171114 (2) using AWB ← Previous edit		Revision as of 17:33, 13 March 2012 edit undo Yobot (talk \| contribs) Bots 4,733,870 edits m →Order-extension principle: Updated hatnote per BOTREQ + general fixes using AWB (8008) Next edit →
Line 7: == Order-extension principle == {{~~Further~~Further2\|[[Szpilrajn extension theorem]]}} The statement that every partial order can be extended to a total order is known as the '''order-extension principle'''. A proof using the [[axiom of choice]] was first published by [[Edward Marczewski]] in 1930. Marczewski writes that the theorem had previously been proven by [[Stefan Banach]], [[Kazimierz Kuratowski]], and [[Alfred Tarski]], again using the axiom of choice, but that the proofs had not been published.<ref>{{citation \| last = Marczewski \| first = Edward \| authorlink = Edward Marczewski

Linear extension: Difference between revisions