type (Q3062)
From MaRDI portal
term in model theory and related areas of mathematics
- omitting types
Language | Label | Description | Also known as |
---|---|---|---|
English | type |
term in model theory and related areas of mathematics |
|
Statements
0 references
0 references
0 references
Identifiers
144618667
0 references
type (in model theory)
0 references
Type
0 references