Expansions of ordered fields without definable gaps (Q4798205)
From MaRDI portal
scientific article; zbMATH DE number 1884765
Language | Label | Description | Also known as |
---|---|---|---|
English | Expansions of ordered fields without definable gaps |
scientific article; zbMATH DE number 1884765 |
Statements
Expansions of ordered fields without definable gaps (English)
0 references
19 March 2003
0 references
definably complete
0 references
definably connected
0 references
definable intermediate value property
0 references
real closed
0 references
weakly o-minimal
0 references
definable Heine-Borel theorem
0 references
definable extreme value theorem
0 references
definable bounded intersection property
0 references