About: dbpedia-fr:Théorème_de

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: dbpedia-fr:Théorème_de_Diaconescu Goto Sponge NotDistinct Permalink

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

Attributes	Values
rdfs:label	Satz von Diaconescu-Goodman-Myhill (de) Théorème de Diaconescu (fr)
rdfs:comment	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)
rdfs:seeAlso	https://ncatlab.org/nlab/show/Diaconescu's_theorem
sameAs	dbr:Diaconescu's_theorem wikidata:Q3527059 dbpedia-de:Satz_von_Diaconescu-Goodman-Myhill http://g.co/kg/m/04cvl21
Wikipage page ID	3122967 (xsd:integer)
Wikipage revision ID	122985081 (xsd:integer)
dbo:wikiPageWikiLink	category-fr:Théorème_de_la_théorie_des_ensembles Axiom of extensionality Axiom of choice category-fr:Logique_mathématique dbpedia-fr:Constructivisme_(mathématiques) dbpedia-fr:Imprédicativité dbpedia-fr:Logique_classique dbpedia-fr:Logique_mathématique Law of excluded middle dbpedia-fr:Proposition dbpedia-fr:Proposition_contraposée dbpedia-fr:Schéma_d'axiomes_de_compréhension dbpedia-fr:Théorie_des_ensembles dbpedia-fr:Théorie_des_ensembles_de_Kripke-Platek dbpedia-fr:Théorie_des_types
page length (characters) of wiki page	3806 (xsd:nonNegativeInteger)
dct:subject	category-fr:Théorème_de_la_théorie_des_ensembles category-fr:Logique_mathématique
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:Lien dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Traduction/Référence dbpedia-fr:Modèle:Voir_homonymes
prov:wasDerivedFrom	wikipedia-fr:Théorème_de_Diaconescu?oldid=122985081&ns=0
foaf:isPrimaryTopicOf	wikipedia-fr:Théorème_de_Diaconescu
has abstract	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)
is dbo:wikiPageWikiLink of	dbpedia-fr:Diaconescu List of theorems dbpedia-fr:Théorème_de_Goodman-Myhill
is Wikipage redirect of	dbpedia-fr:Théorème_de_Goodman-Myhill
is Wikipage disambiguates of	dbpedia-fr:Diaconescu
is oa:hasTarget of	De labels Wikidata Fr related
is foaf:primaryTopic of	wikipedia-fr:Théorème_de_Diaconescu

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 14 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software