Elementary equivalence
id:
elementary-equivalence-318-14286868
title:
Elementary equivalence
text:
In model theory, a branch of mathematical logic, two structures M and N of the same signature σ are called elementarily equivalent if they satisfy the same first-order σ-sentences. If N is a substructure of M, one often needs a stronger condition. In this case N is called an elementary substructure of M if every first-order σ-formula φ(a1, …, an) with parameters a1, …, an from N is true in N if and only if it is true in M.
If N is an elementary substructure of M, then M is called an elementary e
brand slug:
wiki
category slug:
encyclopedia
description:
Concept in model theory
original url:
https://en.wikipedia.org/wiki/Elementary_equivalence
date created:
date modified:
2023-09-21T00:42:12Z
main entity:
{"identifier":"Q877149","url":"https://www.wikidata.org/entity/Q877149"}
image:
fields total:
13
integrity:
14