Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Diaconescu's_theorem> ?p ?o. }
Showing items 1 to 15 of
15
with 100 items per page.
- Diaconescu's_theorem abstract "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 constructive set theory. It was discovered in 1975 by Diaconescu and later by Goodman and Myhill. Already in 1967, Errett Bishop posed the Theorem as an exercise (Problem 2 on page 58 in ).".
- Diaconescu's_theorem wikiPageID "18288107".
- Diaconescu's_theorem wikiPageRevisionID "545362374".
- Diaconescu's_theorem hasPhotoCollection Diaconescu's_theorem.
- Diaconescu's_theorem subject Category:Constructivism_(mathematics).
- Diaconescu's_theorem subject Category:Set_theory.
- Diaconescu's_theorem comment "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 constructive set theory. It was discovered in 1975 by Diaconescu and later by Goodman and Myhill. Already in 1967, Errett Bishop posed the Theorem as an exercise (Problem 2 on page 58 in ).".
- Diaconescu's_theorem label "Diaconescu's theorem".
- Diaconescu's_theorem label "Théorème de Diaconescu".
- Diaconescu's_theorem sameAs Théorème_de_Diaconescu.
- Diaconescu's_theorem sameAs m.04cvl21.
- Diaconescu's_theorem sameAs Q3527059.
- Diaconescu's_theorem sameAs Q3527059.
- Diaconescu's_theorem wasDerivedFrom Diaconescu's_theorem?oldid=545362374.
- Diaconescu's_theorem isPrimaryTopicOf Diaconescu's_theorem.