Imaginaries and invariant types in existentially closed valued differential fields
我们回答两个开放的问题模型论的价值微分场介绍了斯坎伦。我们表明，他们消除了Haskell，Hrushovski和Macpherson介绍的几何语言中的二义性，他们有不变的扩展属性。这两个结果遵循一个抽象的标准，可定义的类型在丰富的代数闭值领域的密度。最后，我们证明了这个理论是亚稳态的。
2016-12-07 math.LO
On effective constructions of existentially closed groups
该研究围绕存在封闭群与可计算性理论的关联展开，证明其可在停机问题层级构造且最优，分析了相对化特性、局部与全局结构复杂度，并得出构造两个差异最大的存在封闭群的复杂度上界。
2024-04-17 math.LO
Existentially closed II_1 factors
研究了存在闭（R^omega-可嵌入）II_1因子的性质.特别地，我们利用存在闭（R^omega-可嵌入）II_1因子的每个自同构近似内的事实来证明Th（R）不是模型完备的。我们还证明了Th（R）对有限强迫和无限强迫都是完备的，并利用后者证明了Th（R）存在连续的许多非同构存在闭模型。
2013-10-18 math.LO math.OA
Existentially closed models and locally zero-dimensional toposes
Queen Mary University of London（伦敦大学玛丽女王学院）
本文将存在封闭模型的概念推广为 toposes 间几何态射的性质，研究了相关性质的推广与失效情况，并在特定条件下刻画了 e.c. 几何态射的分类 topos。
2024-06-04 math.CT math.LO
Large imperfect fields are existentially closed in function fields after finite constant extension
研究大域K上代数函数域F，通过有限纯不可分扩张K'|K使得K'在F.K'中存在闭包，并给出有理点存在局部单值化与K在F中存在闭包的等价条件。
2026-05-31 math.AC math.LO
$K$-theory of co-existentially closed continua
本文刻画共存在闭连续统$X$对应$C(X)$的$K$-理论可能值，并据此说明除万有伪螺线可能存疑外，其余伪螺线均非共存在闭。
2024-01-23 math.GN math.KT math.LO
Existentially closed locally finite groups
我们调查这一类的群体最初被称为ulf（通用局部有限群）的基数$λ$。我们证明了对每一个局部有限群$G$，都存在一个具有相同基数的规范存在闭扩张，该扩张直到同构为止是唯一的，并且随着$G$而增加.此外，我们得到，例如，存在的完整成员（即没有非内自同构）在许多基数（证明在ZFC）。我们也得到了一个平行的稳定性理论的意义上调查可定义的类型。
2021-09-02 math.GR math.LO
Limit Groups and Automorphisms of $κ$-Existentially Closed Groups
本文研究κ-存在闭群的自同构群基数问题，证明了基数为κ的κ-存在闭群的自同构群基数为2^κ，并回答了Kegel关于任意不可数基数κ上存在泛群的问题。
2024-08-31 math.GR math.LO
The pseudoarc is a co-existentially closed continuum
通过对P.Bankston的一个问题的讨论，我们证明了伪弧是一个共存闭连续统。我们还表明，$C(X)$，为$X$一个非退化连续，永远不能有量词消除，回答了一个问题的第一和第三命名的作者和法拉和Kirchberg。
2016-03-15 math.GN math.LO math.OA
Existentially closed fields with operators in various categories
Instytut Matematyczny, Uniwersytet Wrocławski（弗罗茨瓦夫大学数学研究所）
本文研究带算子的域（B-域）的存在闭性，证明在广义意义下存在闭性是初等性质，并分析相应一阶理论的分割线和量词消去。
2026-06-16 math.AC math.LO
Existentially closed W*-probability spaces
本文研究了W $^*$ -概率空间的几个模型论问题，即具有忠实正规态的$σ$ -有限von Neumann代数.本文首先研究了存在闭的W $^*$ -空间，证明了关于这类空间的几个结构性结果，包括它们是张量吸收Araki-Woods因子$R_\infty$的III型$_1$因子.我们还研究了具有Kirchberg QWEP性质的W $^*$ -概率空间的限制类中的存在闭对象，证明了$R_\infty$本身就是这类空间中的存在闭对象.我们关于存在闭概率空间的结果意味着III型$_1$因子类形成了一个$\forall_2$ -可公理化类.我们发现，对于$λ\in (0,1)$，类的第三$_λ$因素是不是$\forall_2$ -axiomatizable，但$\forall_3$ -axiomatizable，后者的结果使用一个版本的凯斯勒的三明治定理适应连续逻辑。最后，我们讨论了III类$_λ$因子的初等等价性。利用Boutonnet，Chifan和Ioana的结果，我们证明了，对于任何$λ\in (0,1)$，有一个家庭的两两非elementarily等价的III $_λ$因素的大小连续。虽然我们不能证明相同的结果III $_1$因素，我们表明，至少有三个成对的非elementarily等价的III $_1$因素表明，类的充分的因素下保持初等等价。
2022-04-25 math.LO math.OA
Tensor product indecomposability results for existentially closed factors
在本文的第一部分中，我们调查几个结果从波帕的变形/刚性理论的分类张量积分解的大自然类的II $_1$因素。使用变形/刚性理论，模型论，和最近的作品\cite{CIOS21,CDI22}的技术的混合，我们突出了一个不可数的家庭存在封闭的II $_1$因素$M$不承认张量积分解$M= P\bar \otimes Q$扩散的因素，其中$Q$是充分的。在最后一节中，我们讨论了关于存在闭因子结构理论的几个开放问题。
2022-07-30 math.GR math.LO math.OA
Recursive functions and existentially closed structures
本文的目的是澄清各种条件之间的关系，暗示本质不可判定性：我们的主要结果是，存在一个理论$T$，其中所有部分递归函数是可表示的，但$T$不解释罗宾逊的理论$R$。为此，我们借用工具，从模型论-特别是，我们调查模型理论的性质，模型完成的空理论的语言与函数符号。在这个过程中，我们得到了可在存在论中解释的$\exists\forall$理论的某些特征。
2019-07-23 cs.LO math.LO
Existentially closed measure-preserving actions of free groups
本文用连续模型理论研究自由群的概率保测作用，证明其存在闭作用构成初等类、对应理论有稳定且量词可消去的模型伴侣，还证明配有限完备化上的Haar测度作用是存在闭的，并给出更一般的充分条件。
2023-11-07 math.DS math.LO
Existentially generated subfields of large fields
我们研究由无限个存在可定义子集生成的大域的子域。我们说这样的子域是存在生成的。设$L$是一个特征指数为$p$的大域，$E\subseteq L$是一个存在生成的无限子域.我们发现，$E$包含$L^{(p^{n})}$，在$L$的$p^{n}$次幂，对于某些$n<ω$。这推广了Fehm的一个结果，该结果在假设$L$是完美的情况下显示了$E=L$。我们的方法是首先研究hensel域的存在生成子域。由于$L$在Hensel域$L((t))$中是存在闭的，我们的结果如下。
2017-10-09 math.AC math.LO
Model theoretic dynamics in Galois fashion
我们研究存在闭模型（一个相当任意的理论）配备了一个行动的固定群G。我们将这些结构嵌入到一个具有完善理论的怪物模型D中，并将它们描述为D的PAC子结构。假设这些存在封闭模型的类是基本的，我们表明，在有界模型的假设下，它的理论是简单的，消除了量词的一些存在公式-类似于ACFA。此外，它的代码有限集，并允许几何消除的矩阵，但并不总是一个弱消除的矩阵。
2019-01-27 math.LO
Existentially defining valuations in function fields over large fields
KU Leuven（荷语鲁汶大学）
本文研究了函数域上大域中赋值环的存在定义问题，并通过环语言参数化技术证明了其存在理论的不可判定性。
2026-11-05 math.LO math.NT
Relative Property (T), simplices of invariant measures, and existentially closed models
Université Paris Cité（巴黎西岱大学）；CNRS IMJ-PRG（法国国家科学研究中心数学研究所巴黎分部）
该研究证明了与置换群相关的不变测度单形的Bauer-Poulsen二分定理，解决了Austin的相关问题，并从模型论角度开启了仿射逻辑中存在封闭模型的研究。
2026-08-11 math.FA math.GR math.LO
Differential exponential topological fields
我们公理化了一类具有$E$ -导子的存在闭指数域.我们应用我们的结果赋予的领域的实数$exp(x)$的经典指数函数定义的幂级数展开和领域的p-进数赋予的功能$exp(px)$上定义的$p$ -进整数$p$是一个素数严格大于$2$（或与$exp(4x)$时$p=2$）。
2023-01-15 math.LO
Existentially closed measure-preserving actions of approximately treeable groups
本文证明当可数群为近似树形群时其保测作用类的模型伴随存在，推广了非阿贝尔自由群情形，并给出遍历论公理及相关性质结果。
2025-07-03 math.DS math.LO
An AEC framework for fields with commuting automorphisms
在本文中，我们介绍了一个AEC框架研究域交换自同构。具有交换自同构的域与差域密切相关。有些作者将差环（域）定义为具有多个交换自同态的环（域），而另一些作者只研究一个自同态。Z. Chatzidakis和E. Hrushovski深入研究了ACFA的模型论，ACFA是具有一个自同构的差分场的模型伴侣。我们的领域与交换自同构推广这个设置。我们有几个自同构，它们需要交换。Hrushovski证明了在域有两个或多个交换自同构的情况下，存在闭模型不一定形成一阶模型类。本文引入FCA-类，一个研究具有交换自同构的场场论的存在闭模型的AEC框架，证明了FCA-类具有AP和JEP，从而是一个怪物模型，证明了在存在闭模型中Galois类型与存在类型一致，证明了FCA-类是齐次的，并且有一个版本的类型合并定理允许在某些条件下组合三种类型。最后，我们利用这些结果证明了我们的怪物模型在S意义下是一个简单的齐次结构。Buechler和O. Lessman（这是一个简单的一阶理论的分类理论概念的非初等类比）。
2022-08-12 math.LO
Existential closedeness and the structure of bimodules of II$_1$ factors
研究存在封闭的II$_1$型因子的双模性质，证明其所有双模弱含于平凡双模，给出非超有限实例与双模、相对顺从性新刻画，还构造了非Gamma且在弱粗扩张中存在封闭的II$_1$型因子。
2023-08-23 math.FA math.LO math.OA
Independence in generic incidence structures
本文研究了存在闭关联结构的$T_{m,n}$理论，它省略了完全关联结构$K_{m,n}$，也可以看作是不含存在闭$K_{m,n}$的二部图.在$m = n = 2$的情况下，这是存在闭射影平面的理论。我们给出了$T_{m,n}$的一个$\forall\exists$ -公理化，证明了当$m,n\geq 2$时$T_{m,n}$不存在可数饱和模型，并证明了$T_{2,2}$的素模型的存在性等价于一个关于有限射影平面的长期未决问题.最后，我们分析了模型理论的概念复杂性$T_{m,n}$。我们证明了$T_{m,n}$是NSOP $_1$，但当$m,n\geq 2$是NSOP $_1$时就不简单了，并且证明了$T_{m,n}$具有弱消元性，但不是完全消元性.这些结果依赖于各种独立性概念的组合特征，包括代数独立性，Kim独立性和分叉独立性。
2019-01-22 math.CO math.LO
Forking and Dividing in Fields with Several Orderings and Valuations
我们考虑存在闭域的几个顺序，估值，和$p$ -估值。我们证明了这些结构是有限负荷的NTP $_2$，但通常具有独立性。此外，分叉与划分一致，并且分叉可以根据ACVF、RCF和$p$ CF中的分叉来表征。
2020-01-08 math.LO
Definable groups in topological differential fields
对于某些存在闭拓扑微分场的理论，我们证明了$\mathcal L\cup\{D\}$ -可定义集和它们的$\mathcal L$ -约简之间存在着很强的关系，其中$\mathcal L$是场语言的关系扩展，$D$是导子的符号。这使我们能够与一个$\mathcal L\cup\{D\}$ -可定义的群体在这样的理论模型，一个本地的$\mathcal L$ -可定义的群体。作为一个副产品，我们表明，在封闭的有序微分场，一个降链条件的中心。
2017-07-25 math.LO
Fields with several commuting derivations
对于任何自然数$m$，具有$m$交换导子的场论的存在闭模型可以用几种方法给出一阶几何特征。特别是，这些微分场的理论有一个模型伴侣。公理是由某些普通簇决定的某些微分簇是非空的。对基础字段的特性没有限制。
2013-01-03 math.LO
Globally valued function fields: existential closure
这些笔记构成了一个联合研究项目的一部分，该项目涉及具有许多估值的领域的逻辑，并通过产品公式连接。我们定义这样的结构并将它们命名为{ \em全局值字段}（GVF）。本文的主要目的是证明{ \em，$k(t)^{alg}$上的规范GVF结构是存在闭的}。这可以被理解为说，一个变种{ \em与一个杰出的曲线类}是一个很好的近似公式的语言GVF，以同样的方式，一个变种是接近一个公式的理论ACF的代数闭域。
2022-12-14 math.LO
On Kirchberg's Embedding Problem
Kirchberg的嵌入问题（KEP）是关于每个可分的C-$^*$代数是否嵌入到Cuntz代数$\mathcal{O}_2$的超幂中.在本文中，我们使用模型论表明，这一猜想是等价于一个局部近似的核性条件，我们称之为存在的好核证人。为了证明这一结果，我们研究了存在闭C $^*$代数的一般性质。在此过程中，我们建立了存在闭C $^*$代数，Lance的弱期望性质和Kirchberg的局部提升性质之间的联系。本文最后讨论了$\mathcal{O}_2$的模型论。在这最后一节中的几个结果被证明使用一些技术成果有关管嵌入，一个概念首先介绍了荣格研究嵌入tracial冯诺依曼代数到超幂的超有限II $_1$因素。
2015-02-27 math.LO math.OA
On groups definable in geometric fields with generic derivations
University of Notre-Dame（圣母大学）；Université de Mons（蒙斯大学）；CNRS, École normale supérieure（法国国家科学研究中心，巴黎高等师范学院）
研究在存在闭几何域中可定义的群，证明此类群可嵌入到可解释在底层几何域的群中，扩展了此前与K.Peterzil的合作工作，处理无限维群。
2026-04-10 math.LO
Groups definable in partial differential fields with an automorphism
本文研究带交换自同构的存在闭包偏微分域中的可定义群，证明单代数群的Zariski稠密可定义子群具有Cassidy结果的类比，并存在最小有限指数可定义子群。
2023-05-08 math.LO
Differential Galois cohomology and parameterized Picard-Vessiot extensions
假设微分域$(K,δ)$在León Sánchez和Tressl的意义下是微分大的，并且作为域是“有界的”，我们证明了对于$K$上的任何线性微分代数群$G$，微分Galois（或约束）上同调集$H^1_δ(K,G)$是有限的。这适用于，除其他事项外，以封闭有序微分场$K$，在辛格的意义上，并封闭$p$ -adic微分场的意义上的Tressl。作为应用，我们证明了在某些域族内参数化Picard-Vessiot扩张的一般存在性结果;如果$(K,δ_x,δ_t)$是具有两个交换导子的域，$δ_x Z = AZ$是$K$上的参数化线性微分方程，$(K^{δ_x},δ_t)$是“微分大”的，$K^{δ_x}$是有界的，并且$(K^{δ_x}, δ_t)$在$(K,δ_t)$中存在闭，则对于该方程存在$K$的PPV扩展$(L,δ_x,δ_t)$，使得$(K^{δ_x},δ_t)$在$(L,δ_t)$中存在闭的。例如，如果形式实微分场$(K,δ_x,δ_t)$的$δ_x$ -常数是一个闭序$δ_t$ -场，则对于$K$上的任何齐次线性$δ_x$ -方程，存在形式实的PPV扩张。类似的观察适用于$p$-adic字段。
2020-09-13 math.AG math.LO
Éz fields
设$K$为字段。在我们以前的工作中引入了一个$V$簇$K$的$K$ -点$V(K)$上的凸开拓扑.如果$K$是大的，那么这个开拓扑是非离散的。如果$K$是可分的、实的、$p$ -根闭的，则étale开拓扑分别与Zerkiki、序、赋值拓扑一致。我们表明，存在可定义的完美的大领域的行为良好，就这个拓扑结构：这样的集合是有限工会的étale开子集的Zagliki闭集。这意味着，存在可定义的集合在任意完美的大域享有一些著名的拓扑性质的可定义的集合在代数，实，和$p$ -adically封闭的领域。本文引入并研究了éz域类：$K$是éz域，如果$K$是大的，且每个可定义集是Zebriki闭集的étale开子集的有限并.这应该被看作是一个广义的概念，模型完全性的大型领域。代数闭域、实封闭的、$p$ -adically闭域和有界$\mathrm{PAC}$域都是éz域。(In特殊的伪有限域和有限域的无限代数扩张是ε z。）我们发展的基础理论的可定义集在éz领域。这给出了一个统一的方法，在所有的特征零局部域上的可定义集的理论和一个新的拓扑理论的可定义集的有界$\mathrm{PAC}$领域。我们还表明，一些突出的例子，可能非模型完整的模型理论驯服领域（特征零亨泽尔领域和Frobenius领域）是éz。
2022-10-14 math.AG math.LO
Natural dualities for varieties generated by finite positive MV-chains
该研究针对有限MV-链不含否定与蕴涵的约简生成的簇，构建简洁自然对偶性，借助其刻画簇的代数闭、存在闭及内射成员，并探究该对偶性与Priestley对偶性的关联。
2023-10-05 math.LO math.RA
Model-theoretic aspects of the Gurarij operator system
我们建立了第二作者最近构造的Gurarij算子系统$\mathbb{GS}$的一些基本模型理论事实。特别是，我们显示：（1）$\mathbb{GS}$是唯一可分的1-正合存在闭算子系统;（2）$\mathbb{GS}$是它的理论的唯一可分核模型;（3）$\mathbb{GS}$到它的超幂中的每一个嵌入都是初等的;（4）$\mathbb{GS}$是它的理论的素模型;（5）$\mathbb{GS}$没有量词消去，因此算子系统的理论没有模型伙伴。我们还证明了，对于任何$q\in \mathbb{N}$，$M_q$ -空间和$M_q$ -系统的理论都有一个模型伴侣，即有限维$M_q$ -空间和$M_q$ -系统类的Fraïssé极限;而且我们证明了模型伴侣是可分范畴的.最后证明了没有一个C $^*$代数可以作为算子系统存在闭.
2015-04-28 math.FA math.LO math.OA
A pseudoexponentiation-like structure on the algebraic numbers
伪指数域是类似于复指数的指数域，满足Schanuel性质，这是Schanuel猜想的抽象陈述，也是存在闭包的一种适应形式。在这里，我们表明，如果我们删除Schanuel性质，只关心存在闭包，有可能创建几个存在封闭的指数函数的代数数，仍然有相似之处，复指数。主要的困难是有关的算术的代数数，他们可以克服与已知的结果专业化的乘法独立功能的代数簇。
2014-02-07 math.LO math.NT
Independence property and hyperbolic groups
证明了存在闭$CSA$ -群具有独立性.这是通过表明，存在的话具有独立性的财产相对于类的挠自由双曲群。
2007-11-23 math.GR math.LO
On ordinary differentially large fields
本文给出了任意特征下单一导子微分大域的Blum公理式刻画，证明特征零下的大域可扩张为微分大域，并应用于证明大域模型的真稠密对理论完备性及闭有序微分域的素模型扩张不存在性。
2024-07-30 math.AG math.LO
Real Closed Exponential Subfields of Pseudoexponential Fields
本文证明了伪指数域具有连续的非同构可数实封闭的指数子域，每个子域具有一个保序指数映射，该映射满射到非负元上.事实上，这是真实的任何代数封闭指数领域满足Schanuel的猜想。
2011-12-20 math.LO
Real closed exponential fields
在一个扩展的抽象Ressayre认为实封闭的指数领域和整数部分，尊重指数函数。他概述了一个证明，每一个实封闭的指数领域有一个指数整数部分。在本文中，我们给出了一个详细的Ressayre的建设，成为规范，一旦我们固定的实封闭的指数字段，一个剩余域部分，以及该领域的顺序。该过程可以在这些对象上构造;每个步骤看起来都很有效，但可能需要许多步骤。我们产生一个例子的指数字段$R$与剩余域$k$和一个良好的排序$<$，$D^c(R)$是低和$k$和$<$是$Δ^0_3$，和Ressayre的建设不能完成在$L_{ω_1^{CK}}$。
2011-12-17 math.LO
Exponentially Closed Fields and the Conjecture on Intersections with Tori
我们给出了指数闭域类ECF的公理化，它包含了第二作者以前引入的伪指数域，并证明了它在算术解释上是超稳定的.此外，ECF是伪指数域的初等类当且仅当关于环面与子簇的非典型交的丢番图猜想CIT成立。
2014-04-24 math.LO
Positive model theory and infinitary logic
研究了h-归纳理论的正型空间上的对偶谱拓扑的基本性质及其与无穷逻辑的本质联系。拓扑是Hausdorff，具有Baire性质，其紧性表征正模型完全性;它也具有闭集的基，并由几何逻辑的公式描述。在无限逻辑的所有运算下，“几何类型”在类型空间中是封闭的，我们引入了存在泛结构的一个正模拟，通过它我们解释了正类型空间中的完全一阶逻辑.这表明如何“积极的$ω$ -饱和”是一个基本的正和无穷逻辑之间的联系，我们建议一个几何模拟的积极Morleyisation。
2015-01-05 math.LO
On the Value Group of a Model of Peano Arithmetic
本文研究了$IPA$ -实封闭的域，即实封闭的域，它的非负锥是Peano算术的模型.我们证明了$IPA$ -实封闭的域的值群在剩余域中是指数群，且逆命题一般不成立。作为应用，我们分类（直到同构）可数递归饱和指数实封闭的域的值群。利用这一特征，我们构造了可数指数实闭域，它们不是$IPA$ -实封闭的域.
2016-07-27 math.LO
Henson and Rubel's Theorem for Zilber's Pseudoexponentiation
本文给出了Zilber伪指数化的Schanuel零点定理的另一种证明。此外，在一个代数闭的指数域中，其指数映射是具有标准核的满射，这个性质是由该域是指数代数闭的而得出的。
2009-05-24 math.LO
The regular inverse Galois problem over fields avoiding a curve
本文证明在避开特定曲线的$k_0$-域类的存在闭包域上正则逆伽罗瓦问题可解，通过构造$\boldsymbol{\text{Q}}$上的参数簇实现有限群的正则化，还在排除阿贝尔簇局部闭子簇的簇排除域上建立了该问题的可解性。
2026-10-15 math.AG math.LO
Pseudo-exponential maps, variants, and quasiminimality
本文给出了具有伪解析映射的拟极小域的构造，推广了Zilber的伪指数函数.特别是我们构造伪指数映射的简单阿贝尔簇，包括伪$\wp$ -功能的椭圆曲线。证明了具有相应解析函数的复域同构于伪解析形式的复域当且仅当Schanuel猜想的适当形式成立，且相应形式的强指数代数闭性成立.此外，我们相对化的建设，建立一个相当任意的可数子域的模型，并推导出复指数场是拟最小的，如果它是指数代数封闭的。这个性质只要求指数化图与某些代数簇有非平凡交，而不要求这些点的泛型。此外，Schanuel猜想不需要作为准极小性的条件。
2017-03-14 math.LO
E-ideals in exponential polynomial ring
本文研究指数域上指数多项式环中的指数理想，提出两种极大性概念并证明其与素性相互独立，同时否定代数闭域上点与极大指数理想的对应关系，并刻画指数根理想。
2025-01-08 math.LO
Blurred Complex Exponentiation
它表明，复杂的领域配备了“近似指数映射”，定义为从一个小组的模糊性，是quasiminimal：每个自同构不变的字段的子集是可数或共可数。如果模糊性被认为是从一个类似于常数场的子域，则所得到的“模糊指数场”同构于齐伯指数场的等效模糊的结果，以及差分闭合场的适当约简。这些结果是对Zilber关于复指数场本身是拟极小的猜想的进一步发展。证明中的一个关键因素是证明模拟的指数代数封闭性属性使用的密度组管理的模糊性相对于复杂的拓扑结构。
2019-10-28 math.LO
Models of true arithmetic are integer parts of nice real closed fields
本文研究了实闭域上的指数运算与强算术片段存在整数部分之间的联系，证明每个真算术模型都是一个指数实闭域的整数部分，并且该域与实数域在指数运算下是初等等价的。
2013-08-26 math.LO
Bilinear spaces over a fixed field are simple unstable
University of East Anglia（东英吉利大学）
研究双线性形式向量空间的模型论，针对无限域需不同逻辑框架，通过范畴论和正逻辑方法，证明理论简单不稳定，并展示双线性空间在可数域上ω-范畴性。
2023-03-16 math.LO
Schanuel's Conjecture and Algebraic Roots of Exponential Polynomials
本文证明了在Schanuel猜想假设下，代数数上的一元指数一元多项式只有1/2个代数解.这意味着一个肯定的答案Shapiro猜想的指数多项式的代数数的伪指数领域以及任何代数封闭的指数领域满足Schanuel的猜想。
2009-10-15 math.LO math.NT math.RA
