arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 1802.08508math.LOmath.NT
收藏

$P$ -极小结构中的指数可构造函数

Exponential-constructible functions in $P$-minimal structures

Saskia Chambille, Pablo Cubides Kovacsics, Eva Leenknegt

摘要:

指数可构造函数是可构造函数类的扩展。这个扩展是由Cluckers-Loeser在半代数和次解析结构的背景下,当他们研究积分下的稳定性时制定的。在本文中,我们将提出一个自然的完善,他们的定义,允许稳定性的结果,以保持在更广泛的类P-极小结构。其中一个主要的技术改进是,我们删除了可定义的Skolem函数的证明的要求。其结果是,我们得到的稳定性,特别是所有的中间结构之间的半代数和子解析语言。

英文摘要:

Exponential-constructible functions are an extension of the class of constructible functions. This extension was formulated by Cluckers-Loeser in the context of semi-algebraic and sub-analytic structures, when they studied stability under integration. In this paper we will present a natural refinement of their definition that allows for stability results to hold within the wider class of P-minimal structures. One of the main technical improvements is that we remove the requirement of definable Skolem functions from the proofs. As a result, we obtain stability in particular for all intermediate structures between the semi-algebraic and the sub-analytic languages.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑