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.

Property Value
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. (fr)
  • 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. (fr)
dbo:wikiPageID
  • 1082596 (xsd:integer)
dbo:wikiPageLength
  • 1985 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 143671704 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:wikiPageUsesTemplate
dct:subject
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. (fr)
  • 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. (fr)
rdfs:label
  • Elementär ekvivalens (sv)
  • Equivalenza elementare (it)
  • Équivalence élémentaire (fr)
  • Elementär ekvivalens (sv)
  • Equivalenza elementare (it)
  • Équivalence élémentaire (fr)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of