{"title":"多项式有界 O 最小结构中有限阶全函数的不可定义性结果","authors":"Hassan Sfouli","doi":"10.1007/s00153-024-00904-x","DOIUrl":null,"url":null,"abstract":"<div><p>Let <span>\\({\\mathcal {R}}\\)</span> be a polynomially bounded o-minimal expansion of the real field. Let <i>f</i>(<i>z</i>) be a transcendental entire function of finite order <span>\\(\\rho \\)</span> and type <span>\\(\\sigma \\in [0,\\infty ]\\)</span>. The main purpose of this paper is to show that if (<span>\\(\\rho <1\\)</span>) or (<span>\\(\\rho =1\\)</span> and <span>\\(\\sigma =0\\)</span>), the restriction of <i>f</i>(<i>z</i>) to the real axis is not definable in <span>\\({\\mathcal {R}}\\)</span>. Furthermore, we give a generalization of this result for any <span>\\(\\rho \\in [0,\\infty )\\)</span>.</p></div>","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":"63 3-4","pages":""},"PeriodicalIF":0.3000,"publicationDate":"2024-02-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Nondefinability results with entire functions of finite order in polynomially bounded o-minimal structures\",\"authors\":\"Hassan Sfouli\",\"doi\":\"10.1007/s00153-024-00904-x\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p>Let <span>\\\\({\\\\mathcal {R}}\\\\)</span> be a polynomially bounded o-minimal expansion of the real field. Let <i>f</i>(<i>z</i>) be a transcendental entire function of finite order <span>\\\\(\\\\rho \\\\)</span> and type <span>\\\\(\\\\sigma \\\\in [0,\\\\infty ]\\\\)</span>. The main purpose of this paper is to show that if (<span>\\\\(\\\\rho <1\\\\)</span>) or (<span>\\\\(\\\\rho =1\\\\)</span> and <span>\\\\(\\\\sigma =0\\\\)</span>), the restriction of <i>f</i>(<i>z</i>) to the real axis is not definable in <span>\\\\({\\\\mathcal {R}}\\\\)</span>. Furthermore, we give a generalization of this result for any <span>\\\\(\\\\rho \\\\in [0,\\\\infty )\\\\)</span>.</p></div>\",\"PeriodicalId\":48853,\"journal\":{\"name\":\"Archive for Mathematical Logic\",\"volume\":\"63 3-4\",\"pages\":\"\"},\"PeriodicalIF\":0.3000,\"publicationDate\":\"2024-02-15\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Archive for Mathematical Logic\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://link.springer.com/article/10.1007/s00153-024-00904-x\",\"RegionNum\":4,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"Arts and Humanities\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Archive for Mathematical Logic","FirstCategoryId":"100","ListUrlMain":"https://link.springer.com/article/10.1007/s00153-024-00904-x","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"Arts and Humanities","Score":null,"Total":0}
引用次数: 0
摘要
Abstract Let \({mathcal {R}}\) be a polynomially bounded o-minimal expansion of the real field.设 f(z) 是有限阶 \(\rho \) 和类型 \(\sigma \in [0,\infty ]\) 的超越全函数。本文的主要目的是证明如果( ( (rho <1/) )或者( ( (rho =1/) and ( (sigma =0/) ) ,f(z)到实轴的限制在 ( {\mathcal {R}})中是不可定义的。此外,我们给出了这个结果对于任何 ( (rho \in [0,\infty )\) 的一般化。
Nondefinability results with entire functions of finite order in polynomially bounded o-minimal structures
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 <1\)) 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 )\).
期刊介绍:
The journal publishes research papers and occasionally surveys or expositions on mathematical logic. Contributions are also welcomed from other related areas, such as theoretical computer science or philosophy, as long as the methods of mathematical logic play a significant role. The journal therefore addresses logicians and mathematicians, computer scientists, and philosophers who are interested in the applications of mathematical logic in their own field, as well as its interactions with other areas of research.