Jonathan Kirby
I give an algebraic proof that the exponential algebraic closure operator in an exponential field is always a pregeometry, and show that its dimension function satisfies a weak Schanuel property. A corollary is that there are at most countably many essential counterexamples to Schanuel's conjecture.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
In his article "A discrete form of the theorem that each field endomorphism of $\mathbb{R}$ ($\mathbb{Q}_p$) is the identity", Tyszka introduce a logical property which is equivalent to algebraicity in $\mathbb{R}$ and in $\mathbb{Q}_p$. Amazingly, the property is no longer equivalent to algebraicity in $\mathbb{C}$. This article present a similirar property which is equivalent to algebraicity in any field of characteristic zero which is also a Banach space, and prove a weaker equivalency for fields of positive charcteristic (which are also Banach spaces).
Approximation and algebraicity in positive characteristic Hahn fields
本文研究正特征 Hahn 域中相对代数闭包的支持集序型，证明其小于 $\omega^\omega$，并恢复 Rayner 定理及其剩余域类似物，应用于一阶理论可判定性。
Integration in finite terms and exponentially algebraic functions
本文结合微分代数与模型论技术，推广Abel和Liouville的方法，研究代数微分方程的指数代数性问题，得到多个经典函数的指数超越性、独立性结论及对应可判定性结果。
The algebra of exponential fields and their extensions is developed. The focus is on ELA-fields, which are algebraically closed with a surjective exponential map. In this context, finitely presented extensions are defined, it is shown that finitely generated strong extensions are finitely presented, and these extensions are classified. An algebraic construction is given of Zilber's pseudo-exponential fields. As applications of the general results and methods of the paper, it is shown that Zilber's fields are not model-complete, answering a question of Macintyre, and a precise statement is give…
We prove some general estimates for exponential sums over subsets of finite fields which are definable in the language of rings. This generalizes both the classical exponential sum estimates over varieties over finite fields due to Weil, Deligne and others, and the result of Chatzidakis, van den Dries and Macintyre concerning the number of points of those definable sets. As a first application, there is no formula in the language of rings that defines for infinitely many primes an ``interval'' in Z/pZ that is neither bounded nor with bounded complement.
Algebraic types in Zilber's exponential field
本文刻画Zilber指数域中的模型论代数闭包，通过证明代数簇与指数函数图像的有限秩子群有限相交，并应用Mordell-Lang定理完成证明。
We prove the following theorems: Theorem 1: For any E-field with cyclic kernel, in particular $\mathbb C$ or the Zilber fields, all real abelian algebraic numbers are pointwise definable. Theorem 2: For the Zilber fields, the only pointwise definable algebraic numbers are the real abelian numbers.
The Klein j-Function is not Pfaffian over the Real Exponential Field
本文扩展 Freitag 的结论，证明 Klein j-函数在虚区间 (0, i) 上的限制在 Miller–Speissegger 意义下于实指数域上并非 Pfaffian。
Exponential Fields: Lack of Generic Derivations
本文证明在缺乏导子与指数相容性条件的指数域中，不存在泛型导子，从而回答了该领域的一个存在性问题。
In this paper we prove that assuming Schanuel's conjecture, an exponential polynomial in one variable over the algebraic numbers has only finitely many algebraic solutions. This implies a positive answer to Shapiro's conjecture for exponential polynomials over the algebraic numbers for pseudoexponential fields as well as for any algebraically closed exponential field satisfying Schanuel's conjecture.
In this paper, we prove that a pseudoexponential field has continuum many non-isomorphic countable real closed exponential subfields, each with an order preserving exponential map which is surjective onto the nonnegative elements. Indeed, this is true of any algebraically closed exponential field satisfying Schanuel's conjecture.
We prove that Zilber's class of exponential fields is quasiminimal excellent and hence uncountably categorical, filling two gaps in Zilber's original proof.
In an extended abstract Ressayre considered real closed exponential fields and integer parts that respect the exponential function. He outlined a proof that every real closed exponential field has an exponential integer part. In the present paper, we give a detailed account of Ressayre's construction, which becomes canonical once we fix the real closed exponential field, a residue field section, and a well ordering of the field. The procedure is constructible over these objects; each step looks effective, but may require many steps. We produce an example of an exponential field $R$ with a resi…
We give an axiomatization of the class ECF of exponentially closed fields, which includes the pseudo-exponential fields previously introduced by the second author, and show that it is superstable over its interpretation of arithmetic. Furthermore, ECF is exactly the elementary class of the pseudo-exponential fields if and only if the diophantine conjecture CIT on atypical intersections of tori with subvarieties is true.
Through a cascade of generalizations, we develop a theory of motivic integration which works uniformly in all non-archimedean local fields of characteristic zero, overcoming some of the difficulties related to ramification and small residue field characteristics. We define a class of functions, called functions of motivic exponential class, which we show to be stable under integration and under Fourier transformation, extending results and definitions from previous papers. We prove uniform results related to rationality and to various kinds of loci. A key ingredient is a refined form of Denef-…
We axiomatize a class of existentially closed exponential fields equipped with an $E$-derivation. We apply our results to the field of real numbers endowed with $exp(x)$ the classical exponential function defined by its power series expansion and to the field of p-adic numbers endowed with the function $exp(px)$ defined on the $p$-adic integers where $p$ is a prime number strictly bigger than $2$ (or with $exp(4x)$ when $p=2$).
In this paper we apply Ax-Schanuel's Theorem to the ultraproduct of $p$-adic fields in order to get some results towards algebraic independence of $p$-adic exponentials for almost all primes $p$.
In [26], the algebraico-tree-theoretic simplicity hierarchical structure of J. H. Conway's ordered field $\mathbf{No}$ of surreal numbers was brought to the fore and employed to provide necessary and sufficient conditions for an ordered field (ordered $K$-vector space) to be isomorphic to an initial subfield ($K$-subspace) of $\mathbf{No}$, i.e. a subfield ($K$-subspace) of $\mathbf{No}$ that is an initial subtree of $\mathbf{No}$. In this sequel to [15], piggybacking on the just-said results, analogous results are established for ordered exponential fields, making use of a slight generalizati…
Independence relations for exponential fields
本文提出了任意指数域上的四种独立关系，证明了它们在相应抽象初等类上的性质，包括两种类NSOP$_1$且非简单、一种稳定，以及一种与强独立关系相关联的拟极小预几何关系。
We characterise the existentially closed models of the theory of exponential fields. They do not form an elementary class, but can be studied using positive logic. We find the amalgamation bases and characterise the types over them. We define a notion of independence and show that independent systems of higher dimension can also be amalgamated. We extend some notions from classification theory to positive logic and position the category of existentially closed exponential fields in the stability hierarchy as NSOP$_1$ but TP$_2$.
We present a general structure theorem for the Hardy field of an o-minimal expansion of the reals by restricted analytic functions and an unrestricted exponential. We proceed to analyze its residue fields with respect to arbitrary convex valuations, and deduce a power series expansion of exponential germs. We apply these results to cast "Hardy's conjecture" (see \cite[p.111]{[KS]}) in a more general framework. This paper is a follow up to \cite{[K-K2]} and is partially based on unpublished results of \cite{[K-K]}. A previous version \cite{[K-K1]} (which was dedicated to Murray A. Marshall on h…
Exponential fields and Conway's omega-map
本文受康威超现实数启发，提出 omega-域概念，证明具有实系数的有界 Hahn 级数 omega-域可配备指数函数成为实指数域理论模型，并推广到更一般的系数域情形。
On the elementary theory of the real exponential field
在Schanuel猜想下，证明实指数域的完全理论可由可定义完备指数域的公理（满足exp'=exp）公理化，从而推出Macintyre和Wilkie的可判定性结果，并无条件证明限制在(-1,1)上的指数函数类似公理集的模型完备性。
We show that Zilber's conjecture that complex exponentiation is isomorphic to his pseudo-exponentiation follows from the a priori simpler conjecture that they are elementarily equivalent. An analysis of the first-order types in pseudo-exponentiation leads to a description of the elementary embeddings, and the result that pseudo-exponential fields are precisely the models of their common first-order theory which are atomic over exponential transcendence bases. We also show that the class of all pseudo-exponential fields is an example of a non-finitary abstract elementary class, answering a ques…
We explain how the field of logarithmic-exponential series constructed in \cite{DMM1} and \cite {DMM2} embeds as an exponential field in any field of exponential-logarithmic series constructed in \cite{KK1}, \cite {K} and \cite {KS}. On the other hand, we explain why no field of exponential-logarithmic series embeds in the field of logarithmic-exponential series. This clarifies why the two constructions are intrinsically different, in the sense that they produce non-isomorphic models of Th$(\R_{an, exp})$; the elementary theory of the ordered field of real numbers, with the exponential functio…
E-ideals in exponential polynomial ring
本文研究指数域上指数多项式环中的指数理想，提出两种极大性概念并证明其与素性相互独立，同时否定代数闭域上点与极大指数理想的对应关系，并刻画指数根理想。
We study solutions of exponential polynomials over the complex field. Assuming Schanuel's conjecture we prove that certain polynomials have generic solutions in the complex field.
In [1], J. Ax proved a transcendency theorem for certain differential fields of characteristic zero: the differential counterpart of the still open Schanuel's conjecture about the exponential function over the field of complex numbers [11, page 30]. In this article, we derive from Ax's theorem transcendency results in the context of differential valued exponential fields. In particular, we obtain results for exponential Hardy fields, Logarithmic-Exponential power series fields and Exponential-Logarithmic power series fields.
Embedding the prime model of real exponentiation into o-minimal exponential fields
本文借助 Kőnig 引理证明无条件的模型论可嵌入性结论，并在 Schanuel 猜想下推出实数指数运算素模型可嵌入任意 o-minimal 指数域。
Restricted analytic valued fields with partial exponentiation
本文研究带受限解析函数和赋值环上部分指数函数的非阿基米德有序赋值域的一阶理论，证明其具有模型完全性，并证明任何模型都可嵌入到部分指数函数扩张为完全指数函数的模型中。
In math.AC/9608214 it was shown that fields of generalized power series cannot admit an exponential function. In this paper, we construct fields of generalized power series with bounded support which admit an exponential. We give a natural definition of an exponential, which makes these fields into models of real exponentiation. The method allows to construct for every kappa regular uncountable cardinal, 2^{kappa} pairwise non-isomorphic models of real exponentiation (of cardinality kappa), but all isomorphic as ordered fields. Indeed, the 2^{kappa} exponentials constructed have pairwise disti…
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。