Constructive models of uncountably categorical theories (Q4268931)
From MaRDI portal
scientific article; zbMATH DE number 1354568
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Constructive models of uncountably categorical theories |
scientific article; zbMATH DE number 1354568 |
Statements
Constructive models of uncountably categorical theories (English)
0 references
28 October 1999
0 references
computable model
0 references
uncountably categorical first-order theory
0 references
strongly minimal set
0 references
unsolvable word problem
0 references
Cayley graph
0 references
constructive model
0 references
recursive model
0 references
