Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01068923n
Noun Concept
Categories: Set theory, Constructivism (mathematics), Axiom of choice
EN
Diaconescu's theorem  Diaconescu-Goodman-Myhill theorem  Diaconescu theorem  Diaconescu–Goodman–Myhill theorem  Goodman-Myhill-Diaconescu theorem
EN
In mathematical logic, Diaconescu's theorem, or the Goodman–Myhill theorem, states that the full axiom of choice is sufficient to derive the law of the excluded middle or restricted forms of it. Wikipedia
Definitions
Relations
Sources
EN
In mathematical logic, Diaconescu's theorem, or the Goodman–Myhill theorem, states that the full axiom of choice is sufficient to derive the law of the excluded middle or restricted forms of it. Wikipedia
IS A
theorem
Wikipedia
EN
Diaconescu's theorem
Wikidata
EN
Diaconescu's theorem
Wikipedia Redirections
EN
Diaconescu-Goodman-Myhill theorem, Diaconescu theorem, Diaconescu–Goodman–Myhill theorem, Goodman-Myhill-Diaconescu theorem, Goodman-Myhill theorem, Goodman–Myhill theorem, Goodman–Myhill–Diaconescu 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