首页/论文/0907.5273

arXiv 0907.52732009-07-30math.LO

巴拿赫格$L_p(μ)$中的模型论独立性

Model-theoretic independence in the Banach lattices $L_p(μ)$

Itaï Ben Yaacov, Alexander Berenstein, C. Ward Henson

发表信息：: Israël Journal of Mathematics 183 (2011) 285-320
DOI：: 10.1007/s11856-011-0050-4

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

我们研究了$L_p(X,U,μ)$形式的巴拿赫格的模型论稳定性和独立性，其中$1 \leq p < \infty$。我们的特点不划分使用的概念分析，并表明，典型的基地存在的元组的真正的元素。

英文摘要：

We study model-theoretic stability and independence in Banach lattices of the form $L_p(X,U,μ)$, where $1 \leq p < \infty$. We characterize non-dividing using concepts from analysis and show that canonical bases exist as tuples of real elements.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

GCH的独立性和与Banach-Mazur对策有关的一个组合原理

The independence of GCH and a combinatorial principle related to Banach-Mazur games

最近证明了关于Banach-Mazur博弈中部分信息策略的Telgársky猜想在$\mathsf{GCH}+\square$模型中是不成立的.该证明引入了一个从$\mathsf{GCH}+\square$中遵循的组合原理，即：$\triangledown$：每个具有$κ$ -cc的分离偏序集$\mathbb P$都包含一个稠密子集$\mathbb D$，使得对于每个$p \in \mathbb P$，都有$|\{ q \in \mathbb D \,:\, p \text{ extends } q \}| < κ$。我们证明了这个原则是独立的$\mathsf{GCH}$和$\mathsf{CH}$，在这个意义上，$\triangledown$不意味着$\mathsf{CH}$，和$\mathsf{GCH}$不意味着$\triangledown$假设一个巨大的基数的一致性。我们还考虑了更具体的问题，是否$\triangledown$持有与$\mathbb P$等于重量$\aleph_ω$措施代数。我们证明，再次假设一个巨大的基数的一致性，这个问题的答案是独立的$\mathsf{ZFC}+\mathsf{GCH}$。

2020-11-02math.LO

独立逻辑与抽象独立关系

Independence Logic and Abstract Independence Relations

University of Helsinki（赫尔辛基大学）

我们继续研究独立性逻辑和独立性的模型论分析之间的关系，将[15]和[16]的结果推广到任意AEC的抽象独立关系的框架。我们给出了一个模型理论的解释的独立原子和特征，在此条件下，我们可以证明一个完整的结果相对于演绎系统，公理化的团队语义和统计独立。

2016-09-08math.LO

$\aleph_0$ -范畴巴拿赫空间含有$\ell_p$或$c_0$

$\aleph_0$-categorical Banach spaces contain $\ell_p$ or $c_0$

本文共分三个部分。首先，我们建立了关于$M_{\mathcal{T}}$，Figiel和Johnson的Tsirelson空间\cite{FJ}的一些基本模型理论事实。其次，利用第一部分的结果，我们给出了关于一般巴拿赫空间的一些事实。第三，我们研究了某些巴拿赫空间中的模型论分界线及其理论。特别地，我们表明：（1）$M_{\mathcal{T}}$有\emph{non independence property}（NIP）;（2）每个在小扰动下是$\aleph_0$ -范畴的Banach空间几乎等距地嵌入$c_0$或$\ell_p$（$1\leqslant p<\infty$）;因此$M_{\mathcal{T}}$的（连续）一阶理论不刻画$M_{\mathcal{T}}$，直到几乎等距同构。

2021-03-10math.FAmath.LO

层逻辑、层强迫与连续统假设的独立性

The logic of sheaves, sheaf forcing and the independence of the Continuum Hypothesis

介绍了逻辑层的结构和设置理论的基础上，这种逻辑强制建设。使用这些工具，它是一个替代的证明独立的连续统假设，简化和统一的经典布尔和直觉的方法，避免了困难的分类机器的拓扑结构为基础的方法。

2012-02-07math.LO

数学中的独立性现象：当前障碍与解决方案场景的集合论视角

Independence Phenomena in Mathematics: a Set Theoretic Perspective on Current Obstacles and Scenarios for Solutions

本文从集合论视角探讨ZFC公理无法解决的数学独立性现象，概述ZFC扩展及其在理解集合论宇宙影响上的障碍与进展，旨在为数学识别“正确”公理。

2024-06-02math.LO

从范畴观点看分叉独立性

Forking independence from the categorical point of view

分叉是模型论的一个中心概念，推广了向量空间中的线性无关性和域中的代数无关性。我们在抽象的范畴论术语中发展分叉理论，原因既有实用性（我们需要一个适合于$μ$ --抽象基本类，即具有所有态射单态射的可访问范畴--工作的特征），也有抽象性（我们希望，通过这种解释，使分叉对更广泛的数学受众是可访问的--而且是有用的--）。特别是，我们提出了一个公理化的定义，我们称之为一个稳定的独立性概念的一个类别，并表明，这实际上是一个纯粹的范畴理论公理化的属性模型理论分叉在一个稳定的一阶理论。

2019-02-01math.CTmath.LO

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

Goodstein在第二阈值：$ID_2$的独立性结果

Goodstein at the Second Threshold: An Independence Result for $ID_2$

本文基于Hardy层级构建了新的Goodstein过程，通过双阶段坍缩程序开发了一个序数符号系统，证明了$ID_2$理论无法证明其终止性，从而在第二证明论阈值上获得新的独立性结果。

2026-04-01math.LO

Higman定理与Kruskal定理的证明论关系，以及树状结构的独立性结果

Proof-Theoretic Relations between Higman's and Kruskal's theorem, and Independence Results for Tree-like Structures

University of Verona（维罗纳大学）；Ghent University（根特大学）

本文研究Higman定理与Kruskal定理的证明论关系，并探讨树状结构在不同逻辑系统中的独立性结果。

2026-08-31math.LO

特征序列中的边缘分布和密度

Edge distribution and density in the characteristic sequence

与[arXiv：0908.4111]中引入的公式$ϕ(x;y)$相关联的超图$<P_n : n<ω>$的特征序列由$P_n(y_1,... y_n) = (\exists x) \bigwedge_{i\leq n} ϕ(x;y_i)$定义。本文继续研究的特征序列，表明图论的技术，特别是Szemerédi的著名的正则引理，可以自然地应用到模型理论的复杂性通过特征序列的研究。具体而言，我们涉及分类理论性质的$ϕ$和$P_n$（被认为是公式）的组件之间的密度在Szemerédi经常分解图的特征序列。此外，我们使用Szemerédi正则性校准模型理论的独立性的概念，通过描述的独立性的星座集的深度，并表明，某些故障的深度意味着谢拉的强顺序属性$SOP_3$，这揭示了不稳定的理论中的独立性和顺序的相互作用。

2009-09-14math.LO

从范畴论视角看不稳定的独立性

Unstable independence from the categorical point of view

本文在局部有限可表示范畴中构造简单型和NSOP$_1$型独立性关系，通过识别单态射类性质使拉回方块形成所需关系，将稳定情形推广到不稳定情形。

2025-06-23math.CTmath.LO

关于驯良性、可测性与独立性质

On Tameness, Measurability and the Independence Property

Institut für Interdisziplinäre Sprachevolutionswissenschaft, Universität Zürich（苏黎世大学跨学科语言进化科学研究所）；Fachbereich Mathematik und Statistik, Universität Konstanz（康斯坦茨大学数学与统计系）；UFR de Mathématiques, Université Paris Cité（巴黎西岱大学数学学院）

本文构造了实数的一个子域$K$，它缺乏多种驯良性性质，并证明存在环语言的一阶公式在$K$中定义非波莱尔集，且$K$具有独立性质并同时具有阿基米德与非阿基米德序。

2025-06-30math.LO

关于意义、对象、名称和存在的范畴论独立性

On the Category-Theoretic Independence of Meaning, Object, Name and Existence

Yamato University（大和大学）

该研究通过范畴论方法证明意义、对象、名称和存在四个概念在结构上的独立性，并展示了在拓扑斯中内部存在与全局命名的分离，为信息网络的基础框架提供了理论支持。

2026-02-20cs.LOmath.CTmath.LO

沿函子提升独立性

Lifting independence along functors

Masaryk University, Faculty of Sciences（马萨里克大学理学院）

研究如何通过函子将模型论中的独立性关系从目标范畴提升到源范畴，探讨提升条件与性质。

2025-09-01math.CTmath.LO

无处稠密图类，稳定性和独立性

Nowhere dense graph classes, stability, and the independence property

一类图是无处稠密的，如果对每一个整数r有一个有限的上界的大小团出现（拓扑）r-子式。我们观察到，这种驯服的概念，从算法图论基本上是早期的超平坦性的稳定性理论的概念。对于子图闭类的图，我们证明了等价于稳定性和不具有独立性。

2010-11-17cs.DMcs.LOmath.LO

有穷 Kronecker 引理与 Banach 空间上强大数定律的大偏差

A finitary Kronecker's lemma and large deviations in the Strong Law of Large numbers on Banach spaces

本文通过证明挖掘视角探索 Kronecker 引理的计算内容，为 $p$ 型 Banach 空间上的强大数定律提供不依赖分布的新速率，并从可计算性理论与逆向数学视角证明其无效性，最后提出升级原则将确定性结果的计算解释提升为概率类似物的定量结果。

2024-11-13math.LOmath.PR

形式为$C(K)$的巴拿赫空间中的不可数等边集

Uncountable equilateral sets in Banach spaces of the form $C(K)$

研究了不可分巴拿赫空间是否一定包含不可数向量集，使得该向量集的两个不同向量之间的距离相等的问题.这样的集合称为等边集合。我们表明，马丁的公理和否定的连续统假设意味着每一个不可分的巴拿赫空间的形式$C(K)$有一个不可数等边集。我们还表明，一个不能得到这样的结果，没有一个额外的集合理论的假设，因为我们构建了一个例子的不可分巴拿赫空间的形式$C(K)$没有不可数等边集（或等价地没有不可数$(1+\varepsilon)$分离集的单位球的任何$\varepsilon>0$），使另一个一致的组合假设。紧凑的$K$是一个版本的分裂区间从一系列的功能，其中表现在一个反拉姆齐方式。它仍然是开放的，如果有一个绝对的例子，一个不可分的巴拿赫空间的形式不同于$C(K)$没有不可数等边集。它是由S. Mercourukis，G. Vassiliadis证明我们的例子有一个等价的重赋范，其中它有一个不可数的等边集。它仍然开放，如果有一致的例子，没有不可数等边集在任何等价的重赋范，但它遵循的结果S。Todorcevic证明了每个不可分的巴拿赫空间都有一个等价的重赋范，其中它有一个不可数的等边集。

2015-04-20math.FAmath.GNmath.LO