About: Diaconescu's theorem

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Diaconescu's theorem Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : dbpedia.org associated with source document(s)
QRcode icon

http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FDiaconescu%27s_theorem

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 Radu Diaconescu and later by Goodman and Myhill. Already in 1967, Errett Bishop posed the theorem as an exercise (Problem 2 on page 58 in Foundations of constructive analysis).

Attributes	Values
rdfs:label	Satz von Diaconescu-Goodman-Myhill (de) Diaconescu's theorem (en) Théorème de Diaconescu (fr)
rdfs:comment	Der Satz von Diaconescu-Goodman-Myhill, benannt nach , und J. Myhill, ist ein Satz aus der mathematischen Logik, der zeigt, dass der Satz vom ausgeschlossenen Dritten aus dem Auswahlaxiom hergeleitet werden kann. Der ursprüngliche Beweis von R. Diaconescu aus dem Jahre 1975 behandelte die Situation in Topoi. Die hier wiedergegebene Version geht auf Goodman und Myhill zurück. Man spricht daher auch vom Satz von Goodman-Myhill. Manche Autoren sprechen aber auch einfach vom Satz von Diaconescu. (de) 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 Radu Diaconescu and later by Goodman and Myhill. Already in 1967, Errett Bishop posed the theorem as an exercise (Problem 2 on page 58 in Foundations of constructive analysis). (en) En logique mathématique, le théorème de Diaconescu, ou théorème de Goodman-Myhill, concerne la théorie des ensembles et les mathématiques constructives. Il énonce que dans une (en) avec extensionnalité, le principe du tiers exclu (éventuellement restreint à certaines classes de propositions suivant la théorie en jeu) peut se déduire de l'axiome du choix. Il fut découvert en 1975 par Diaconescu puis par Goodman et Myhill. (fr)
dcterms:subject	Axiom of choice Constructivism (mathematics) Set theory
Wikipage page ID	18288107 (xsd:integer)
Wikipage revision ID	1110443493 (xsd:integer)
Link from a Wikipage to another Wikipage	Axiom of choice Constructivism (mathematics) John Myhill Mathematical logic Constructive set theory Choice function Proposition Set theory Errett Bishop Finite set Bijection Heyting arithmetic Axiom of choice Axiom of extensionality Axiom schema of predicative separation Natural number Set-builder notation Axiom of specification Constructive type theory Dedekind-infinite Law of the excluded middle
sameAs	Diaconescu's theorem Diaconescu's theorem Diaconescu's theorem Diaconescu's theorem Diaconescu's theorem
has abstract	Der Satz von Diaconescu-Goodman-Myhill, benannt nach , und J. Myhill, ist ein Satz aus der mathematischen Logik, der zeigt, dass der Satz vom ausgeschlossenen Dritten aus dem Auswahlaxiom hergeleitet werden kann. Der ursprüngliche Beweis von R. Diaconescu aus dem Jahre 1975 behandelte die Situation in Topoi. Die hier wiedergegebene Version geht auf Goodman und Myhill zurück. Man spricht daher auch vom Satz von Goodman-Myhill. Manche Autoren sprechen aber auch einfach vom Satz von Diaconescu. (de) 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 Radu Diaconescu and later by Goodman and Myhill. Already in 1967, Errett Bishop posed the theorem as an exercise (Problem 2 on page 58 in Foundations of constructive analysis). (en) En logique mathématique, le théorème de Diaconescu, ou théorème de Goodman-Myhill, concerne la théorie des ensembles et les mathématiques constructives. Il énonce que dans une (en) avec extensionnalité, le principe du tiers exclu (éventuellement restreint à certaines classes de propositions suivant la théorie en jeu) peut se déduire de l'axiome du choix. Il fut découvert en 1975 par Diaconescu puis par Goodman et Myhill. (fr)
prov:wasDerivedFrom	wikipedia-en:Diaconescu's_theorem?oldid=1110443493&ns=0
page length (characters) of wiki page	3340 (xsd:nonNegativeInteger)
foaf:isPrimaryTopicOf	wikipedia-en:Diaconescu's_theorem
is Link from a Wikipage to another Wikipage of	Constructive proof Constructive set theory Axiom of choice Diaconescu-Goodman-Myhill theorem Diaconescu theorem Diaconescu–Goodman–Myhill theorem Goodman-Myhill-Diaconescu theorem Goodman-Myhill theorem Goodman–Myhill theorem Goodman–Myhill–Diaconescu theorem
is Wikipage redirect of	Diaconescu-Goodman-Myhill theorem Diaconescu theorem Diaconescu–Goodman–Myhill theorem Goodman-Myhill-Diaconescu theorem Goodman-Myhill theorem Goodman–Myhill theorem Goodman–Myhill–Diaconescu theorem
is foaf:primaryTopic of	wikipedia-en:Diaconescu's_theorem

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 53 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software