In mathematical logic, Diaconescu's theorem, also known as 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. This description is adapted from Wikipedia contributors under CC BY-SA 4.0; changes were made. https://creativecommons.org/licenses/by-sa/4.0/
Facts
Classification
Statement FormCharacterization Theorem 1 Connections
Has Statement Form
In Branch
Source Diaconescu's theorem (Wikipedia)
Sources
1. Diaconescu's theorem (Wikipedia)
Lead section
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.
- In Branch: Logic and Foundations, Lead sentence
View the SourceReader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.