首页/论文/1601.04433

arXiv 1601.044332016-01-18math.LO

$\mathbb{R} \subseteq L$的几种代数等价形式

Some algebraic equivalent forms of $\mathbb{R} \subseteq L$

Silvia Steila

备注：: 16 pages

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

我们研究了连续统假设的某些代数等价形式的$Σ^1_2$可定义对应。所有这些都等同于“所有真实都是可构造的”。

英文摘要：

We study $Σ^1_2$ definable counterparts for some algebraic equivalent forms of the Continuum Hypothesis. All turn out to be equivalent to "all reals are constructible".

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

Baire空间中一个不与Cantor空间的任何闭集Medvedev等价的闭子集

A closed subset of Baire space not Medvedev equivalent to any closed set of Cantor space

针对Shafer提出的是否所有Baire空间闭问题都与Cantor空间闭问题Medvedev等价的问题，研究证明该结论不成立，给出了反例。

2024-07-13math.LO

复环面和实环面上的代数和O-极小流

Algebraic and o-minimal flows on complex and real tori

本文研究紧致复环面的覆叠映射$π:\mathbb{C}^n\to \mathbb{T}$。给定一个代数簇$X\subseteq \mathbb{C}^n$，我们刻画了$π(X)$在$\mathbb T$中的拓扑闭包.当$\mathbb{T}$是一个实环面，而$X\subseteq \mathbb{R}^n$是一个在实数上的o-极小结构中可定义的集合时，我们得到了类似的描述.

2017-04-14math.AGmath.LOmath.NT

实封闭的值域中半代数集的一个广义代数

A ganzstellensatz for semi-algebraic sets in real closed valued fields

设$(K,ν)$是一个实封闭的值域，$S\subseteq K^n$是一个可定义的开半代数集.我们得到了$S$上OVF-积分有理函数的一个代数特征。我们应用现有的模型理论的框架来证明ganzstellensätze，并需要控制半部分和它们的关系的顺序。（与Noa Lavi合作）

2011-05-17math.LO

简单阿贝尔簇幂中曲线上的点及其倍数

Points and their multiples on curves in powers of simple abelian varieties

本文证明在简单阿贝尔簇幂中，当两条不可约代数曲线不满足特定子群包含条件时，满足倍数映射落入另一曲线的点集（除去使整条曲线包含的倍数）是有限的。

2026-10-09math.AGmath.LOmath.NT

一元BL-代数：Hájek一元模糊逻辑的等价代数语义

Monadic BL-algebras: the equivalent algebraic semantics of Hájek's monadic fuzzy logic

本文引入了一元BL-代数簇作为赋有两个一元算子$\forall$和$\exists$的BL-代数.经过研究的基本性质，这个品种，我们表明，这类是等价的代数语义的一元片段的哈耶克的基本谓词逻辑。此外，我们开始了一元BL-代数的主要子簇的系统研究，其中一些构成了著名的一元逻辑的代数语义：一元哥德尔逻辑和一元Kukasiewicz逻辑。在最后一节中，我们给出了全序一元BL-代数的一个完整刻画。

2016-09-16math.LO

代数扩张中不可定义性的拓扑方法——以$\mathbb{Q}$的代数扩张为例

A topological approach to undefinability in algebraic extensions of $\mathbb{Q}$

本文通过拓扑方法研究代数扩张中可定义集合的限制，证明对非薄子集Z，满足特定普遍可定义条件的子域集合是贫乏的，并给出新的存在性定义正规形定理。

2023-10-27math.LOmath.NT

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

代数逻辑中的原子规范性与L_{ω, ω}模态片断中的省略类型

Atom-canonicity in algebraic logic in connection to omitting types in modal fragments of L_{ω, ω}

固定2<n<ω。设L_n表示限制于前n个变量的一阶逻辑。CA_n表示n维柱形代数类，当m>n时，Nr_PDMATHABMM（\subseteq CA_n）表示CA_m的n-纯约化类.本文证明了某些有限关系代数和有限CA_n的缺乏相对化完全表示的存在性意味着省略类型定理（OTT）对于L_n关于团保护语义（它是L_n的打包片段的等价形式）和多维模态逻辑S5^n是不成立的。利用彩虹结构和Monk-like代数，给出了几个这样的关系和柱形代数.为了证明簇S \Nr_n \CA_{n+3}的非原子正则性而构造的某些CA_n被用来证明当限制到L_n时，被看作是L_{ω, ω}的OTT的特殊情况的L_{ω, ω}的Vaught定理（VT）几乎处处失败（下面将定义一个概念）。VT对L_n处处失效（它比几乎处处失效更强）归结为：对每个n<m<ω，存在一个具有所谓m-1强模糊的有限关系代数R_m，但R_m没有m维关系基。讨论了L_n的其它模态片段和展开式（如L_n的保护片段、单峰逻辑的n-积（如K^n）和一阶可定义展开式）的VT。证明了任何多模态正则逻辑L，使得$K^n\subseteq L\subseteq S5^n$，L不能用正则方程公理化。特别地，L不是Sahlqvist。证明了L_n及其团保护片段的初等生成和双完备性。证明了L_n关于标准语义的正省略型定理。

2016-08-10math.LO

O-极小结构按稠密集展开式中代数点的计数

Counting algebraic points in expansions of o-minimal structures by a dense set

Pila-Wilkie定理指出，如果一个集合$X\subseteq \mathbb R^n$在一个O-极小结构$\mathcal R$中是可定义的，并且包含“许多”有理点，那么它包含一个无限半代数集合。在本文中，我们将这个定理推广到$\mathcal R$的一个扩展$\widetilde{\mathcal R}=\langle \mathcal R, P\rangle$的稠密集$P$，它要么是$\mathcal R$的一个基本子结构，要么是独立的，如下。如果$X$在$\widetilde{\mathcal R}$中可定义，并且包含许多有理点，则它在无限半代数集中是稠密的。此外，它包含一个无限集，这是$\emptyset$ -定义在$\langle \overline{\mathbb R}, P\rangle$，其中$\overline {\mathbb R}$是真正的领域。

2018-04-29math.LO

巴拿赫空间上等价于代数性的域的一个特征性质

A characterization property on field equivalent to algebraicity on Banach spaces

Tyszka在他的文章“A discrete form of the theorem that each field endomorphism of $\mathbb{R}$（$\mathbb{Q}_p$）is the identity”中引入了一个等价于$\mathbb{R}$和$\mathbb{Q}_p$中代数性的逻辑性质。令人惊讶的是，在$\mathbb{C}$中，该性质不再等同于代数性。本文给出了一个等价于代数性的相似性质，并证明了一个较弱的等价性，它适用于特征为零的域（也是巴拿赫空间）。

2007-06-28math.LOmath.NT

关于Drinfeld模的adelic闭包的代数方程

Algebraic equations on the adelic closure of a Drinfeld module

设$k$是一个正特征域，$K = k(V)$是$k$上的一个簇$V$的函数域，${\mathbf A}_K$是$K$关于$K$上对应于$V$上的因子的位置的余有限集合的一个Adéles环.给定$K$上的一个Drinfeld模$Φ:{\mathbb F}[t] \to \operatorname{End}_K({\mathbb G}_a)$和一个正整数$g$，我们把$K^g$和${\mathbf A}_K^g$都看作是在$Φ$诱导的对角作用下的$Φ({\mathbb F}_p[t])$ -模.对于$Γ\subseteq K^g$一个生成的$Φ(\F_p[t])$ -子模和一个定义在$K$上的仿射子簇$X \subseteq \bG_a^g$，我们研究了$X$的Adélic点$X({\mathbf A}_K)$与$barΓ$的交集，$Γ$关于Adélic拓扑的闭包，在各种假设下，这个交集不超过$X(K) \cap Γ$。

2010-12-08math.AGmath.LOmath.NT

代数闭值域的驯服展开式中的可定义函数

Definable functions in tame expansions of algebraically closed valued fields

本文研究了代数闭值域的可定义函数的Tame展开。对于一个给定的可定义函数，我们有两种类型的结果：类型（I），它在无穷大的邻域内成立，和类型（II），它在函数的定义域中的所有点，但不超过100个点的局部成立。在文章的第一部分中，我们展示了关于值群上可定义函数的因子分解的（I）和（II）型结果。作为应用，我们证明了具有值群$\mathbb{Q}$的代数闭值域的Tame展开式（如$\mathbb{C}_p$和$\overline{\mathbb{F}_p}^{alg}(\!(t^\mathbb{Q})\!)$）是多项式有界的.在第二部分中，在对值群的一元可定义函数的渐进行为的额外假设下，我们将这些因式分解扩展到剩余乘法结构$\mathrm{RV}$上。在特征为0时，我们得到一个推论：可定义函数$f\colon X\subseteq K\to K$的定义域可划分为若干集合$F\cup E\cup J$，其中$F$是有限的，$f|E$是局部常数，$f|J$局部满足雅可比性质.

2018-02-09math.LO

群elementarily equivalent到有限秩自由幂零群

Groups elementarily equivalent to a free nilpotent group of finite rank

本文给出了初等等价于有限秩自由幂零群的群的完全代数描述。

2010-06-02math.GRmath.LO

关于各种出现在点free拓扑和代数逻辑中的范畴缺乏余限

On the lack of colimits in various categories arising in pointfree topology and algebraic logic

University of Birmingham（伯明翰大学）；New Mexico State University（新墨西哥州立大学）；University of Milan（米兰大学）

研究证明McKinsey-Tarski代数范畴不等价于代数品种，反驳了Peter Jipsen的问题。各类BAO、Heyting代数及框架的范畴不完整，因此不等价于预品种。

2026-03-14math.CTmath.LO

覆盖映射的代数微分方程

Algebraic differential equations from covering maps

设$Y$是一个复代数簇，$G \curvearrowright Y$是一个代数群在$Y$上的作用，$U \subseteq Y({\mathbb C})$是一个复子流形，$Γ< G({\mathbb C})$是$G({\mathbb C})$的一个保持$U$的离散的、Zerkki稠密子群，而$π:U \to X({\mathbb C})$是复代数簇$X$的一个解析覆盖映射，表示$X({\mathbb C})$为$Γ\backslash U$。我们注意到，在差分闭域中消除伪量的理论产生了一个广义Schwarzian导数$\widetildeχ:Y \to Z$（其中$Z$是某种代数簇），它表示$Y$通过$G$的常点的作用而得到的商。在额外的假设下，$π$的限制，一些包含一个基本域的集合是定义在一个O-最小的扩展的实域，我们表明作为一个后果的Peterzil-Starchenko O-最小GAGA定理的\emph{prima facie}差分解析关系$χ:= \widetildeχ \circ π^{-1}$是一个定义良好的，差分可构造的功能。函数$χ$几乎反转$π$，在这个意义上，对于任何亚纯函数的微分域$K$，如果$a, b \in X(K)$，则$χ(a) = χ(b)$当且仅当在适当的限制后，存在一些具有$π(γ\cdot π^{-1}(a)) = b$的$γ\in G({\m…

2014-08-22math.AGmath.CAmath.LO

一个算术代数规则引理

An arithmetic algebraic regularity lemma

University of Notre Dame（圣母大学）

本文提出一个算术规则引理，用于有限域中可定义群的规则性分析，证明了群的正规子群具有特定的随机性质。

2026-02-05math.COmath.GRmath.LO

涉及 Gamma 函数的若干方程

Some Equations Involving the Gamma Function

本文证明了无常数坐标且向首 $n$ 个坐标有支配投影的代数簇与 Gamma 函数图像的交集在 $V$ 中是 Zariski 稠密的。

2024-10-23math.CVmath.LOmath.NT