首页/论文/0707.4496

arXiv 0707.44962007-07math.LO

关于拟极小优类

On Quasiminimal Excellent Classes

Jonathan Kirby

备注：: 16 pages. v3: correction to the statement of corollary 5.7
发表信息：: J. Symbolic Logic 75 (2010), no. 2, 551-564
DOI：: 10.2178/jsl/1268917494

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

对Zilber的拟极小优类及其范畴性作了详细的阐述，得到了两个新的结果：L_w1，w（Q）-可定义性假设可以放弃，且每个类都由其维数aleph_0的模型决定.

英文摘要：

A careful exposition of Zilber's quasiminimal excellent classes and their categoricity is given, leading to two new results: the L_w1,w(Q)-definability assumption may be dropped, and each class is determined by its model of dimension aleph_0.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

拟极小抽象初等类

Quasiminimal abstract elementary classes

本文提出了拟极小抽象初等类（AEC）的概念。这是一个满足四个语义条件的AEC：可数的Löwenheim-Skolem-Tarski数，存在一个素模型，相交下的闭包，以及在每个可数模型上的通用轨道类型的唯一性。我们展示了Zilber的准极小pregeometry类和准极小AEC之间的对应关系：任何准极小pregeometry类诱导一个准极小AEC（这是已知的），并为任何准极小AEC有一个自然的函子扩展，诱导一个准极小pregeometry类。我们特别表明，交换公理是多余的Zilber的定义的准极小pregeometry类。

2017-06-12math.LO

拟极小预几何类的范畴性

Categoricity in Quasiminimal Pregeometry Classes

Zilber [2005 a]引入了拟最小预几何类，以分离几个有趣例子的模型理论核心。他证明，一个quasiminimal pregeometry类满足额外的公理，所谓的卓越，是绝对的所有不可数基数。最近，Bays et al. [2014]表明，卓越性来自于其余公理。本文给出了范畴性结果的一个直接证明，而不需要使用优点。

2014-03-31math.LO

拟极小结构与卓越

Quasiminimal structures and excellence

我们表明，卓越公理的定义Zilber的quasiminimal优秀类是多余的，因为它遵循其他公理。这大大简化了一些范畴性证明。

2013-10-27math.LO

拟极小结构、群与Zerkiki型几何

Quasiminimal structures, groups and Zariski-like geometries

本文将Hrushovski群构型定理推广到拟极小类。作为一个应用，我们提出了Zebraki的结构，Zebraki几何的推广，并表明，一个组可以找到有界闭包算子的预几何是非平凡的。

2017-02-08math.LO

在类Zorkiki结构中寻找群

Finding groups in Zariski-like structures

我们研究拟极小类，即抽象的基本类（AEC）产生的拟极小pregeometry结构。对于这些类，我们开发了一个独立的概念，特别是在$\M^{eq}$的独立性理论。然后，我们推广Hrushovski的组配置定理，我们的设置。在试图推广Zurkiki几何的上下文中的拟极小类，我们给出了公理化Zurkiki的结构，并作为我们的组配置定理的应用，表明，可以发现在他们假设从有界闭包算子的预几何是非平凡的。最后，我们研究了一个代数闭域的乘法群的覆盖，并证明了它提供了一个类似Zurkiki结构的例子。

2014-04-27math.LO

Zilber指数域的卓越性和不可数范畴性

Excellence and uncountable categoricity of Zilber's exponential fields

我们证明了Zilber类的指数领域是quasiminimal优秀的，因此不可数分类，填补了两个空白Zilber的原始证明。

2013-05-02math.LO

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

优秀的抽象基本类是驯服的

Excellent Abstract Elementary Classes are tame

AEC是驯服的假设是一个强有力的假设，允许发展稳定性理论的AEC与合并财产。最近发现了几个向上范畴性定理，其中驯服取代了强大的集合论假设。在这篇文章中，我们提出了两个充分条件驯服，都在自然界中发生的强融合性质的形式。其中一个最近被用来证明几个Hrushovski类是驯服的。这是通过引入弱$(μ,n)$ -唯一性的属性来完成的，该属性对所有AEC都有意义（与Shelah的原始属性不同），并从弱$(\LS(\K),n)$ -唯一性、$(\LS(\K),n)$ -对称性和$(\LS(\K),n)$ -存在性对所有$n<ω$都成立的假设中导出。这三个性质的结合我们称之为\emph{excellence}，与\cite{Sh 87b}不同，我们不需要非常强的$(\LS(\K),n)$ -唯一性，也不假设$\K$的成员是可数一阶理论的原子模型。我们也在一个比希拉的好框架更普遍的背景下工作。

2005-09-14math.LO

不可知在线学习与优集

Agnostic Online Learning and Excellent Sets

Department of Mathematics, University of Chicago（芝加哥大学数学系）；Departments of Mathematics, Computer Science, and Data and Decision Sciences, Technion（技术学院数学系、计算机科学系和数据与决策科学系）

本文利用在线学习算法研究模型论中的稳定结构，证明了 $k$-边稳定图中对任意 $ε<1/2$ 均存在 $ε$-优集，显著改进了此前的界，并给出基于遗憾界和布尔闭包性质的两个证明，同时将稳定类刻画为支持抽象多数概念的类。

2025-07-06cs.DMcs.LGcs.LO