Expansions of ordered fields without definable gaps (Q4798205)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1884765
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.8279277682304382
0 references
0.7868815660476685
0 references
0.7675949931144714
0 references
0.766964852809906
0 references
