The metamathematics of model theory: Discovering language in action (Q3944585)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The metamathematics of model theory: Discovering language in action |
scientific article |
Statements
The metamathematics of model theory: Discovering language in action (English)
0 references
1981
0 references
collection of first-order elementary classes
0 references
natural topological space of countable models
0 references
continuous model theory
0 references
analytic Borel action
0 references
space of models with a fixed underlying set
0 references