Some nondefinability results with entire functions in a polynomially bounded o-minimal structure

Archive for Mathematical Logic 59 (5-6):733-741 (2020)
  Copy   BIBTEX

Abstract

Let \=\Sigma _{k\ge 0}a_{k}z^{k}\) be a transcendental entire function with real coefficients. The main purpose of this paper is to show that the restriction of f to \ is not definable in the ordered field of real numbers with restricted analytic functions, \. Furthermore, we show that there is \ such that the function \\) on \ is not definable in \, where \ the expansion of the real field generated by multisummable real series.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Expansions of the real field with power functions.Chris Miller - 1994 - Annals of Pure and Applied Logic 68 (1):79-94.
On Metric Types That Are Definable in an O-Minimal Structure.Guillaume Valette - 2008 - Journal of Symbolic Logic 73 (2):439 - 447.
Undefinability results in o-minimal expansions of the real numbers.Ricardo Bianconi - 2005 - Annals of Pure and Applied Logic 134 (1):43-51.
The elementary theory of Dedekind cuts in polynomially bounded structures.Marcus Tressl - 2005 - Annals of Pure and Applied Logic 135 (1-3):113-134.
Polynomially Bounded Recursive Realizability.Saeed Salehi - 2005 - Notre Dame Journal of Formal Logic 46 (4):407-417.
An o-minimal structure without mild parameterization.Margaret Em Thomas - 2011 - Annals of Pure and Applied Logic 162 (6):409-418.
Heirs of Box Types in Polynomially Bounded Structures.Marcus Tressl - 2009 - Journal of Symbolic Logic 74 (4):1225 - 1263.
A general model completeness result for expansions of the real ordered field.Steve Maxwell - 1998 - Annals of Pure and Applied Logic 95 (1-3):185-227.
Semi-Bounded Relations in Ordered Modules.Oleg Belegradek - 2004 - Journal of Symbolic Logic 69 (2):499 - 517.
Semi-bounded relations in ordered modules.Oleg Belegradek - 2004 - Journal of Symbolic Logic 69 (2):499-517.

Analytics

Added to PP
2020-01-31

Downloads
12 (#1,025,624)

6 months
6 (#431,022)

Historical graph of downloads
How can I increase my downloads?

References found in this work

No references found.

Add more references