Szpilrajn extension theorem

GPTKB entity

Statements (18)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:alsoKnownAs order-extension principle
gptkbp:appliesTo partially ordered sets
gptkbp:field gptkb:set_theory
gptkb:order_theory
https://www.w3.org/2000/01/rdf-schema#label Szpilrajn extension theorem
gptkbp:implies existence of linear extensions
gptkbp:namedAfter gptkb:Edward_Szpilrajn
gptkbp:publishedIn gptkb:Fundamenta_Mathematicae
gptkbp:relatedTo gptkb:Zorn's_lemma
gptkb:Axiom_of_choice
partial order
total order
basis for Zorn's lemma and applications in mathematics
gptkbp:sentence Every partial order can be extended to a total order.
gptkbp:statedIn 1930
gptkbp:bfsParent gptkb:Edward_Szpilrajn
gptkbp:bfsLayer 6