elementarily equivalent
Conventions
All structures share a common signature
; the first-order
language is the language
determined by that signature.
Definition
The theory of a structure
is the set of all sentences
of that are true in
Definition
Structures and are elementarily equivalent, (in symbols: if and only if .
Title | elementarily equivalent |
---|---|
Canonical name | ElementarilyEquivalent |
Date of creation | 2013-03-22 13:00:26 |
Last modified on | 2013-03-22 13:00:26 |
Owner | CWoo (3771) |
Last modified by | CWoo (3771) |
Numerical id | 8 |
Author | CWoo (3771) |
Entry type | Definition |
Classification | msc 03C99 |
Defines | theory |