阿萨夫·卡拉吉拉 用经典结构实现可实现性结果。 （英语） Zbl 07167381号 牛市。符号。日志。 25，第4期，429-445（2019）. 小结：J.L.Krivine开发了一种基于可实现性的新方法，用于构建选择公理失效的集合理论模型。我们试图在经典环境中重现他的结果，即对称扩展。我们还提供了一个新的条件，用于在对称扩张的一般设置中保持有序和其他特定类型的选择。 引用于2文件 数学溢出问题： 有哪些“容易”违反\（\mathsf{SVC}\）的行为？ MSC公司： 03E25型 选择公理和相关命题 03E35号 一致性和独立性结果 关键词：选择公理;对称扩展;可实现性 PDF格式BibTeX公司 XML格式引用 \发短信{A.Karagila}，公牛。符号。日志。25，第4号，429--445（2019；Zbl 07167381） 全文： 内政部 arXiv公司 链接 参考文献： [1] Banaschewski，B.和Moore，G.H.，对偶Cantor-Bernstein定理和配分原理。《圣母院形式逻辑杂志》，第31卷（1990年），第3期，第375-381页·Zbl 0716.03044号 [2] Blass，A.和Scedrov，A.，Freyd关于选择公理独立性的模型。《美国数学学会回忆录》，第79卷（1989年），第404号·Zbl 0687.03031号 [3] Fontanella，L.和Geoffroy，G.，《在可实现模型中保留基数和Zorn引理的弱形式》，预印本，2019年·Zbl 1486.03080号 [4] Grigorieff，S.，集合论中的中间子模型和泛型扩展。《数学年鉴》（2），第101卷（1975年），第447-490页·Zbl 0308.02060号 [5] Jech，T.，《集合论》，Springer数学专著，Springer-Verlag，柏林，2003年·Zbl 1007.03002号 [6] Jech，T.J.，《选择公理》，《逻辑研究与数学基础》，第75卷，北荷兰，阿姆斯特丹-朗顿；Amercan Elsevier，纽约，1973年·Zbl 0259.02051号 [7] Karagila，A.，《迭代对称扩展》。《符号逻辑杂志》，第84卷（2019年），第1期，第123-159页·Zbl 1448.03038号 [8] 卡拉吉拉，A.，《保留依赖性选择》。《波兰科学院数学公报》，第67卷（2019年），第1期，第19-29页·兹比尔1479.03021 [9] Krivine，J.-L.，可实现代数II：ZF+DC的新模型。《计算机科学中的逻辑方法》，第8卷（2012年），第1-10号，第28页·Zbl 1239.03009号 [10] Krivine，J.-L.，可实现代数III：一些例子。《计算机科学中的数学结构》，第28卷（2018年），第1期，第45-76页·Zbl 1383.03023号 [11] Usuba，T.，Choiceless Löwenheim-Skolem属性和统一定义理由，2019年，arXiv:1904.00895，提交·Zbl 07615254号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。