The Marker-Steinhorn theorem via definable linear orders (Q2295740)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The Marker-Steinhorn theorem via definable linear orders |
scientific article |
Statements
The Marker-Steinhorn theorem via definable linear orders (English)
0 references
14 February 2020
0 references
Marker-Steinhorn theorem
0 references
defineable types
0 references
o-minimality
0 references
0 references
