Locally polynomially bounded structures

DOI10.1112/BLMS/BDN004MaRDI QIDQ3516811zbMATH OpenOpenAlexFDO

Authors G. O. Jones, A. J. Wilkie

Publication date 11 August 2008

Published in Bulletin of the London Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0701523, http://eprints.maths.manchester.ac.uk/1744/1/goj_ajw.pdf

zbMATH Keywords

constructing points on varietiesdefinable functionso-minimal structuresreal closed field

Mathematics Subject Classification ID

Model theory of ordered structures; o-minimality (03C64) Model theory of fields (12L12)

Abstract: We prove a theorem which provides a method for constructing points on varieties defined by certain smooth functions. We require that the functions are definable in a definably complete expansion of a real closed field and are locally definable in a fixed o-minimal and polynomially bounded reduct. As an application we show that in certain o-minimal structures definable functions are piecewise implicitly defined over the basic functions in the language.

Recommendations

• Defining the smooth points of a quotient in polynomially bounded o -minimal structures
• Infinite Differentiability in Polynomially Bounded O-Minimal Structures
• Stratification of families of functions definable in o-minimal structures
• Infinitely Peano differentiable functions in polynomially bounded o-minimal structures
• The Positivstellensatz for definable functions on o-minimal structures

Cited in

(13)

• Local interdefinability of Weierstrass elliptic functions
• Rational values of Weierstrass zeta functions
• Uniform model-completeness for the real field expanded by power functions
• On the decidability of the real field with a generic power function
• Zero sets of smooth functions in the Pfaffian closure of an o-minimal structure
• The locally definable property of the product control structure
• scientific article; zbMATH DE number 2124412 (Why is no real title available?)
• On local definability of holomorphic functions
• Embedding the prime model of real exponentiation into o‐minimal exponential fields
• An o-minimal structure without mild parameterization
• Nondefinability results for elliptic and modular functions
• Exponential topological fields with a generic derivation
• Algebraic types in Zilber's exponential field

This page was built for publication: Locally polynomially bounded structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3516811)