×

描述性集合理论的新方向。 (英语) Zbl 0933.03057号

本文基于作者在1998年4月多伦多符号逻辑协会会议上所作的哥德尔演讲。它是描述集理论最新成果的综述,主要关注波兰空间上Borel和分析等价关系的分类。这种等价关系在数学中广泛存在,可以使用Borel约简的概念进行分类:这种约简也可以解释为关于商空间的可定义基数或关于等价关系分类问题的复杂性的陈述。过去几年在这一领域取得了很大进展,作者是主要贡献者之一。
在第一部分给出动机和背景后,本文主要讨论了波兰群的Borel作用引起的Borel等价关系(尤其是可数等价关系)和轨道等价关系。在后者中,由无限对称群诱导的拓扑Vaught猜想与模型理论密切相关,从而导致了拓扑Vaugh猜想的形成和研究。
该调查引用了所有相关文献(直到1999年Adams和Kechris的结果,即存在无数无法比拟的可数Borel等价关系),并陈述了一些重要的猜想。

MSC公司:

03E15年 描述性集合论
03-02 与数学逻辑和基础相关的研究展览(专著、调查文章)
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接 链接

参考文献:

[1] 数字对象标识码:10.1090/S0894-0347-97-00221-X·Zbl 0865.03039号 ·doi:10.1090/S0894-0347-97-00221-X
[2] 内政部:10.1090/S0002-9939-1994-1169042-2·doi:10.1090/S0002-9939-1994-1169042-2
[3] 经典描述性集合理论(1995)
[4] 内政部:10.1090/S0002-9947-1961-0136681-X·doi:10.1090/S0002-9947-1961-0136681-X
[5] 阿贝尔集团(1967)
[6] 可数模型类的Borel可约性理论54 pp 894–(1989)
[7] DOI:10.1090/S0002-9947-1977-0578656-4·网址:10.1090/S0002-9947-1977-0578656-4
[8] 内政部:10.2307/1970381·Zbl 0152.33203号 ·doi:10.2307/1970381
[9] DOI:10.1090/S0002-9947-1994-1149121-0·doi:10.1090/S0002-9947-1994-1149121-0
[10] 遍历理论与动力系统1 pp 430–(1981)
[11] 非交换几何(1994)
[12] DOI:10.1090/conm/026/737417·Zbl 0599.28023号 ·doi:10.1090/conm/026/737417
[13] 波兰群体行动的描述性集合理论(1966)
[14] 可修正的等价关系和图灵度56 pp 182–(1991)
[15] DOI:10.1016/S0168-0072(97)00049-3·Zbl 0930.03058号 ·doi:10.1016/S0168-0072(97)00049-3
[16] 内政部:10.2307/421148·Zbl 0889.03038号 ·doi:10.2307/421148
[17] DOI:10.1016/S0168-0072(96)00006-1·Zbl 0933.03056号 ·doi:10.1016/S0168-0072(96)00006-1
[18] 伊利诺伊数学杂志
[19] 内政部:10.1090/S0894-0347-1990-1057041-5·doi:10.1090/S0894-0347-1990-1057041-5
[20] 内政部:10.2307/420994·Zbl 0862.04002号 ·doi:10.2307/420994年
[21] Cabal研讨会81–85 pp 37–(1988)·Zbl 0638.00008号
[22] 内政部:10.1016/0003-4843(80)90002-9·Zbl 0517.03018号 ·doi:10.1016/0003-4843(80)90002-9
[23] 内政部:10.1090/S0273-0979-1980-14702-3·Zbl 0427.28018号 ·doi:10.1090/S0273-0979-1980-14702-3
[24] 描述性集合论(1980)·Zbl 0433.03025号
[25] 阴谋集团研讨会76-77(1978)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。