Avoiding the projective hierarchy in expansions of the real field by sequences

DOI10.1090/S0002-9939-05-08112-8zbMath1093.03023MaRDI QIDQ3372135

Chris Miller

Publication date: 17 February 2006

Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)

zbMATH Keywords

o-minimality; first-order expansions of the field of real numbers; infinite discrete sets of real numbers; infinitely oscillating real functions

Mathematics Subject Classification ID

26A12: Rate of growth of functions, orders of infinity, slowly varying functions

03C64: Model theory of ordered structures; o-minimality

Related Items

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