首页/论文/2006.01613

arXiv 2006.016132020-06math.LOmath.CT

经典集合论：集合与类的理论

Classical Set Theory: Theory of Sets and Classes

Taras Banakh

备注：: 189 pages

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

AI总结：

本文介绍了基于NBG公理的经典集合论，为数学基础课程提供入门教材，并涵盖必要的基础内容。

摘要：

这是一个关于集合论的简短入门课程，基于冯·诺依曼-伯奈斯-哥德尔（简称NBG）的公理。该文本可作为数学基础课程的基础教材，包含了一名优秀的（研究生）数学学生应了解的该学科基础的合理最低限度。

英文摘要：

This is a short introductory course to Set Theory, based on axioms of von Neumann--Bernays--Gödel (briefly NBG). The text can be used as a base for a lecture course in Foundations of Mathematics, and contains a reasonable minimum which a good (post-graduate) student in Mathematics should know about foundations of this science.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

关于完全空集类及其传递形式

On the class of perfectly null sets and its transitive version

本文引入了两类新的实数直线的特殊子集：完全空集类和传递意义下完全空集类。这些类可以在类别侧上对相应的类起替代作用。我们研究了它们的性质，特别是证明了每个强零集在传递意义下是完全零的，并且证明了存在一个在传递意义下不是完全零的泛零集与ZFC是一致的.最后，我们陈述了关于上述类的一些开放性问题。虽然完全空集和泛空集的类是否一致不同的主要问题仍然是开放的，我们证明了与这个问题有关的一些结果。

2016-09-13math.LO

潜在Wadge类

Potential Wadge classes

设$\bfΓ$是Borel类或Borel集的Wadge类，而$2\leq d\leqω$是基数。我们研究了${\mathbb R}^d$的Borel子集，通过在实直线上改进波兰拓扑，可以使之成为$\bfΓ$。这些集合称为潜在$\bfΓ$。我们给出了一个测试来识别潜在的$\bfΓ$集。

2010-02-07math.LO

强迫定理的充分条件及真类的集合化

Sufficient conditions for the forcing theorem, and turning proper classes into sets

我们提出了三个自然的组合性质类力迫概念，这意味着强迫定理成立。然后，我们表明，所有已知的充分条件的强迫定理（除了强迫定理本身），包括本文中提出的三个属性，意味着另一个正则性质的类力迫概念，即适当的类的地面模型不能成为集在一个泛型扩张，也就是说，他们没有集大小的名称在地面模型。然后，我们表明，在某些模型的Gödel-Bernays集合论没有幂集公理，有一个概念的类强迫一个适当的类变成一个集，但不满足强迫定理。此外，我们表明，不把适当的类集的性质可以用来刻画pretameness在这样的模型的Gödel-Bernays集合论。

2017-10-30math.LO

集合与类：运算理论

Sets and Classes: Operational Theory

本书系统介绍描述集合论，涵盖划分、各类环结构、积和及扩张生成等主题，并配备参考文献、历史评注与习题。

2024-04-07math.LO

模糊粗糙集的剩余重格作为真假值集

Residuated Multilattice as set of Truth Values for Fuzzy Rough Sets

2004年，Anna Maria Radzikowska等的\cite{RK2004}研究了真假值为任意剩余格的模糊粗糙集。在本文中，我们扩展了他们的工作，考虑一个剩余的多重格$M$的真假值的集合。$M$ -模糊粗糙集的定义使用的剩余操作提供的剩余多重格$M$。根据二元模糊关系的类别，定义了几类$M$ -模糊粗糙集，并研究了它们的一些性质。

2020-08-09math.LO

无选择的集合论中Ramsey理论陈述的直接性类

Finiteness classes arising from Ramsey-theoretic statements in set theory without choice

我们研究无穷集合，见证了某些拉姆齐理论陈述的失败，如拉姆齐或（适当措辞）Hindman定理;如果不假设选择公理，这样的集合可能存在。我们获得非常精确的信息，这些集位于无限戴德金有限集的层次结构。

2021-02-25math.LO

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

广义Cantor空间$2^κ$和广义Baire空间$κ^κ$的特殊子集

Special subsets of the generalized Cantor space $2^κ$ and generalized Baire space $κ^κ$

在本文中，我们感兴趣的相似之处，在$\R$的特殊子集定义在广义Cantor和Baire空间（$2^κ$和$κ^κ$）的经典概念。我们考虑了一些著名的特殊子集类的推广，如Lusin集，强空集，集中集，完全稀疏集，$σ$-集，$γ$-集，具有Menger，Rothberger或Hurewicz性质的集，以及一些不太知名的类，如$X$-小集，稀疏可加集，Ramsey空集，Marczewski，Silver，Miller和Laver-空集。我们注意到许多关于这些类的经典定理可以相对容易地推广到更高的基数，尽管有时需要一些额外的假设。本文作为一个目录，这样的结果以及其他一些推广和开放的问题。

2020-02-29math.LO

关系约束的闭集与变量替换闭函数类

On closed sets of relational constraints and classes of functions closed under variable substitutions

将Pippenger的有限函数和关系约束的伽罗瓦论推广到无限情形。所涉及的函数是集合$A$上的几个变量的函数，并且在可能不同的集合$B$中取值，其中$A$和$B$中的任何一个或两个可以是有限的或无限的。

2015-08-06math.COmath.LO

电动小汽车的制动潜力等级

Classes de Wadge potentielles des boréliens à coupes dénombrables

我们给，每个非自对偶Wadge类C中包含的类的Gdelta集，一个表征的博雷尔集，这是不可能在C中，博雷尔集与可数垂直部分;要做到这一点，我们使用的结果部分一致化。

2007-09-30math.GNmath.LO

分离复杂性类的神谕集的复杂性和Ramsey大数

Complexity and Ramsey Largeness of Sets of Oracles Separating Complexity Classes

我们证明了两组结果有关计算复杂性类。第一个问题是关于Bennett和Gill提出的随机预言假说的一个变体，他们证明了相对于随机选择的预言，P不等于概率为1的NP。这个假设很快就被几种方式推翻了，最著名的是在1992年，结果是IP等于PSPACE，尽管类被证明是不相等的概率为1。在这里，我们提出了一个变体，它意味着什么是“大”使用埃伦塔克拓扑。在这个新的背景下，我们证明了分离NP和co-NP的预言集并不小，并且对于PSPACE与PH的分离以及NP与BQP的分离获得了类似的结果。我们证明，这个版本的假设变成了一个充分条件的非相对化的关系，至少在这里考虑的三种情况下。其次，我们举例说明的描述复杂性的类的预言机提供这些不同的类的分离，并确定其确切的位置在博雷尔层次结构。

2022-10-21cs.CCmath.LO

什么是集合的实集范畴？

What is the real category of sets?

范畴论为数学的组织提供了强有力的工具。这种描述力的一个例子是通过对ZF集合论中“类作为简写”的实践的分类分析给出的。在这种情况下，范畴论提供了一种自然的方式来描述数学和元数学之间的关系：如果元数学可以用范畴（特别是句法范畴）来描述，那么数学层次就用内部范畴来表示。通过这两个层次的解释，我们可以阐明ZF中类和集合之间的关系，特别是，我们可以提出两个等价的范畴概念的可定义集。关于集合论的一些常见说法将根据这种表示来解释，强调关于集合和类的朴素和严格句子之间的区别。

2012-12-13math.LO

小类等价关系的可测性与完满集定理

Measurability and Perfect Set Theorems for Equivalence Relations with Small Classes

我们问是否$\mathbf{Δ^1_2}$或$\mathbf{Σ^1_2}$等价关系与$I$ -小类为$I$一个$σ$ -理想必须有完美的许多类。我们表明，对于广泛的一类ccc $σ$ -理想，一个积极的回答$\mathbf{Δ^1_2}$等价关系是等价的$I$-可测性的$\mathbf{Δ^1_2}$集。然而，$\mathbf{Σ^1_2}$等价关系的类似陈述是错误的：具有贫乏类的$\mathbf{Σ^1_2}$等价关系具有成对不等价元素的完满集当且仅当$\mathbf{Δ^1_2}$集具有Baire性质。

2016-05-30math.LO

某些粗糙集代数的离散对偶性

Discrete dualities for some algebras from rough sets

Brock University（布鲁克大学）；Institute of Telecommunications（电信研究所）

本文研究了粗糙集代数的离散对偶性，回顾了不同类型的代数与关系系统之间的对偶关系及表示定理。

2026-01-09cs.LOmath.LO

与三角级数有关的小集合的注记

Remarks on small sets related to trigonometric series

证明了N_0-集、Arbault集、N-集和伪Dirichlet集等几类集合在小规模加集下是闭的。

1999-05-19math.LO

关于平稳集的结构

On the structure of stationary sets

我们隔离几类固定的kappa^omega集，并调查他们之间的影响。在一个大基数假设下，证明了平稳集的一个结构定理。

2003-11-28math.LO

势阱类与局部均匀化理论

Classes de Wadge potentielles et théorèmes d'uniformisation partielle

我们想给一个建设尽可能简单的一个Borel子集的产品两个波兰空间。这引入了潜在Wadge类的概念。除此之外，我们研究了非潜在的闭集，通过证明Hurewicz的结果。这导致部分一致化定理，在大集，在基数或Baire范畴的意义。

2007-09-30math.GNmath.LO

余解析集差族加细的确定性

Determinacy of Refinements to the Difference Hierarchy of Co-analytic Sets

在本文中，我们开发了一种技术，证明确定性的类的形式$ω^2-Π^1_1+Γ$（一个细化的差异层次的共分析集之间的$ω^2-Π^1_1$和$(ω^2+1)-Π^1_1$）从弱的原则，建立上界的确定性强度的类$ω^2-Π^1_1+Σ^0_α$的所有可计算的$α$和$ω^2-Π^1_1+Δ^1_1$。这弥合了先前已知的假设之间的差距，暗示在该地区的确定性。

2017-10-23math.LO

随机序列的有效名算法复杂性

Arithmetic complexity via effective names for random sequences

我们调查枚举属性类的集合，允许递归，字典式增加近似，或左R. E。集.除了精确定位左r.e.的复杂性之外，Martin-Löf，可计算，Schnorr和Kurtz随机集，弱1-泛类及其互补类，我们发现纯粹根据这些概念存在算术层次的第三和第四层的特征。更一般地说，存在算术复杂性和存在编号之间的等价性的类左r.e.使用shift-persistent元素。虽然一些类（如Martin-Löf随机数和Kurtz非随机数）具有左r. e。没有规范的，或可接受的，左r. e。编号为任何类的left-r.e.随机的。最后，我们注意到一些基本的差异，左r. e。集合和实数的编号。

2014-08-12cs.CCmath.LO

Fuzzy序代数的簇定理

Variety theorem for algebras with fuzzy order

给出了序代数的Bloom簇定理在Fuzzy集上的推广.我们介绍代数与模糊订单，其中包括一套功能，这是兼容的特定二元模糊关系称为模糊订单。利用完备剩余格作为度结构，在代数论域集上定义了Fuzzy序。在这种情况下，我们表明，类的模型的模糊集的不平等是封闭的适当定义的形式下的子代数，同态像，和直积。相反，我们证明了具有这些封闭性的类是可定义的模糊集不等式。

2014-06-30math.LO

投影的通用集

Universal Sets for Projections

该研究探讨$\boldsymbol{\rm R}^2$中集合投影的通用方向集问题，定义了通用集概念，针对弱正则集、AD-正则集类分别构造了维数任意小（正）和零维的通用集，拓展了Marstrand投影定理的相关结论。

2025-03-23math.CAmath.LO