Avoiding the projective hierarchy in expansions of the real field by sequences
From MaRDI portal
Publication:3372135
DOI10.1090/S0002-9939-05-08112-8zbMath1093.03023MaRDI QIDQ3372135
Publication date: 17 February 2006
Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)
o-minimality; first-order expansions of the field of real numbers; infinite discrete sets of real numbers; infinitely oscillating real functions
26A12: Rate of growth of functions, orders of infinity, slowly varying functions
03C64: Model theory of ordered structures; o-minimality
Related Items
Expansions of the Real Field by Canonical Products, Expansions of o-minimal structures by dense independent sets, Expansions of o-minimal structures by iteration sequences, Defining additive subgroups of the reals from convex subsets, Defining the set of integers in expansions of the real field by a closed discrete set
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Hardy fields
- Expansions of the real field with power functions
- Geometric categories and o-minimal structures
- Expansions of o-minimal structures by iteration sequences
- The Field of Reals with Multisummable Series and the Exponential Function
- The Rank of a Hardy Field
- Discrete "Orders of Infinity"
- A generalization of the Tarski-Seidenberg theorem, and some nondefinability results
- Growth Properties of Functions in Hardy Fields
- The real field with convergent generalized power series
- Exponentiation is Hard to Avoid
- Quasianalytic Denjoy-Carleman classes and o-minimality
- Pfaffian differential equations over exponential o-minimal structures
- Expansions of o-minimal structures by fast sequences