Model theory (Q2756718)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Model theory |
scientific article; zbMATH DE number 1674400
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Model theory |
scientific article; zbMATH DE number 1674400 |
Statements
18 November 2001
0 references
model
0 references
structure
0 references
language
0 references
first-order formula
0 references
definable set
0 references
classification
0 references
survey
0 references
Model theory (English)
0 references
The paper turns out to be a survey article about some interesting questions in model theory. The author focuses the attention to:NEWLINENEWLINENEWLINE-- different meanings of the word ``model'',NEWLINENEWLINENEWLINE-- the explanation of the concept ``logic'',NEWLINENEWLINENEWLINE-- some basic notions like ``structure'', ``language'', ``first-order expression'', ``elementary equivalence'', ``decidability'', ``axiomatizability'', ``definable sets'', ``quantifier elimination'',NEWLINENEWLINENEWLINEthe ``compactness theorem'',NEWLINENEWLINENEWLINE-- ``interpretability and invariants'',NEWLINENEWLINENEWLINE-- o-minimality and real geometry'',NEWLINENEWLINENEWLINE-- ``stability and diophantine geometry''.NEWLINENEWLINENEWLINEThe comments are illustrated with some interesting examples.
0 references
