A Language for Category Theory in which Natural Equivalence Implies Elementary Equivalence of Models (Q3691901)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Language for Category Theory in which Natural Equivalence Implies Elementary Equivalence of Models |
scientific article |
Statements
A Language for Category Theory in which Natural Equivalence Implies Elementary Equivalence of Models (English)
0 references
1985
0 references
elementary equivalence
0 references
language on graphs
0 references
elementary theory of categories
0 references
(C,G)-trees
0 references
natural equivalence
0 references
elementary equivalent models
0 references
