This HTML5 document contains 52 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbpedia-dehttp://de.dbpedia.org/resource/
dcthttp://purl.org/dc/terms/
n20https://www.britannica.com/topic/
dbohttp://dbpedia.org/ontology/
n26https://ncatlab.org/nlab/show/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-kohttp://ko.dbpedia.org/resource/
dbpedia-eohttp://eo.dbpedia.org/resource/
n7http://g.co/kg/m/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n27https://www.jstor.org/topic/
dbpedia-svhttp://sv.dbpedia.org/resource/
category-frhttp://fr.dbpedia.org/resource/Catégorie:
dbpedia-pthttp://pt.dbpedia.org/resource/
dbpedia-cshttp://cs.dbpedia.org/resource/
n15http://fr.dbpedia.org/resource/Modèle:
wikipedia-frhttp://fr.wikipedia.org/wiki/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n24http://ma-graph.org/entity/
dbpedia-ithttp://it.dbpedia.org/resource/
dbpedia-zhhttp://zh.dbpedia.org/resource/
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbpedia-fr:Équivalence_élémentaire
rdfs:label
Équivalence élémentaire Equivalenza elementare Elementär ekvivalens
rdfs:comment
En mathématiques, et plus spécifiquement en théorie des modèles, on dit que deux structures pour un même langage formel sont élémentairement équivalentes quand elles satisfont les mêmes énoncés (formules closes) de la logique du premier ordre, dit autrement leurs théories (du premier ordre) sont les mêmes.
rdfs:seeAlso
n20:elementary-equivalence n26:elementary_equivalence n27:elementary-equivalence
owl:sameAs
dbr:Elementary_equivalence dbpedia-de:Elementare_Äquivalenz n7:03vmkz dbpedia-pt:Equivalência_elementar dbpedia-it:Equivalenza_elementare wikidata:Q877149 dbpedia-cs:Elementární_vnoření dbpedia-eo:Rudimenta_enigo dbpedia-ko:기본_동치 dbpedia-sv:Elementär_ekvivalens n24:56719861 dbpedia-zh:初等等价
dbo:wikiPageID
1082596
dbo:wikiPageRevisionID
143671704
dbo:wikiPageWikiLink
dbpedia-fr:Ensemble_dénombrable dbpedia-fr:Langage_formel dbpedia-fr:Isomorphisme dbpedia-fr:Théorie_complète dbpedia-fr:Propriété_de_la_borne_supérieure dbpedia-fr:Logique_d'ordre_supérieur dbpedia-fr:Théorie_axiomatique dbpedia-fr:Méthode_du_va-et-vient dbpedia-fr:Signature_(logique) dbpedia-fr:Roland_Fraïssé category-fr:Logique_mathématique dbpedia-fr:Nombre_réel dbpedia-fr:Ordre_total dbpedia-fr:Nombre_rationnel dbpedia-fr:Calcul_des_prédicats dbpedia-fr:Ordre_dense dbpedia-fr:Extremum category-fr:Théorie_des_modèles dbpedia-fr:Théorie dbpedia-fr:Mathématiques dbpedia-fr:Structure_(logique_mathématique) dbpedia-fr:Théorie_des_modèles
dbo:wikiPageLength
1985
dct:subject
category-fr:Logique_mathématique category-fr:Théorie_des_modèles
prop-fr:wikiPageUsesTemplate
n15:Ébauche n15:Portail n15:Lien
prov:wasDerivedFrom
wikipedia-fr:Équivalence_élémentaire?oldid=143671704&ns=0
foaf:isPrimaryTopicOf
wikipedia-fr:Équivalence_élémentaire
dbo:abstract
En mathématiques, et plus spécifiquement en théorie des modèles, on dit que deux structures pour un même langage formel sont élémentairement équivalentes quand elles satisfont les mêmes énoncés (formules closes) de la logique du premier ordre, dit autrement leurs théories (du premier ordre) sont les mêmes. L'équivalence élémentaire est une notion typiquement logique en ce qu'elle fait intervenir le langage pour définir une relation entre structures. Elle diffère de la notion algébrique d'isomorphisme. Deux structures isomorphes sont élémentairement équivalentes. L'exemple ci-après montre en revanche que la réciproque n'est pas vraie. Le théorème de Fraïssé, revu par Ehrenfeucht, donne une définition purement algébrique de l'équivalence élémentaire en termes d'isomorphismes partiels, extensibles par va-et-vient un nombre fini de fois.