Definable types in -minimal theories (Q4292603)
From MaRDI portal
scientific article; zbMATH DE number 569562
Language | Label | Description | Also known as |
---|---|---|---|
English | Definable types in -minimal theories |
scientific article; zbMATH DE number 569562 |
Statements
Definable types in -minimal theories (English)
0 references
1 December 1994
0 references
O-minimal theory
0 references
real closed fields
0 references
Dedekind complete
0 references
divisible ordered abelian groups
0 references
definable type
0 references
\(O\)-minimal structure
0 references
coheir
0 references