Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01714674n
Noun Named Entity
Categories: Axiom of choice, Theorems in the foundations of mathematics, Order theory
EN
Szpilrajn extension theorem  Marczewski extension theorem
EN
In order theory, the Szpilrajn extension theorem, proved by Edward Szpilrajn in 1930, states that every partial order is contained in a total order. Wikipedia
Definitions
Relations
Sources
EN
In order theory, the Szpilrajn extension theorem, proved by Edward Szpilrajn in 1930, states that every partial order is contained in a total order. Wikipedia
Theorem Wikidata
IS A
theorem
Wikipedia
EN
Szpilrajn extension theorem
Wikidata
EN
Szpilrajn extension theorem
Wikipedia Redirections
EN
Marczewski extension theorem, Szpilrajn Extension Theorem

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License