首页/论文/1411.7645

arXiv 1411.76452014-11-27math.LO

有界伪实封闭的域中的虚数

Imaginaries in bounded pseudo real closed fields

Samaria Montenegro

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

本文的主要结果是：若M是有界PRC域，则Th（M）消除了由常数符号展开的环语言中的范畴.

英文摘要：

The main result of this paper is that if M is a bounded PRC field then Th(M) eliminates imaginaries in the language of rings expanded by constant symbols.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

虚数、不变类型和伪p-基闭域

Imaginaries, invariant types and pseudo p-adically closed fields

在本文中，我们给出了一个非常普遍的标准消除的二义性使用一个抽象的独立关系。我们还研究了在某些行为良好的不变类型的可定义函数的芽。最后，我们将这些工具应用到有界伪p-基闭域上的消元问题。

2019-10-25math.LO

完美有界伪代数闭领域中带有有限个独立赋值的虚数

Imaginaries in perfect bounded pseudo algebraically closed fields with finitely many independent valuations

本文证明了在带有有限个独立赋值的完美有界伪代数闭领域中弱消去虚数的性质，结合类型扩展结果与 amalgamation 定理，特别情况下单个赋值时实现完全消去虚数。

2026-04-02math.LO

秩有界的序阿贝尔群的消元

Elimination of imaginaries in Ordered Abelian groups with bounded regular rank

本文研究了几类纯序阿贝尔群的消元问题。对于有界正则秩的有序阿贝尔群类（等价于有限样条），我们得到弱消去的条件，只要我们对每个可定义凸子群$Δ$给商群$Γ/ Δ$加上排序，并对商群$Γ/ Δ+ lΓ$进行排序，其中$Δ$是可定义凸子群，$l \in \mathbb{N}_{\geq 2}$ .我们将这些排序称为\emph{quotient sorts}。对于dp-极小情形，如果我们还为每个$ \ell \in \mathbb{N}$添加常数以区分有限群$Γ/\ell Γ$的元素，则我们得到了完全消除的矩阵。

2022-05-09math.LO

零特征henselian域中的虚象

Imaginaries in equicharacteristic zero henselian fields

本文研究了零特征henselian域中虚象的分类，通过混合排序方法证明了在域、k线性虚象和值域虚象层面的消去性。

2026-03-19math.LO

关于自由群中的满度与伪Anosov同胚

On ampleness and pseudo-Anosov homeomorphisms in the free group

本文利用曲面的伪Anosov同胚证明了非交换自由群的一阶理论$T_{fg}$对任何$n\inω$都是$n$ -充要的.这一结果补充了Pillay的工作，Pillay证明了$T_{fg}$是非CM平凡的.证明充裕度的序列是$F_ω$中的本原元序列。我们的结果为Ould Houcine-Tent预印本的主要结果提供了另一种证明。我们还增加了一个附录中，我们提出了一些意见塞拉的文件上的dualaries在无挠的双曲群。特别是，我们给其他透明的证明有关的非消除某些pronunciaries。

2014-09-30math.LO

伪代数闭域中类型的归并及其应用

Amalgamation of types in pseudo-algebraically closed fields and applications

本文研究了无界PAC域，给出了代数闭集上类型的一个合并结果。它讨论了各种应用，例如无Ω PAC字段具有NSOP 3属性。它还包含对PAC字段中的数据库的描述。

2018-12-26math.LO

更多相关论文收起更多论文

伽罗瓦模式的模型论动力学

Model theoretic dynamics in Galois fashion

我们研究存在闭模型（一个相当任意的理论）配备了一个行动的固定群G。我们将这些结构嵌入到一个具有完善理论的怪物模型D中，并将它们描述为D的PAC子结构。假设这些存在封闭模型的类是基本的，我们表明，在有界模型的假设下，它的理论是简单的，消除了量词的一些存在公式-类似于ACFA。此外，它的代码有限集，并允许几何消除的矩阵，但并不总是一个弱消除的矩阵。

2019-01-27math.LO

实封闭的值域中的可解释域及其一些推广

Interpretable fields in real closed valued fields and some expansions

设$\mathcal M=\langle K;O\rangle$是一个实封闭的值域，$k$是它的剩余域.我们证明了$\mathcal M$中的每个可解释域都定义同构于$K$、$K(\sqrt{-1})$、$k$或$k(\sqrt{-1})$。当$K$是$T$的一个模型，$T$是一个实封闭的域的o-极小幂有界扩张，$O$是一个$T$ -凸子环时，同样的结果也成立.证明是直接的，并没有利用已知的结果消除值域中的矩阵。

2021-05-07math.LO

论在$\mathrm{NTP_2}$域中可解释的群与域

On groups and fields interpretable in $\mathrm{NTP_2}$ fields

本文在NIP和NTP_2背景下发展模型论工具，证明从泛型数据构造可定义群同态的抽象定理，并由此得到代数有界完美NTP_2域及NIP微分域中可定义顺从群的结构定理与可解释域的分类结果。

2025-01-06math.LO

具有有限群作用的微分场的模型论

Model theory of differential fields with finite group actions

设G是有限群.利用微分场自同构研究了具有G作用的m个可换导子中特征为零的微分场类的模型论性质。在G-微分环的语言（即为导子和自同构添加符号的环的语言）中，我们证明了这个类有一个模型伴随表示的G-DCF.然后，我们部署在第一作者的论文[11]中开发的模型理论工具，以表明G-DCF的任何模型都是超简单的（但当G非平凡时不稳定），PAC微分场（因此在第二作者和Tressl [30]的意义上是微分大的），并且在添加一个参数元组后允许消除冗余。我们还讨论了有界PAC-微分场理论的模型完备性和超简单性（推广了Chatzidakis-Pillay [5]关于有界PAC-场的结果）。

2021-01-18math.LO

伪环的对合滤子

Involutive filters of pseudo-hoops

本文介绍了伪环的对合滤子的概念，并强调了它们在伪环结构的概率论中的作用。给出了对合伪环的一个刻划，并研究了它们的性质。我们给出了一个有界的伪箍的对合过滤器的特征，我们证明了在有界的Wajsberg伪箍的情况下，幻想和对合过滤器的概念相吻合。主要结果之一是证明了有界伪环$A$的正规滤子$F$是对合的当且仅当$A/F$是对合伪环。证明了有界Wajsberg伪环的任何布尔滤子都是对合的。引入了伪环上的状态算子和状态态射算子的概念，研究了它们之间的关系。对于有界Wajsberg伪环，我们证明了任何状态算子的核都是对合滤子。

2017-11-22math.LO

伪实封闭的域、伪p-基闭域与NTP2

Pseudo real closed field, pseudo p-adically closed fields and NTP2

本文的主要结果是对A.切尔尼科夫岛Kaplan和P. Simon：如果M是PRC域，则Th（M）是NTP_2当且仅当M是有界的。在PpC域的情形下，证明了：若M是有界PpC域，则Th（M）是NTP_2.我们还推广了这一结果，得到了：若M是有界PRC域或PpC域，分别具有正n阶或p-adic赋值，则Th（M）是强负n的.这也允许我们显式地计算类型的负担，并描述分叉。

2016-09-27math.LO

伪有限域理论中的几何表示

Geometric representation in the theory of pseudo-finite fields

本文研究伪有限域F的子结构A的代数闭包的自同构群，更一般地说，研究有界PAC域F的子结构A的自同构群。本文回答了文[1]中的一些问题，特别是证明了在伪有限域上用几何表示的任何有限群必是阿贝尔群。

2016-02-25math.LO