This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations. Please help improve this article by introducing more precise citations.(February 2023) (Learn how and when to remove this message)
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 extension of N. An embedding h: N → M is called an elementary embedding of N into M if h(N) is an elementary substructure of M.
A substructure N of M is elementary if and only if it passes the Tarski–Vaught test: every first-order formula φ(x, b1, …, bn) with parameters in N that has a solution in M also has a solution in N when evaluated in M. One can prove that two structures are elementarily equivalent with the Ehrenfeucht–Fraïssé games.
Elementary embeddings are used in the study of large cardinals, including rank-into-rank.
and 22 Related for: Elementary equivalence information
are elementarily equivalent, since they both interpret '<' as an unbounded dense linear ordering. This is sufficient to ensure elementaryequivalence, because...
Turing equivalence (recursion theory) Elementaryequivalence, in mathematical logic Equivalence principle in the theory of general relativity Equivalence (trade)...
matrices have the same null space. Because elementary row operations are reversible, row equivalence is an equivalence relation. It is commonly denoted by a...
which gives an algebraic characterization of the semantic notion of elementaryequivalence, and the Robinson–Zakon presentation of the use of superstructures...
isomorphic. Therefore, ultraproducts provide a way to talk about elementaryequivalence that avoids mentioning first-order theories at all. Basic theorems...
In mathematics, an equivalence relation is a binary relation that is reflexive, symmetric and transitive. The equipollence relation between line segments...
In theoretical computer science and formal language theory, the equivalence problem is the question of determining, given two representations of formal...
for material equivalence, so proper interpretation would depend on the context. Logical equivalence is different from material equivalence, although the...
Matrix equivalence is an equivalence relation on the space of rectangular matrices. For two rectangular matrices of the same size, their equivalence can...
object in C. All equivalence relations in C are effective. The last axiom needs the most explanation. If X is an object of C, an "equivalence relation" R on...
problem of elementary number theory, American Journal of Mathematics, 58 (1936), pp. 345–363. This paper contains the proof that the equivalence of lambda...
whether any given statement within the theory is true or false. elementaryequivalence A relationship between two structures in logic and mathematics where...
closure conditions. Existence of a partial isomorphism entails elementaryequivalence, however the converse is not generally true, but it holds for ω-saturated...
set of S {\displaystyle S} -formulas containing witnesses. Define an equivalence relation ∼ {\displaystyle \sim } on the set of S {\displaystyle S} -terms...
Elementary mathematics, also known as primary or secondary school mathematics, is the study of mathematics topics that are commonly taught at the primary...
connectives include negation, disjunction, conjunction, implication, and equivalence. In standard systems of classical logic, these connectives are interpreted...
abstract algebra, a congruence relation (or simply congruence) is an equivalence relation on an algebraic structure (such as a group, ring, or vector...
smooth and very steep near the equivalence point. Because of this, a small change in titrant volume near the equivalence point results in a large pH change...
known as the equivalence principle. The particular equivalence often referred to as the "Galilean equivalence principle" or the "weak equivalence principle"...
(V_{\kappa +n},\in )} , where ≡ {\displaystyle \equiv } denotes elementaryequivalence. For n = 0 {\displaystyle n=0} this is a biconditional (see Two...
experimental results, Wolfram developed the principle of computational equivalence (PCE): the principle states that systems found in the natural world can...
languages an atomic sentence is a string of symbols which can represent an elementary sentence in a natural language, and it can be defined as follows. In a...