首页/论文/1104.1699

arXiv 1104.16992011-04-09math.LOmath.MG

不定义自然数的实数展开式

Expansions of the reals which do not define the natural numbers

Antongiulio Fornasiero

备注：: 16 pages, version 1.9

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

我们研究实数的一阶展开式，它不定义自然数的集合。我们还表明，几个更强的驯服的概念是等价的。

英文摘要：

We study first-order expansions of the reals which do not define the set of natural numbers. We also show that several stronger notions of tameness are equivalent to each others.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

度量维数与实域展开式的驯服性

Metric dimensions and tameness in expansions of the real field

对于实数域的一阶展开式，自然数集合的不可定义性等价于可定义连续映射下闭可定义集的象的拓扑维数和Assouad维数相等.

2017-03-29math.LOmath.MG

实域的开集展开：可定义性与可解释性

Expansions of the real field by open sets: definability versus interpretability

产生实数R的开集U，使得实数域的展开式（R，+，x，U）定义（R，+，x，N）的Borel同构，但不定义N。因此，（R，+，x，U）定义了射影层次的每一层中的集合，但并不定义所有的射影集合。这一结果阐述了各种方式，涉及几何测度论和工作的O-最小的扩展（R，+，x）。特别地，存在R的康托子集K，使得对于（R，+，x）的每个指数有界的o-极小展开M，R的每个可定义在（M，K）中的子集要么有内部要么是Hausdorff null。

2008-12-06math.LO

实直线展开式中射影层次的解释

Interpreting the projective hierarchy in expansions of the real line

给出了实数序集的展开式在半代数注入下定义实域由自然数集展开式的象的一个判据。特别地，我们证明了对于非二次无理数a，实数的有序Q（a）-向量空间由自然数的集合展开定义了实数上的乘法.

2012-09-13math.LO

实直线展开式中一元二阶理论的解释

Interpreting the monadic second order theory of one successor in expansions of the real line

本文给出了实直线一阶展开的充分条件，从而定义了单后继二阶理论的标准模型。这种扩展不满足Shelah定义的任何组合驯服属性，例如$\textrm{NIP}$或甚至$\textrm{NTP}_2$。我们利用这一点来推导出关于$(\mathbb{R},<,+)$的$\textrm{NTP}_2$展开式中的可定义集的第一个一般性结果。

2016-12-05math.LO

存在一个定义每个序列的、$\mathbb R$ 上 $\mathbb R$-向量空间的 d-极小扩张

There exists a d-minimal expansion of the $\mathbb R$-vector space over $\mathbb R$ which defines every sequence

本文证明实数有序向量空间或有序群可由可数集与有限 Cantor-Bendixson 秩紧集扩张为 d-极小结构，并由此得到能定义所有序列的 d-极小扩张。

2024-09-05math.LO

实数序可加群的两个离散子群展开

Expansions of the ordered additive group of real numbers by two discrete subgroups

如果$a$是二次的，则$(\mathbb{R},<,+,\mathbb{Z},\mathbb{Z} a)$的理论是可判定的。如果$a$是黄金比例，则$(\mathbb{R},<,+,\mathbb{Z},\mathbb{Z} a)$定义乘以$a$。利用基于$a$的连分数展开的Ostrowski计数系统定义一个后继的一元二阶逻辑中的上述结构，建立了这些结果.逆命题$(\mathbb{R},<,+,\mathbb{Z},\mathbb{Z} a)$定义了一个后继的一元二阶逻辑。

2015-05-26math.LO

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

在实序加法群的Tame展开式中定义新的线性函数

Defining new linear functions in tame expansions of the real ordered additive group

我们探讨任意有序群的\emph{semibounded}展开，即不定义整个宇宙的场的展开。我们介绍的概念，一个\emph{semibounded}扩展的任意有序组，从O-最小设置扩展通常的概念。对于半有界o-极小结构$\mathcal{R}=( \mathbb{R}, <, +, \ldots)$和满足一定驯服条件的集合$P\subseteq \mathbb{R}$，讨论了在什么条件下$(\mathcal R,P)$定义了\mathcal{R}中不可定义的全线性函数.定义新的全线性函数的这种结构的例子包括$\mathcal{R}$是$(\mathbb{R},<,+,\cdot_{\upharpoonright (0,1)^2},(x\mapsto λx)_{λ\in I\subseteq \mathbb{R}})$的约简，以及$P= 2^\mathbb{Z}$或$P$是迭代序列（对于任何$I$）或$P=\mathbb{Z}$，对于$I=\mathbb{Q}$的情况。

2021-10-24math.LO

实域的子域按离散集的展开

Expansions of subfields of the real field by a discrete set

设K是实域的一个子域，D是K的一个离散子集，f：D^n -> K是一个函数，使得f（D^n）在某处稠密。（K，f）定义整数的集合。我们提出了这个结果的几个应用。我们表明，K扩展的谓词为不同的循环乘法子群定义的集合的整数。此外，我们证明了实域的子域的每一个可定义的完全展开式都满足Baire范畴定理的一个类似定理。

2011-08-16math.LO

有限维希尔伯特空间算子展开的连续理论、量子电路的连续结构和可判定性

Continuous theory of operator expansions of finite dimensional Hilbert spaces, continuous structures of quantum circuits and decidability

考虑了$\mathbb{C}$上有限维希尔伯特空间通过加入一些酉算子而得到的连续结构.量子自动机和电路在这样的结构中自然是可解释的。我们认为适当的算法问题，这些结构的自然类的连续理论。我们将它们与度量组近似的主题联系起来。本文对A. Ivanov，“Continuous structures of quantum circuits”，arXiv：1406.4635。替换版本包含一个新章节（第4.4节）。

2019-01-15math.LO

实域展开式中整数集的闭离散集定义

Defining the set of integers in expansions of the real field by a closed discrete set

设D \subseteq \mathbb{R}是闭的离散的，f：D^n \to \mathbb{R}使得f（D^n）在某处稠密。我们证明了（\mathbb{R}，+，\cdot，f）定义了整数的集合.作为一个应用，我们得到了对每个a，b \in \mathbb{R} with \log_{a}（b）\notin \mathbb{Q}，由a和b生成的两个循环乘法子群展开的实域定义了整数集.

2009-10-22math.LO

实序加法群的扩张的四分法

A tetrachotomy for expansions of the real ordered additive group

设$\mathcal{R}$是有序实加法群的展开.当$\mathcal{R}$是o-极小时，已知要么$\mathcal{R}$在某个开子区间$I\subseteq \mathbb{R}$上定义一个与$(\mathbb{R},<,+,\cdot)$同构的序域，要么$\mathcal{R}$是有序向量空间的一个约简。如果$\mathcal{R}$满足前一个条件，我们说它是字段类型。本文对$(\mathbb{R},<,+)$的任意展开式证明了一个更一般的结果。特别是，我们表明，不定义密集的$ω$ -订单（我们称这些类型A的扩展）的扩展，一个适当的版本Zilber的原则。除其他事项外，我们得出结论，在A型扩展，不是字段类型，每一个连续可定义的功能$[0,1]^m \to \mathbb{R}^n$是局部仿射以外的疏集。

2021-03-08math.LO

序域的可定义完全展开式的一个基本二分法

A fundamental dichotomy for definably complete expansions of ordered fields

可定义完全域的扩张要么定义了一个离散子环，要么可定义离散集在可定义映射下的像无处稠密。作为一个应用程序，我们展示了一个可定义的版本勒贝格微分定理。

2015-05-26math.LO

d-极小结构中的连通分量

Connected components in d-minimal structures

Japan Coast Guard Academy（日本海上保安大学校）

研究d-极小结构中连通分量的扩张，证明其d-极小性，并扩展到近近极小扩张。

2026-05-12math.LO

关于第一阶Belnap-Dunn逻辑的普通扩展

On an ordinary expansion of first-order Belnap-Dunn logic

Informatics Institute, Faculty of Science, University of Amsterdam（阿姆斯特丹大学科学学院信息学研究所）

本文提出了一种第一阶Belnap-Dunn逻辑的扩展，通过经典逻辑等价律区分其与其他逻辑，并探讨其在处理归纳机器学习中的不一致和不完整性方面的潜力。

2026-03-03cs.LOmath.LO

相对于经典逻辑最自然的悖论定义逻辑

The most natural paradefinite logic relative to classical logic

University of Amsterdam（阿姆斯特丹大学）

本文提出，相对于经典逻辑，Belnap-Dunn逻辑通过添加否定和蕴含连接词来形成最自然的悖论定义逻辑。

2026-02-11cs.LOmath.LO

实域的G1离散子群展开式$_n(\mathbb{C})$

Expansions of the real field by discrete subgroups of Gl$_n(\mathbb{C})$

设$Γ$是G1 $_n(\mathbb{C})$的一个无限离散子群.然后，对于某些$λ\in \mathbb{R}$，$(\mathbb{R}, <, +, \cdot, Γ)$与$(\mathbb{R}, <, +, \cdot, λ^\mathbb{Z})$可相互定义，或者$(\mathbb{R}, < , +, \cdot, Γ)$定义整数集。当$Γ$不是实质上的阿贝尔时，第二种情况成立。

2018-09-07math.LO