Nondefinability results with entire functions of finite order in polynomially bounded o-minimal structures

Archive for Mathematical Logic 63 (3):491-498 (2024)
  Copy   BIBTEX

Abstract

Let \({\mathcal {R}}\) be a polynomially bounded o-minimal expansion of the real field. Let _f_(_z_) be a transcendental entire function of finite order \(\rho \) and type \(\sigma \in [0,\infty ]\). The main purpose of this paper is to show that if ( \(\rho ) or ( \(\rho =1\) and \(\sigma =0\) ), the restriction of _f_(_z_) to the real axis is not definable in \({\mathcal {R}}\). Furthermore, we give a generalization of this result for any \(\rho \in [0,\infty )\).

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,261

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

A note on sharply bounded arithmetic.Jan Johannsen - 1994 - Archive for Mathematical Logic 33 (2):159-165.
Pseudo completions and completions in stages of o-minimal structures.Marcus Tressl - 2006 - Archive for Mathematical Logic 45 (8):983-1009.
Polynomially Bounded Recursive Realizability.Saeed Salehi - 2005 - Notre Dame Journal of Formal Logic 46 (4):407-417.
On constants and the strict order property.Predrag Tanović - 2006 - Archive for Mathematical Logic 45 (4):423-430.
Generalized quantifier and a bounded arithmetic theory for LOGCFL.Satoru Kuroda - 2007 - Archive for Mathematical Logic 46 (5-6):489-516.
The elementary theory of Dedekind cuts in polynomially bounded structures.Marcus Tressl - 2005 - Annals of Pure and Applied Logic 135 (1-3):113-134.
Definability of second order generalized quantifiers.Juha Kontinen - 2010 - Archive for Mathematical Logic 49 (3):379-398.
Remarks on Herbrand normal forms and Herbrand realizations.Ulrich Kohlenbach - 1992 - Archive for Mathematical Logic 31 (5):305-317.
On locally modular, weakly minimal theories.James Loveys - 1993 - Archive for Mathematical Logic 32 (3):173-194.
An o-minimal structure without mild parameterization.Margaret Em Thomas - 2011 - Annals of Pure and Applied Logic 162 (6):409-418.
An infinitary propositional probability logic.Stefano Baratella - 2023 - Archive for Mathematical Logic 62 (3):291-320.

Analytics

Added to PP
2024-02-16

Downloads
20 (#771,402)

6 months
20 (#132,777)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Add more references