×

找到650份文件(结果1-100)

基于理性的脱离。 (英语) Zbl 07823011号

Bentzen,Bruno(编辑)等人,《人工智能和法律的逻辑》。2023年9月8日至9日和11日至12日,中国杭州,第三届新一代人工智能逻辑国际研讨会和逻辑、人工智能和法律国际研讨会联合会议记录。伦敦:学院出版物。49-65 (2023).
MSC公司:68T27型 03E60年
PDF格式BibTeX公司 XML格式引用
全文: 链接

鼠标对的比较过程。 (英语) 兹比尔1525.03002

逻辑课堂笔记51.剑桥:剑桥大学出版社;纽约州伊萨卡:符号逻辑协会(ASL)(ISBN 978-1-108-84068-2/hbk;978-1-108-88684-0/电子书)。xii,536页。(2023).
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

关于一个麻袋猜想的注记:嵌入高度三个偏序比嵌入高度二个偏序更难。 arXiv:2309.01876

预印本,arXiv:2309.01876[math.LO](2023)。
BibTeX公司 引用
全文: arXiv公司

Souslin准阶和不可数结构的双嵌入性。 (英语) Zbl 07573745号

美国数学学会回忆录1365.普罗维登斯,RI:美国数学学会(AMS)(ISBN 978-1-4704-5273-5/pbk;978-1-4740-7097-5/电子书)。vii,189页。(2022).
PDF格式BibTeX公司 XML格式引用

关于\(\omega_1\)的超紧性。 (英语) Zbl 07615248号

Arai,Toshiyasu(编辑)等,《数理逻辑的进展》。为纪念Gaisi Takeuti教授,SAML 2018。根据2018年9月18日至20日在日本神户举行的研讨会上的陈述,对论文进行了精选和修订。新加坡:斯普林格。Springer程序。数学。《美国联邦法律大全》第369卷第27-45页(2021年)。
PDF格式BibTeX公司 XML格式引用

2020年维多利亚-德尔菲诺十四大问题及其现状。 (英语) Zbl 1528.03001号

Kechris,Alexander S.(编辑)等人,《大基数、确定性和其他主题》。阴谋论研讨会,第四卷。论文和新材料的再版,基于1976年至1985年洛杉矶加州理工大学-加州大学洛杉矶分校逻辑阴谋论研讨会。剑桥:剑桥大学出版社;纽约州伊萨卡:符号逻辑协会(ASL)。莱克特。注释日志。49, 248-279 (2021).
PDF格式BibTeX公司 XML格式引用
全文: DOI程序 链接 链接

扩展器代数和(Sigma^2_1)-绝对性。 (英语) Zbl 1528.03209号

Kechris,Alexander S.(编辑)等人,《大基数、确定性和其他主题》。阴谋论研讨会,第四卷。论文和新材料的再版,基于1976年至1985年洛杉矶加州理工大学-加州大学洛杉矶分校逻辑阴谋论研讨会。剑桥:剑桥大学出版社;纽约州伊萨卡:符号逻辑协会(ASL)。莱克特。注释日志。49, 141-176 (2021).
PDF格式BibTeX公司 XML格式引用

\(mathsf{AD})和(wp_{omega_1}(lambda))上超紧测度的唯一性。 (英语) Zbl 1528.03216号

Kechris,Alexander S.(编辑)等人,《大基数、确定性和其他主题》。阴谋论研讨会,第四卷。论文和新材料的再版,基于1976年至1985年洛杉矶加州理工大学-加州大学洛杉矶分校逻辑阴谋论研讨会。剑桥:剑桥大学出版社;纽约州伊萨卡:符号逻辑协会(ASL)。莱克特。注释日志。49, 136-140 (2021).
MSC公司:03E60年 2015年3月
PDF格式BibTeX公司 XML格式引用
全文: DOI程序 链接

某些一致性导致使用\(\ mathsf{AD}\)来\(\ mathsf{ZFC}\)。 (英语) Zbl 1528.03207号

Kechris,Alexander S.(编辑)等人,《大基数、确定性和其他主题》。阴谋论研讨会,第四卷。论文和新材料的再版,基于1976年至1985年洛杉矶加州理工大学-加州大学洛杉矶分校逻辑阴谋论研讨会。剑桥:剑桥大学出版社;纽约州伊萨卡:符号逻辑协会(ASL)。莱克特。注释日志。49, 104-129 (2021).
MSC公司:03E35号 03E60年
PDF格式BibTeX公司 XML格式引用
全文: DOI程序 链接

可数长度的游戏。 (英语) Zbl 1528.03214号

Kechris,Alexander S.(编辑)等人,《大基数、确定性和其他主题》。阴谋论研讨会,第四卷。论文和新材料的再版,基于1976年至1985年洛杉矶加州理工大学-加州大学洛杉矶分校逻辑阴谋论研讨会。剑桥:剑桥大学出版社;纽约州伊萨卡:符号逻辑协会(ASL)。莱克特。注释日志。49, 96-103 (2021).
PDF格式BibTeX公司 XML格式引用
全文: DOI程序 链接

\(\mathsf{DC}\)与\(\mathsf{AD}\)的独立性。 (英语) Zbl 1528.03215号

Kechris,Alexander S.(编辑)等人,《大基数、确定性和其他主题》。阴谋论研讨会,第四卷。论文和新材料的再版,基于1976年至1985年洛杉矶加州理工大学-加州大学洛杉矶分校逻辑阴谋论研讨会。剑桥:剑桥大学出版社;纽约州伊萨卡:符号逻辑协会(ASL)。莱克特。注释日志。49, 66-95 (2021).
PDF格式BibTeX公司 XML格式引用
全文: DOI程序 链接

AD公司加上均匀化”相当于“Half”{广告}_\mathbb{R}\)“。 (英语) Zbl 1528.03212号

Kechris,Alexander S.(编辑)等人,《大基数、确定性和其他主题》。阴谋论研讨会,第四卷。论文和新材料的再版,基于1976年至1985年洛杉矶加州理工大学-加州大学洛杉矶分校逻辑阴谋论研讨会。剑桥:剑桥大学出版社;纽约州伊萨卡:符号逻辑协会(ASL)。莱克特。注释日志。49, 61-65 (2021).
PDF格式BibTeX公司 XML格式引用
全文: DOI程序 链接

决定性的简史。 (英语) Zbl 1528.03213号

Kechris,Alexander S.(编辑)等人,《大基数、确定性和其他主题》。阴谋论研讨会,第四卷。论文和新材料的再版,基于1976年至1985年洛杉矶加州理工大学-加州大学洛杉矶分校逻辑阴谋论研讨会。剑桥:剑桥大学出版社;纽约州伊萨卡:符号逻辑协会(ASL)。莱克特。注释日志。49, 3-60 (2021).
PDF格式BibTeX公司 XML格式引用
全文: DOI程序 链接

简要介绍内模理论的最新发展。 (英语) Zbl 1496.03201号

Coskey,Samuel(编辑)等人,《集合论趋势》。2017年9月15日至17日,美国新泽西州皮斯卡塔韦罗格斯大学举行西蒙·费斯特会议,纪念西蒙·托马斯60岁生日。普罗维登斯,RI:美国数学学会(AMS)。康斯坦普。数学。752, 175-189 (2020).
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

确定性组合学导论。 (英语) Zbl 1496.03204号

Coskey,Samuel(编辑)等人,《集合论趋势》。2017年9月15日至17日,美国新泽西州皮斯卡塔韦罗格斯大学举行西蒙·费斯特会议,纪念西蒙·托马斯60岁生日。普罗维登斯,RI:美国数学学会(AMS)。康斯坦普。数学。752, 21-75 (2020).
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份