Ordinal definability and combinatorics of equivalence relations
Ordinal definability and combinatorics of equivalence relations
复制标题
等价关系的序数可定义性和组合数学
DOI：
10.1142/s0219061319500090
复制
发表时间：
2019
影响因子：
0.9
通讯作者：
Chan, William
中科院分区：
文献类型：
--
作者：
Chan, William
假设。设一个等价关系编码在.有一个序数可定义的等价类，没有任何序数可定义的元素当且仅当是unpinned.证明了-类截面一致化，当是一个等价关系在其上被固定在包含真实的的每个传递模型中，其编码：假设是一个关系在使得每个截面是一个-类，那么有一个函数使得对于所有，.证明了是Jónsson，当是序数时：对于每一个函数，都有一个带和的内双射。
Assume. Letbe aequivalence relation coded in.has an ordinal definable equivalence class without any ordinal definable elements if and only ifis unpinned.proves-class section uniformization whenis aequivalence relation onwhich is pinned in every transitive model ofcontaining the real which codes: Supposeis a relation onsuch that each sectionis an-class, then there is a functionsuch that for all,.proves thatis Jónsson wheneveris an ordinal: For every function, there is anwithin bijection withand.
登录
查看更多内容
一些Borel等价关系的可定义组合
DOI：
--
发表时间：
2017
期刊：
影响因子：
--
作者：
William Chan;C. Meehan
通讯作者：
C. Meehan
在射影层次的给定级别上具有可数横截面的非均匀集
影响因子：
0.6
作者：
V. Kanovei;V. Lyubetsky
通讯作者：
V. Lyubetsky
大基本公理的一些弱版本
DOI：
--
发表时间：
1973
期刊：
影响因子：
--
作者：
K. Devlin
通讯作者：
K. Devlin
L(R) 中的决心和约翰逊红雀
DOI：
--
发表时间：
2014
期刊：
影响因子：
--
作者：
S. Jackson;W. Woodin
通讯作者：
W. Woodin
DOI：
10.1016/0003-4843(73)90012-0
发表时间：
1973-07
期刊：
Annals of Mathematical Logic
影响因子：
--
作者：
A. Kechris
通讯作者：
A. Kechris