Avoiding the projective hierarchy in expansions of the real field by sequences (Q3372135)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Avoiding the projective hierarchy in expansions of the real field by sequences |
scientific article |
Statements
Avoiding the projective hierarchy in expansions of the real field by sequences (English)
0 references
17 February 2006
0 references
o-minimality
0 references
infinitely oscillating real functions
0 references
infinite discrete sets of real numbers
0 references
first-order expansions of the field of real numbers
0 references
