×
安德烈·瓦卡罗;Viale，Matteo公司

波兰空间元素的泛型绝对性和布尔名称。 （英语） Zbl 1437.03149号

波尔。Unione Mat.意大利语。 10，第3期，293-319（2017）.
摘要：集合论界的常识是，在集合论的布尔值模型中，存在一个对偶，将交换代数与复数名族（\mathsf｛B｝）联系起来。20世纪70年代末和80年代初的作品中考虑了这种关联的几个方面，例如G.武提[逻辑在数学中的两个应用。东京：Iwanami Shoten出版社；新泽西州普林斯顿：普林斯顿大学出版社（1978；Zbl 0393.03027号)]和M.P.Fourman先生（ed.）等人。[层的应用。层理论在逻辑、代数和分析中的应用研究研讨会论文集，达勒姆，1977年7月9日至21日。查姆：施普林格（1979；Zbl 0407.0001号)]，和依据T.J.杰赫【美国数学学会翻译289、133-162（1985年；Zbl 0597.03030号)]. 推广Jech的结果[loc.cit.]，我们扩展了这种对偶性，以便能够将集合论（V^{mathsf{B}}）的布尔值模型中任何给定波兰空间（Y）元素（例如复数）的布尔名称族描述为由函数组成的空间（C^+（X，Y），函数的域（X）是\（mathsf{B}\）的Stone空间，其范围包含在\（Y \）模的微集中。我们还概述了如何将这种二重性与一般绝对性结果结合起来，以便通过强制参数分析（C^+（X，Y））理论。

引用于2文件

MSC公司：

03E57型 一般绝对性和强制公理
03E15年 描述性集合论
03E35号 一致性和独立性结果

引文：

兹伯利03930027;Zbl 0407.0001号;Zbl 0597.03030号
PDF格式BibTeX公司 XML格式引用
\textit{A.Vaccaro}和\textit{M.Viale}，波尔。Unione Mat.意大利语。10，第3号，293--319（2017；Zbl 1437.03149）
全文： 内政部 arXiv公司

参考文献：

[1] Audrito，G.，Viale，M.：通过复活实现绝对。数学杂志。逻辑（2017）。arXiv:1404.2111v4·Zbl 1423.03184号
[2] Dimonte，V.，Friedman，S.D.：等级对等级的假设和GCH的失败。架构（architecture）。数学。逻辑53（3-4），351-366（2014）·Zbl 1351.03045号 ·doi:10.1007/s00153-014-0369-8
[3] Dimonte，V.，Liuzhen，W.：与I1相关的一致性结果的通用工具。欧洲数学杂志。2(2), 474-492 (2016) ·Zbl 1426.03031号 ·doi:10.1007/s40879-015-0092-y
[4] 冯（Feng，Q.）、马吉多（Magidor，M.）、伍丁（Woodin，H.）：普遍的拜尔（Baire）现实集。连续体集合论（加州伯克利，1989）。收录：Judah，H.，Just，W.，Woodin，H.（编辑）Math。科学。Res.Inst.出版物。，第26卷，第203-242页。施普林格，纽约（1992）·Zbl 0781.03034号
[5] Fourman，M.P.，Mulvey，C.J.，Scott，D.S.（编辑）：滑轮的应用。收录于：数学课堂讲稿，第753卷。柏林施普林格（1979）·Zbl 0407.0001号
[6] Givant，S.，Halmos，P.：布尔代数导论。数学本科生课文。施普林格，纽约（2009）·Zbl 1168.06001号
[7] Jech，T.：集合论。收录：施普林格数学专著。第三版千年版，经修订和扩充。施普林格，柏林（2003）·Zbl 1007.03002号
[8] Jech，T.J.：阿贝尔算子代数的抽象理论：强制的应用。事务处理。美国数学。Soc.289（1），133-162（1985）·Zbl 0597.03030号 ·doi:10.1090/S002-9947-1985-0779056-9
[9] 凯克里斯，A.S.:Kechris，经典描述集理论，数学研究生教材，第156卷。Springer-Verlag，纽约（1995年）·Zbl 0819.04002号 ·doi:10.1007/978-1-4612-4190-4
[10] 拉尔森：固定塔。收录于：《大学系列讲座》，第32卷。美国数学学会，普罗维登斯（2004）。（W.Hugh Woodin课程笔记）·Zbl 1072.03031号
[11] Ozawa，M.：类型\[{\rm I}IAW^{\ast}\]AW*-代数和布尔值分析的分类。数学杂志。《日本社会》36（4），589-608（1984）·Zbl 0599.46083号 ·doi:10.2969/jmsj/03640589
[12] Rasiowa，H.，Sikorski，R.：元数学的数学。收录于：Monografie Matematyczne，第41卷。波兰科学出版社，波兰（1963年）·Zbl 0122.24311号
[13] Takeuti，G.：逻辑在数学中的两个应用。Iwanami Shoten，出版商，东京；普林斯顿大学出版社，普林斯顿，《坎诺纪念讲座》，第3卷。日本数学学会出版物，第13号（1978年）·兹伯利1426.03032
[14] Vaccaro，A.：复数的C*-代数和B-名称，未发表的硕士论文（2015）。https://etd.adm.unipi.it/t/etd-08302015-193406/
[15] Viale，M.：范畴强迫，[{\sf-MM}^{++}，以及强强迫公理理论的一般绝对性。美国数学杂志。Soc.29（3），675-728（2016）·Zbl 1403.03108号
[16] 维亚尔（Viale，M.）：迫使Schanuel猜想的一种弱形式成为事实。合流。数学。8(2), 59-83 (2016) ·兹伯利1426.03032 ·doi:10.5802/cml.33
[17] 维亚尔（Viale，M.）：重温了马丁的最高境界。架构（architecture）。数学。逻辑55（1-2），295-317（2016）·Zbl 1403.03104号 ·doi:10.1007/s00153-015-0466-3
[18] Woodin，W.H.：超紧基数、实集和弱齐次树。程序。美国国家科学院。科学。美国85（18），6587-6591（1988）·Zbl 0656.03037号
[19] Woodin，W.H.：确定性公理、强迫公理和非平稳理想。收录于：《德格鲁伊特逻辑及其应用系列》，第1卷。Walter de Gruyter&Co.，柏林（1999）·Zbl 0954.03046号
[20] Woodin，W.H.：合适的延长剂型号II：超过[\omega\]ω-巨大。数学杂志。日志。11(2), 115-436 (2011) ·Zbl 1248.03069号 ·doi:10.1142/S02190613100102X
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。