No label defined (Q4249360)
From MaRDI portal
scientific article; zbMATH DE number 1302874
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1302874 |
Statements
19 September 1999
0 references
KPU-models
0 references
recursive model theory
0 references
saturated enough model
0 references
categoricity
0 references
\(\Sigma\)-definability of algebraic structures
0 references
\(\Sigma\)-definability in admissible sets
0 references
survey
0 references
constructivization
0 references
