|
|
(view preamble | get metadata)
See Also: cyclic code
| Also defines: |
imaginaries, elimination of imaginaries, definable structure, interpretable structure, code |
| Keywords: |
interpret, interpretable, imaginaries, equivalence relation, equivalence class |
|
|
Cross-references: simple, theory, language, useful, presentation, closure operator, sort, elements, property, equivalence classes, isomorphic, equivalence relation, quotient, domain, factor group, cosets, normal, order, unstable, field, first order, centre, group, infinite, type, isomorphism, function, relation, definable function, bijection, subset, iff, definable, logic, quotient structures, structure, restrictions, substructures, algebraic structure
There are 35 references to this entry.
This is version 4 of imaginaries, born on 2003-02-07, modified 2005-03-18.
Object id is 3990, canonical name is Imaginaries.
Accessed 12027 times total.
Classification:
| AMS MSC: | 03C68 (Mathematical logic and foundations :: Model theory :: Other classical first-order model theory) | | | 03C95 (Mathematical logic and foundations :: Model theory :: Abstract model theory) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|
