科迪,肖恩 关于\(\mathsf{TD}+\mathsf的注释{直流}_{\mathbb{R}}\)表示\(\mathsf{AD}^{L(\mathbb{R})}\)。 (英语) Zbl 07827888号 J.塞姆。日志。 89,编号1,211-217(2024).MSC公司:03E45型 03E60年 PDF格式BibTeX公司 XML格式引用 \textit{S.Cody},J.Symb。日志。89,编号1,211--217(2024;Zbl 07827888) 全文: DOI程序 arXiv公司
威廉·陈;史蒂芬·杰克逊;越南,庄 根据分区度量,函数的几乎处处行为。 (英语) Zbl 07801006号 论坛数学。西格玛 12,论文编号e16,36 p.(2024).MSC公司:03E02号 03E60年 PDF格式BibTeX公司 XML格式引用 \textit{W.Chan}等人,《数学论坛》。Sigma 12,论文编号e16,36 p.(2024;Zbl 07801006) 全文: DOI程序 OA许可证
威廉·陈;史蒂芬·杰克逊;越南,庄 确定性下几乎不相交的家庭。 (英语) Zbl 07794560号 高级数学。 437,文章ID 109410,34 p.(2024).MSC公司:03E05号 2015年3月 03E60年 PDF格式BibTeX公司 XML格式引用 \textit{W.Chan}等人,高级数学。437,文章ID 109410,34 p.(2024;Zbl 07794560) 全文: DOI程序
安德烈亚·梅迪尼;佐尔坦,维迪尼安斯基 零维\(\σ\)-齐次空间。 (英语) Zbl 07748757号 Ann.纯粹应用。逻辑 175,第1号,文章ID 103331,21页(2024). 审核人:米罗斯拉夫·雷皮克(科希策) MSC公司:05年5月54日 2015年3月 03E60年 PDF格式BibTeX公司 XML格式引用 \textit{A.Medini}和\textit{Z.Vidnyánszky},Ann.Pure Appl。逻辑175,第1号,文章ID 103331,21页(2024;Zbl 07748757) 全文: DOI程序 arXiv公司
约翰·R·斯蒂尔。 比较引理。 (英语) Zbl 07748755号 Ann.纯粹应用。逻辑 175,第1号,文章ID 103329,37页(2024).MSC公司:03E35号 03E45型 03E55型 03E60年 PDF格式BibTeX公司 XML格式引用 \textit{J.R.Steel},Ann.纯应用。逻辑175,第1号,文章ID 103329,37页(2024;Zbl 07748755) 全文: DOI程序
伍丁·W·休 大红衣主教濒临绝境。 (英语) Zbl 07748754号 Ann.纯粹应用。逻辑 175,第1号,文章ID 103328,37页(2024).MSC公司:03E45型 03E55型 03E60年 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Woodin},Ann.《纯粹的应用》。逻辑175,第1号,文章ID 103328,37页(2024;Zbl 07748754) 全文: DOI程序
加布里埃尔·戈德堡 可衡量的基数和无选择的公理。 (英语) 兹伯利07748749 Ann.纯粹应用。逻辑 175,第1号,文章ID 103323,第26页(2024).MSC公司:03E05号 03E25型 03E55型 03E60年 PDF格式BibTeX公司 XML格式引用 \textit{G.Goldberg},Ann.《纯粹的应用》。逻辑175,第1号,文章ID 103323,26页(2024;Zbl 07748749) 全文: DOI程序 arXiv公司
施卢岑贝格(Farmer Schlutzenberg) 来自莱因哈特的伍丁红衣主教的老鼠。 arXiv公司:2402.04065 预打印,arXiv:2402.04065[math.LO](2024)。MSC公司:03E55型 03E45型 03E25型 03E60年 BibTeX公司 引用 \textit{F.Schlutzenberg},“老鼠与莱因哈特的木红雀”,预印本,arXiv:2402.04065[math.LO](2024) 全文: arXiv公司 OA许可证
Knoks、Aleks;范德托雷,利安德特 基于理性的脱离。 (英语) Zbl 07823011号 Bentzen,Bruno(编辑)等人,《人工智能和法律的逻辑》。2023年9月8日至9日和11日至12日,中国杭州,第三届新一代人工智能逻辑国际研讨会和逻辑、人工智能和法律国际研讨会联合会议记录。伦敦:学院出版物。49-65 (2023).MSC公司:68T27型 03E60年 PDF格式BibTeX公司 XML格式引用 \textit{A.Knoks}和\textit{L.van der Torre},in:人工智能和法律的逻辑。第三届新一代人工智能逻辑国际研讨会和逻辑、人工智能和法律国际研讨会联合会议记录,2023年9月8日至9日和11日至12日,中国杭州。伦敦:学院出版物。49-65(2023;Zbl 07823011) 全文: 链接
彭银河;吴刘珍;于,梁 ({\text{TD}})和({\text{sTD}}\)的一些结果。 (英语) Zbl 07781914号 J.塞姆。日志。 88,第4期,1573-1589(2023).MSC公司:03D28号 03E05号 2015年3月 03E25型 03E60年 28A80型 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{Y.Peng}等人,J.Symb。日志。88,编号4,1573-1589(2023;Zbl 07781914) 全文: DOI程序 arXiv公司
威廉·陈;史蒂芬·杰克逊;越南,庄 数不清的长度处处俱乐部统一。 (英语) Zbl 07781913号 J.塞姆。日志。 88,第4期,1556-1572(2023).MSC公司:2015年3月 03E60年 PDF格式BibTeX公司 XML格式引用 \textit{W.Chan}等人,J.Symb。日志。88,编号4,1556--1572(2023;Zbl 07781913) 全文: DOI程序
保罗·拉森。 确定性公理的扩展。 (英语) Zbl 07759242号 大学讲座系列78.罗得岛普罗维登斯:美国数学学会(AMS)(ISBN 978-1-4704-7210-8/pbk;978-1-4704-7565-9/ebook)。xiii,165页。(2023).MSC公司:03E60年 2015年3月 03E25型 03E35号 03E45型 PDF格式BibTeX公司 XML格式引用 \textit{P.B.Larson},确定性公理的扩展。普罗维登斯,RI:美国数学学会(AMS)(2023;Zbl 07759242) 全文: DOI程序
威尔逊·库埃拉·卡雷拉;诺埃·德·兰科特;瓦伦丁·费伦齐 局部Banach空间二分法和遍历空间。 (英语) Zbl 07755542号 《欧洲数学杂志》。社会(JEMS) 25,第9号,3537-3598(2023).MSC公司:46个B03 2015年3月 03E60年 5月10日 PDF格式BibTeX公司 XML格式引用 \textit{W.Cuellar Carrera}等人,《欧洲数学杂志》。Soc.(JEMS)25,编号9,3537-3598(2023;Zbl 07755542) 全文: DOI程序 arXiv公司
瓦斯科·布拉特卡 不连续性问题。 (英语) Zbl 07735950号 J.塞姆。日志。 88,第3期,1191-1212(2023).MSC公司:03日30分 03D78号 2015年3月 03E25型 03E60年 91A05型 PDF格式BibTeX公司 XML格式引用 \textit{V.Brattka},J.Symb(J.塞姆)。日志。88,编号31191-1212(2023;Zbl 07735950) 全文: DOI程序 arXiv公司
安德烈斯·科多恩·佛朗哥;拉拉·马丁·费利克斯;Manuel J.S.Loureiro。 Lipschitz和Wadge二阶算术二进制游戏。 (英语) Zbl 07719411号 Ann.纯粹应用。逻辑 174,第9号,文章ID 103301,28页(2023).MSC公司:03B30型 03E60年 35楼03号 2015年3月 PDF格式BibTeX公司 XML格式引用 \textit{A.Cordón-Franco}等人,Ann.Pure Appl。逻辑174,第9号,文章ID 103301,28页(2023;Zbl 07719411) 全文: DOI程序 链接
威廉·陈;史蒂芬·杰克逊;越南,庄 围绕第一和第二个不可数基数的更可定义的组合。 (英语) Zbl 07712961号 数学杂志。日志。 23,第3号,文章ID 2250029,31 p.(2023).MSC公司:2015年3月 03E60年 03E02号 PDF格式BibTeX公司 XML格式引用 \textit{W.Chan}等人,J.Math。日志。23,第3号,文章ID 2250029,31 p.(2023;Zbl 07712961) 全文: DOI程序
霍华德·贝克尔 波兰空间中点集上的精细拓扑。 (英语) Zbl 07704572号 芬丹。数学。 261,第2期,99-131(2023).MSC公司:2015年3月 03E60年 PDF格式BibTeX公司 XML格式引用 \textit{H.Becker},芬达姆。数学。261,编号2,99--131(2023;Zbl 07704572) 全文: DOI程序
格里戈尔·萨尔基扬 (\omega_1)上陡峭理想的负面结果。 (英语) 兹伯利07691749 J.塞姆。日志。 第2号第88页,490-509页(2023年).MSC公司:2015年3月 03E45型 03E60年 PDF格式BibTeX公司 XML格式引用 \textit{G.Sargsyan},J.Symb。日志。88,第2号,490--509(2023;Zbl 07691749) 全文: DOI程序 arXiv公司
Daniel W.坎宁安。 在强制超过\(L(\mathbb{R})\时。 (英语) Zbl 07680028号 架构(architecture)。数学。逻辑 62,编号3-4,359-367(2023).MSC公司:03E40型 03E60年 03E45型 PDF格式BibTeX公司 XML格式引用 \发短信{D·W·坎宁安},阿奇。数学。逻辑62,编号3--4,359--367(2023;Zbl 07680028) 全文: DOI程序
Dennis K·伯克。 \(\mathsf{ZF+AD}\)中的局部紧单调正规Dowker空间。 (英语) Zbl 1516.54007号 拓扑应用程序。 328,文章ID 108447,8 p.(2023). 审核人:米罗斯拉夫·雷皮克(科希策) MSC公司:54D20个 54D15号 54A35型 05年5月54日 03E60年 03E25型 PDF格式BibTeX公司 XML格式引用 \textit{D.K.Burke},拓扑应用。328,文章ID 108447,8 p.(2023;Zbl 1516.54007) 全文: DOI程序
洛根·克罗恩;利奥·菲什曼;史蒂芬·杰克逊 施密特博弈和其他交叉博弈的确定性。 (英语) Zbl 07657271号 J.塞姆。日志。 88,编号1,1-21(2023).MSC公司:2015年3月 03E60年 05年5月54日 11U99型 PDF格式BibTeX公司 XML格式引用 \textit{L.Crone}等人,J.Symb。日志。88,编号1,1--21(2023;Zbl 07657271) 全文: DOI程序 arXiv公司 链接
越南,庄 猜想和连续统假设。 (英语) Zbl 07655904号 程序。美国数学。Soc公司。 151,第4期,1775-1786(2023).MSC公司:2015年3月 03E45型 03E60年 PDF格式BibTeX公司 XML格式引用 \textit{N.Trang},程序。美国数学。Soc.151,No.4,1775-1786(2023;Zbl 07655904) 全文: DOI程序
丹·海瑟薇 应用通用编码帮助实现统一。 (英语) Zbl 07653734号 Ann.纯粹应用。逻辑 174,第4号,文章ID 103244,20页(2023).MSC公司:2015年3月 03E25型 03E35号 03E40型 03E45型 03E60年 PDF格式BibTeX公司 XML格式引用 \textit{D.Hathaway},Ann.纯苹果。逻辑174,第4号,文章ID 103244,20页(2023;Zbl 07653734) 全文: DOI程序 arXiv公司
威廉·陈 Lipschitz确定性原理等价于弱König引理。 (英语) Zbl 1523.03022号 Ann.纯粹应用。逻辑 174,第3号,文章ID 103213,14页(2023). 审核人:杰弗里·赫斯特(布恩) MSC公司:03E60年 03B30型 35楼03号 2015年3月 PDF格式BibTeX公司 XML格式引用 \textit{W.Chan},Ann.纯粹应用。逻辑174,第3号,文章ID 103213,14页(2023;Zbl 1523.03022) 全文: DOI程序
约翰·R·斯蒂尔。 鼠标对的比较过程。 (英语) 兹比尔1525.03002 逻辑课堂笔记51.剑桥:剑桥大学出版社;纽约州伊萨卡:符号逻辑协会(ASL)(ISBN 978-1-108-84068-2/hbk;978-1-108-88684-0/电子书)。xii,536页。(2023).MSC公司:03-02 03E45型 03E55型 03E60年 PDF格式BibTeX公司 XML格式引用 \textit{J.R.Steel},鼠标对的比较过程。剑桥:剑桥大学出版社;纽约州伊萨卡:符号逻辑协会(ASL)(2023;Zbl 1525.03002) 全文: DOI程序
安德烈亚·梅迪尼 确定性下零维齐次空间的一个完整分类。 arXiv:2312.10735号 预印本,arXiv:2312.10735[math.GN](2023)。MSC公司:05年5月54日 2015年3月 03E60年 BibTeX公司 引用 \textit{A.Medini},“确定性下零维齐次空间的完全分类”,Preprint,arXiv:2312.10735[math.GN](2023) 全文: arXiv公司 OA许可证
德里克·莱文森 无法访问\(\bf{\Gamma_{2n+1,m}}\)。 arXiv:2312.00278号 预打印,arXiv:2312.00278[math.LO](2023)。MSC公司:03E45型 2015年3月 03E60年 BibTeX公司 引用 \textit{D.Levinson},“$\bf{\Gamma_{2n+1,m}}$的不可访问性”,预打印,arXiv:2312.00278[math.LO](2023) 全文: arXiv公司 OA许可证
詹姆斯·阿奇利;利奥·菲什曼;塞斯内哈·加蒂 交叉游戏和伯恩斯坦集。 arXiv:2310.03039 预打印,arXiv:2310.03039[math.LO](2023)。MSC公司:03E25型 03E60年 BibTeX公司 引用 \textit{J.Atchley}等人,“交叉游戏和伯恩斯坦集”,预打印,arXiv:2310.03039[math.LO](2023) 全文: arXiv公司 OA许可证
小野洋一;帕特里克·卢茨 关于一个麻袋猜想的注记:嵌入高度三个偏序比嵌入高度二个偏序更难。 arXiv:2309.01876 预印本,arXiv:2309.01876[math.LO](2023)。MSC公司:03D28号 2015年3月 03E25型 03E35号 03E60年 BibTeX公司 引用 \textit{K.Higuchi}和\textit{P.Lutz},“关于萨克斯猜想的一个注记:嵌入高度三个偏序比嵌入高度二个偏序更难”,预印本,arXiv:230901876[math.LO](2023) 全文: arXiv公司 OA许可证
施卢岑贝格(Farmer Schlutzenberg);约翰·斯蒂尔 \(\Sigma_1)间隙作为衍生模型和小鼠的正确性。 arXiv:2307.08856 预打印,arXiv:2307.08856[math.LO](2023)。MSC公司:03E45型 03E55型 03E60年 BibTeX公司 引用 \textit{F.Schlutzenberg}和\textit{J.Steel},“$\Sigma_1$gaps作为导出模型和小鼠的正确性”,预打印,arXiv:2307.08856[math.LO](2023) 全文: arXiv公司 OA许可证
帕特里克·卢茨;本杰明·西斯金德 关于保序和保测度函数的马丁猜想的第1部分。 arXiv:2305.19646 预印本,arXiv:2305.19646[math.LO](2023)。MSC公司:03D55号 03E60年 BibTeX公司 引用 \textit{P.Lutz}和\textit{B.Siskind},“Martin关于保序和保测度函数猜想的第一部分”,预打印,arXiv:2305.19646[math.LO](2023) 全文: arXiv公司 OA许可证
Ikegami、Daisuke;越南,庄 通过强制保存AD。 arXiv公司:2304.00449 预打印,arXiv:2304.00449[math.LO](2023)。MSC公司:03E60年 03E40型 2015年3月 BibTeX公司 引用 \textit{D.Ikegami}和\textit{N.Trang},“通过强制保存AD”,预打印,arXiv:2304.00449[math.LO](2023) 全文: arXiv公司 OA许可证
加波、武彦;格里戈尔·萨尔基扬 Chang模型中的确定性。 arXiv:2302.06487 预打印,arXiv:2302.06487[math.LO](2023)。MSC公司:03E60年 03E45型 03E55型 BibTeX公司 引用 \textit{T.Gappo}和\textit{G.Sargsyan},“Chang模型中的确定性”,预印本,arXiv:2302.06487[math.LO](2023) 全文: arXiv公司 OA许可证
帕特里克·卢茨 Solecki二分法和Posner-Robinson定理几乎等价。 arXiv:2301.07259 预印本,arXiv:2301.07259[math.LO](2023)。MSC公司:2015年3月 03E60年 05年5月54日 03日30分 03天80 BibTeX公司 引用 \textit{P.Lutz},“Solecki二分法和Posner-Robinson定理几乎等价”,预印本,arXiv:2301.07259[math.LO](2023) 全文: arXiv公司 OA许可证
Ikegami、Daisuke 理想力的确定性和正则性。 (英语) 兹比尔1521.03206 数学。日志。问:。 68,编号3,310-317(2022).MSC公司:03E60年 03E35号 2015年3月 03E40型 PDF格式BibTeX公司 XML格式引用 \textit{D.Ikegami},数学。日志。企68、3号、310-317(2022;Zbl 1521.03206) 全文: DOI程序
亚历山德罗·安德雷塔;莫托·罗斯,卢卡 Souslin准阶和不可数结构的双嵌入性。 (英语) Zbl 07573745号 美国数学学会回忆录1365.普罗维登斯,RI:美国数学学会(AMS)(ISBN 978-1-4704-5273-5/pbk;978-1-4740-7097-5/电子书)。vii,189页。(2022).MSC公司:03-02 2015年3月 03E60年 03E45型 03E10年 03E47型 PDF格式BibTeX公司 XML格式引用 \textit{A.Andretta}和\textit{L.Motto-Ros},Souslin准序和不可数结构的双嵌入性。普罗维登斯,RI:美国数学学会(AMS)(2022;Zbl 07573745) 全文: DOI程序 arXiv公司
拉斐尔·卡罗伊;安德烈亚·梅迪尼;桑德拉·米勒 构建Wadge类。 (英语) Zbl 1504.03026号 牛市。符号。日志。 28,第2期,207-257(2022). 审核人:佩德罗·桑切斯·特拉夫(科尔多瓦) MSC公司:2015年3月 05年5月54日 03E60年 PDF格式BibTeX公司 XML格式引用 \textit{R.Carroy}等人,公牛。符号。日志。28,第2号,207--257(2022;Zbl 1504.03026) 全文: DOI程序 arXiv公司
卡伦·贝克·哈加;戴维·施里特赛尔;阿瑟·特恩奎斯特 最大几乎不相交的族、确定性和强制。 (英语) Zbl 1521.03137号 数学杂志。日志。 22,第1号,文章ID 2150026,第42页(2022). 审核人:史向辉(北京) MSC公司:03E05号 2015年3月 03E45型 03E60年 PDF格式BibTeX公司 XML格式引用 \文本{K.B.Haga}等人,J.Math。日志。22,第1号,文章ID 2150026,第42页(2022;Zbl 1521.03137) 全文: DOI程序 arXiv公司
Ramez L.萨米。 (Delta^1_1)确定性和(aleph_{omega_1})的变化。 (英语) Zbl 07541919号 J.塞姆。日志。 87,第2期,721-731(2022).MSC公司:03E60年 2015年3月 03E10年 PDF格式BibTeX公司 XML格式引用 \textit{R.L.萨米},J.塞姆。日志。87,编号2,721--731(2022;Zbl 07541919) 全文: DOI程序 arXiv公司
Dennis K·伯克。 (\mathsf{ZFC}\)中的仿紧;\(\mathsf{ZF}+\mathsf{AD}\)中的CWN可屏蔽Dowker。 (英语) Zbl 1494.54008号 拓扑应用程序。 312,文章ID 108074,12 p.(2022). 审核人:K.P.Hart(代尔夫特) MSC公司:54A35型 03E25型 03E60年 54D15号 54D20个 05年5月54日 PDF格式BibTeX公司 XML格式引用 \textit{D.K.Burke},拓扑应用。312,文章ID 108074,12 p.(2022;Zbl 1494.54008) 全文: DOI程序
威廉·陈;史蒂芬·杰克逊;越南,庄 可数序数序列类的大小。 (英语) Zbl 07479583号 事务处理。美国数学。Soc公司。 375,第3期,1725-1743(2022).MSC公司:03E60年 03E02号 2015年3月 03E05号 PDF格式BibTeX公司 XML格式引用 \textit{W.Chan}等人,翻译。美国数学。Soc.375,No.3,1725-1743(2022;Zbl 07479583) 全文: DOI程序
加波、武彦;格里戈尔·萨尔基扬 关于自改变宇宙的衍生模型。 (英语) Zbl 07469063号 程序。美国数学。Soc公司。 150,编号3,1321-1329(2022).MSC公司:03E55型 03E60年 03E35号 PDF格式BibTeX公司 XML格式引用 \textit{T.Gappo}和\textit{G.Sargsyan},Proc。美国数学。Soc.150,No.3,1321--1329(2022;Zbl 07469063) 全文: DOI程序 arXiv公司
伊凡·翁盖·瓦尔弗德;高个子,Franklin D。 描述集理论的一个新的拓扑推广。 arXiv公司:2210.05849 预打印,arXiv:2210.05849[math.LO](2022)。MSC公司:05年5月54日 2015年3月 2015年3月 03E55型 03E60年 54A35型 54立方厘米 54C60个 54D40型 BibTeX公司 引用 \textit{I.Ongay-Valverde}和\textit{F.D.Tall},“描述性集合理论的新拓扑推广”,预印本,arXiv:2210.05849[math.LO](2022) 全文: arXiv公司 OA许可证
汤姆·本哈莫;西蒙·加蒂;亚历杭德罗·波维达 Galvin的大基数性质及其在划分微积分中的应用。 arXiv公司:2207.07401 预打印,arXiv:2207.07401[math.LO](2022)。MSC公司:03E02号 03E35号 03E60年 BibTeX公司 引用 \textit{T.Benhamou}等人,“大基数下的Galvin性质及其在分区演算中的应用”,Preprint,arXiv:2207.07401[math.LO](2022) 全文: arXiv公司 OA许可证
约翰·斯蒂尔;越南,庄 鼠标对的缩合。 arXiv:2207.03559 预打印,arXiv:2207.03559[math.LO](2022)。MSC公司:2015年3月 03E45型 03E60年 BibTeX公司 引用 \textit{J.Steel}和\textit{N.Trang},“鼠标对的缩合”,预打印,arXiv:2207.03559[math.LO](2022) 全文: arXiv公司 OA许可证
于,梁 关于相对化Chaitin’s(\Omega\)的更多结果。 arXiv公司:2203.07576 预印本,arXiv:2203.07576[math.LO](2022)。MSC公司:03D28号 03天32分 2015年3月 03E60年 68问题30 BibTeX公司 引用 \textit{L.Yu},“关于相对化Chaitin的$\Omega$的更多结果”,Preprint,arXiv:2203.07576[math.LO](2022) 全文: arXiv公司 OA许可证
乔尔·戴维·哈姆金斯;大卫·利昂内西 无限六角是一个平局。 arXiv公司:2201.06475 预印本,arXiv:2201.06475[math.CO](2022)。MSC公司:91A44型 03E60年 BibTeX公司 引用 \textit{J.D.Hamkins}和\textit{D.Leonessi},“无限十六进制是平局”,预打印,arXiv:2201.06475[math.CO](2022) 全文: arXiv公司 OA许可证
Ikegami、Daisuke;越南,庄 关于\(\omega_1\)的超紧性。 (英语) Zbl 07615248号 Arai,Toshiyasu(编辑)等,《数理逻辑的进展》。为纪念Gaisi Takeuti教授,SAML 2018。根据2018年9月18日至20日在日本神户举行的研讨会上的陈述,对论文进行了精选和修订。新加坡:斯普林格。Springer程序。数学。《美国联邦法律大全》第369卷第27-45页(2021年)。MSC公司:03Bxx号 03埃克斯 03Fxx公司 03E55型 03E60年 03E45型 PDF格式BibTeX公司 XML格式引用 \textit{D.Ikegami}和\textit{N.Trang},施普林格程序。数学。Stat.369,27-45(2021;Zbl 07615248) 全文: DOI程序 arXiv公司
越南,庄 超紧性可以与可测性等价。 (英语) Zbl 1529.03256号 圣母院J.形式逻辑 62,第4号,593-618(2021).MSC公司:03E45型 03E60年 2015年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.Trang},圣母院J.形式逻辑62,No.4,593--618(2021;Zbl 1529.03256) 全文: DOI程序
J.P.阿奎莱拉。;P.D.韦尔奇。 \(G{delta\sigma})实域上的游戏和归纳法。 (英语) Zbl 07457795号 J.塞姆。日志。 86,第4期,1676-1690(2021).MSC公司:03B30型 03D60年 03日70 03E60年 91A44型 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Aguilera}和\textit{P.D.Welch},J.Symb。日志。86,第4号,1676--1690(2021;Zbl 07457795) 全文: DOI程序
Juan P.阿奎莱拉。 缩短Clopen游戏。 (英语) Zbl 07457789号 J.塞姆。日志。 86,第4期,1541-1554(2021).MSC公司:2015年3月 03E60年 28A05号 91A44型 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Aguilera},J.Symb。日志。86,第4号,1541--1554(2021;Zbl 07457789) 全文: DOI程序
格里戈尔·萨尔基扬;越南,庄 通用Baire集合的密封。 (英语) Zbl 07455124号 牛市。符号。日志。 27,第3期,254-266(2021).MSC公司:2015年3月 03E45型 03E60年 PDF格式BibTeX公司 XML格式引用 \textit{G.Sargsyan}和\textit{N.Trang},公牛。符号。日志。27,第3号,254--266(2021;Zbl 07455124) 全文: DOI程序 链接
桑德拉·米勒;格里戈尔·萨尔基扬 带有Woodin红衣主教的内部模型中的HOD。 (英语) Zbl 1505.03099号 J.塞姆。日志。 86,第3号,871-896(2021). 审核人:马丁·韦斯(波茨坦) MSC公司:03E45型 03E60年 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{S.Muller}和\textit{G.Sargsyan},J.Symb。日志。86,第3号,871--896(2021;Zbl 1505.03099) 全文: DOI程序 arXiv公司
安德烈斯·爱德华多·凯塞多;勒韦,贝内迪克特 2020年维多利亚-德尔菲诺十四大问题及其现状。 (英语) Zbl 1528.03001号 Kechris,Alexander S.(编辑)等人,《大基数、确定性和其他主题》。阴谋论研讨会,第四卷。论文和新材料的再版,基于1976年至1985年洛杉矶加州理工大学-加州大学洛杉矶分校逻辑阴谋论研讨会。剑桥:剑桥大学出版社;纽约州伊萨卡:符号逻辑协会(ASL)。莱克特。注释日志。49, 248-279 (2021).MSC公司:03-03 2015年3月 03E55型 03E60年 01A60型 01A61号 PDF格式BibTeX公司 XML格式引用 \textit{A.E.Caicedo}和\textit{B.Löwe},莱克特。注释日志。49、248--279(2021;Zbl 1528.03001) 全文: DOI程序 链接 链接
伊利亚斯·法拉 扩展器代数和(Sigma^2_1)-绝对性。 (英语) Zbl 1528.03209号 Kechris,Alexander S.(编辑)等人,《大基数、确定性和其他主题》。阴谋论研讨会,第四卷。论文和新材料的再版,基于1976年至1985年洛杉矶加州理工大学-加州大学洛杉矶分校逻辑阴谋论研讨会。剑桥:剑桥大学出版社;纽约州伊萨卡:符号逻辑协会(ASL)。莱克特。注释日志。49, 141-176 (2021).MSC公司:03E55型 03E60年 03E35号 03E45型 PDF格式BibTeX公司 XML格式引用 \发短信给Lect。注释日志。49、141--176(2021;Zbl 1528.03209) 全文: DOI程序 arXiv公司 链接
伍丁·W·休 \(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格式引用 \textit{W.H.Woodin},莱克特。注释日志。49、136——140(2021;Zbl 1528.03216) 全文: DOI程序 链接
伍丁·W·休 某些一致性导致使用\(\ mathsf{AD}\)来\(\ mathsf{ZFC}\)。 (英语) Zbl 1528.03207号 Kechris,Alexander S.(编辑)等人,《大基数、确定性和其他主题》。阴谋论研讨会,第四卷。论文和新材料的再版,基于1976年至1985年洛杉矶加州理工大学-加州大学洛杉矶分校逻辑阴谋论研讨会。剑桥:剑桥大学出版社;纽约州伊萨卡:符号逻辑协会(ASL)。莱克特。注释日志。49, 104-129 (2021).MSC公司:03E35号 03E60年 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Woodin},莱克特。注释日志。49104-129(2021;Zbl 1528.03207) 全文: DOI程序 链接
唐纳德·马丁。 可数长度的游戏。 (英语) Zbl 1528.03214号 Kechris,Alexander S.(编辑)等人,《大基数、确定性和其他主题》。阴谋论研讨会,第四卷。论文和新材料的再版,基于1976年至1985年洛杉矶加州理工大学-加州大学洛杉矶分校逻辑阴谋论研讨会。剑桥:剑桥大学出版社;纽约州伊萨卡:符号逻辑协会(ASL)。莱克特。注释日志。49, 96-103 (2021).MSC公司:03E60年 2015年3月 03E35号 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Martin},莱克特。注释日志。49、96-103(2021;Zbl 1528.03214) 全文: DOI程序 链接
罗伯特·M·索洛维。 \(\mathsf{DC}\)与\(\mathsf{AD}\)的独立性。 (英语) Zbl 1528.03215号 Kechris,Alexander S.(编辑)等人,《大基数、确定性和其他主题》。阴谋论研讨会,第四卷。论文和新材料的再版,基于1976年至1985年洛杉矶加州理工大学-加州大学洛杉矶分校逻辑阴谋论研讨会。剑桥:剑桥大学出版社;纽约州伊萨卡:符号逻辑协会(ASL)。莱克特。注释日志。49, 66-95 (2021).MSC公司:03E60年 03E35号 03E25型 03E45型 PDF格式BibTeX公司 XML格式引用 \textit{R.M.Solovay},莱克特。注释日志。49、66-95(2021年;Zbl 1528.03215) 全文: DOI程序 链接
亚历山大·S·凯克里斯。 “AD公司加上均匀化”相当于“Half”{广告}_\mathbb{R}\)“。 (英语) Zbl 1528.03212号 Kechris,Alexander S.(编辑)等人,《大基数、确定性和其他主题》。阴谋论研讨会,第四卷。论文和新材料的再版,基于1976年至1985年洛杉矶加州理工大学-加州大学洛杉矶分校逻辑阴谋论研讨会。剑桥:剑桥大学出版社;纽约州伊萨卡:符号逻辑协会(ASL)。莱克特。注释日志。49, 61-65 (2021).MSC公司:03E60年 03E35号 2015年3月 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Kechris},莱克特。注释日志。49、61-65(2021;Zbl 1528.03212) 全文: DOI程序 链接
保罗·拉森。 决定性的简史。 (英语) Zbl 1528.03213号 Kechris,Alexander S.(编辑)等人,《大基数、确定性和其他主题》。阴谋论研讨会,第四卷。论文和新材料的再版,基于1976年至1985年洛杉矶加州理工大学-加州大学洛杉矶分校逻辑阴谋论研讨会。剑桥:剑桥大学出版社;纽约州伊萨卡:符号逻辑协会(ASL)。莱克特。注释日志。49, 3-60 (2021).MSC公司:03E60年 03-03 2015年3月 03E55型 01A60型 01A61号 PDF格式BibTeX公司 XML格式引用 \textit{P.B.Larson},莱克特。注释日志。49,3-60(2021年;兹比尔1528.03213) 全文: DOI程序 链接
彭银河;于,梁 TD暗示\(\操作员姓名{抄送}_{\mathbb{R}}\)。 (英语) Zbl 07415169号 高级数学。 384,文章ID 107755,第7页(2021).MSC公司:03D28号 2015年3月 03E25型 03E60年 PDF格式BibTeX公司 XML格式引用 \textit{Y.Peng}和\textit{L.Yu},高级数学。384,文章ID 107755,7 p.(2021;Zbl 07415169) 全文: DOI程序 arXiv公司
格里戈尔·萨尔基扬 在衍生模型上覆盖Chang模型。 (英语) Zbl 07415147号 高级数学。 384,文章ID 107717,21 p.(2021).MSC公司:2015年3月 03E45型 03E60年 PDF格式BibTeX公司 XML格式引用 \textit{G.Sargsyan},高级数学。384,文章ID 107717,21 p.(2021;Zbl 07415147) 全文: DOI程序 arXiv公司
托马斯·卡尼亚;雅罗斯·沃·斯瓦奇纳 Banach空间中滤子基的大基数和坐标泛函的连续性。 (英语) 兹比尔1481.46008 牛市。伦敦。数学。Soc公司。 53,编号1,231-239(2021). 审核人:弗拉基米尔·卡德茨(哈尔科夫) MSC公司:46B15号机组 46小时40 03E55型 03E60年 PDF格式BibTeX公司 XML格式引用 \textit{T.Kania}和\textit{J.Swaczyna},公牛。伦敦。数学。Soc.53,No.1,231--239(2021;Zbl 1481.46008) 全文: DOI程序 arXiv公司
威廉·陈;史蒂芬·杰克逊 光滑等价关系商的有序不相交并集的基数。 (英语) 兹伯利07358548 Ann.纯粹应用。逻辑 172,第8号,文章ID 102988,第21页(2021).MSC公司:2015年3月 03E60年 03E05号 03E45型 03E35号 PDF格式BibTeX公司 XML格式引用 \textit{W.Chan}和\textit{S.Jackson},Ann.Pure Appl。逻辑172,第8号,文章ID 102988,21页(2021;Zbl 07358548) 全文: DOI程序 arXiv公司
大卫·阿斯佩罗;拉尔夫·辛德勒 马丁的最大值(^{+})暗示了伍丁的公理((*))。 (英语) Zbl 1496.03203号 安。数学。(2) 193,第3期,793-835(2021). 审核人:Yair Hayut(耶路撒冷) MSC公司:03E57型 03E55型 03E50型 03E60年 PDF格式BibTeX公司 XML格式引用 \textit{D.Asperó}和\textit{R.Schindler},Ann.数学。(2) 193,编号3793-835(2021;兹bl 1496.03203) 全文: DOI程序 链接
越南,庄;特雷弗·M·威尔逊。 从\(\omega_1\)的强紧性得到的确定性。 (英语) Zbl 1496.03205号 Ann.纯粹应用。逻辑 172,第6号,文章ID 102944,30页(2021). 审核人:史向辉(北京) MSC公司:03E60年 2015年3月 03E45型 03E55型 03E35号 PDF格式BibTeX公司 XML格式引用 \textit{N.Trang}和\textit{T.M.Wilson},Ann.Pure Appl。逻辑172,第6号,文章ID 102944,30页(2021;Zbl 1496.03205) 全文: DOI程序 arXiv公司
Juan P.阿奎莱拉。;桑德拉·米勒;菲利普·施利希特 长对策和(sigma)投射集。 (英语) 兹比尔1506.03112 Ann.纯粹应用。逻辑 172,第4号,文章ID 102939,第24页(2021).MSC公司:03E60年 03E45型 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Aguilera}等人,Ann.Pure Appl。逻辑172,第4号,文章ID 102939,24页(2021;Zbl 1506.03112) 全文: DOI程序 arXiv公司
法比亚娜·卡斯蒂布兰科;菲利普·施利希特 通过树强制保持射影确定性的水平。 (英语) Zbl 1506.03101号 Ann.纯粹应用。逻辑 172,第4号,文章ID 102918,34页(2021).MSC公司:2015年3月 03E35号 03E45型 03E55型 03E57型 03E60年 PDF格式BibTeX公司 XML格式引用 \textit{F.Castiblanco}和\textit{P.Schlicht},Ann.纯应用。逻辑172,第4号,文章ID 102918,34页(2021;Zbl 1506.03101) 全文: DOI程序 arXiv公司
格里戈尔·萨尔基扬;越南,庄 密封从可迭代性。 (英语) Zbl 1498.03121号 事务处理。美国数学。Soc.,爵士。B类 8, 229-248 (2021).MSC公司:03E45型 2015年3月 03E55型 03E60年 PDF格式BibTeX公司 XML格式引用 \textit{G.Sargsyan}和\textit{N.Trang},翻译。美国数学。Soc.,爵士。B 8,229--248(2021;Zbl 1498.03121) 全文: DOI程序
威廉·陈;史蒂芬·杰克逊 第一个不可数基数的可定义组合。 (英语) Zbl 1498.03097号 事务处理。美国数学。Soc公司。 374,第3期,2035-2056(2021).MSC公司:03E02号 03E05号 2015年3月 03E60年 PDF格式BibTeX公司 XML格式引用 \textit{W.Chan}和\textit{S.Jackson},翻译。美国数学。Soc.374,No.3,2035--2056(2021;Zbl 1498.03097) 全文: DOI程序
勒鲁克斯,圣潘;阿诺·保利 多层多结果无限序列博弈的均衡。 (英语) Zbl 1501.91019号 Inf.计算。 276,文章ID 104557,16 p.(2021).MSC公司:91A20型 91A06型 03E60年 PDF格式BibTeX公司 XML格式引用 \textit{S.Le Roux}和\textit{A.Pauly},Inf.Comput。276,文章ID 104557,16 p.(2021;Zbl 1501.91019) 全文: DOI程序 arXiv公司
格里戈尔·萨尔基扬 \(AD_{mathbb{R}})意味着所有实域集都是(Theta\)通用的Baire。 (英语) 兹比尔1498.03122 架构(architecture)。数学。逻辑 60,编号1-2,1-15(2021).MSC公司:03E60年 2015年3月 03E55型 03E45型 PDF格式BibTeX公司 XML格式引用 \textit{G.Sargsyan},拱门。数学。逻辑60,编号1--2,1--15(2021;Zbl 1498.03122) 全文: DOI程序 arXiv公司
斯特凡·霍夫纳 强制使用\(\Pi^1_n\)-均匀化属性。 arXiv:2103.11748 预印本,arXiv:2103.11748[math.LO](2021)。MSC公司:2015年3月 03E35号 03E45型 03E47型 03E55型 03E57型 03E60年 BibTeX公司 引用 \textit{S.Hoffelner},“强制$\Pi^1_n$-均匀化属性”,预打印,arXiv:2103.11748[math.LO](2021) 全文: arXiv公司 OA许可证
巴尔塞扎克,马雷克;托马斯·纳特卡尼奇;彼得亚·苏卡 以某些函数族为特征的游戏。 arXiv公司:2109.05458 预印本,arXiv:2109.05458[math.GN](2021)。MSC公司:2015年3月 03E60年 第26A21页 28A05号 05年5月54日 91A44型 BibTeX公司 引用 \textit{M.Balcerzak}等人,“具有某些函数族特征的游戏”,预打印,arXiv:2109.05458[math.GN](2021) 全文: DOI程序 arXiv公司 OA许可证
Ikegami、Daisuke \实数的(I\)-正则性、确定性和(infty\)-Borel集。 arXiv公司:2108.06632 预打印,arXiv:2108.06632[math.LO](2021)。MSC公司:2015年3月 03E60年 28A05号 BibTeX公司 引用 \textit{D.Ikegami},“$I$-正则性、确定性和$\infty$-Borel实数集”,预打印,arXiv:2108.06632[math.LO](2021) 全文: arXiv公司 OA许可证
桑德拉·米勒 当所有集合均为Baire时,确定性的一致性强度。 arXiv:2106.04244 预印本,arXiv:2106.04244[math.LO](2021)。MSC公司:03E45型 03E60年 03E55型 2015年3月 BibTeX公司 引用 \textit{S.Müller},“当所有集合都是普适Baire时确定性的一致性强度”,Preprint,arXiv:2106.04244[math.LO](2021) 全文: arXiv公司 OA许可证
Juan P.阿奎莱拉。;桑德拉·米勒 现实中的投影游戏。 (英语) Zbl 1486.03085号 圣母院J.形式逻辑 61,第4期,573-589(2020年).MSC公司:03E45型 2015年3月 03E55型 03E60年 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Aguilera}和\textit{S.米勒},圣母院J.形式逻辑61,No.4,573--589(2020;Zbl 1486.03085) 全文: DOI程序 arXiv公司
伯克哈德·沃尔德 游戏世界中的线性形式。 (英语) Zbl 1486.03092号 伦德。塞明。帕多瓦马特大学 144, 271-279 (2020).MSC公司:03E75型 03E60年 25千克 第54页第52页 PDF格式BibTeX公司 XML格式引用 \textit{B.Wald},伦德。塞明。帕多瓦马特大学144,271--279(2020;Zbl 1486.03092) 全文: DOI程序
桑德拉·米勒;拉尔夫·辛德勒;伍丁·W·休 根据最优确定性假设,具有有限多个Woodin基数的老鼠。 (英语) Zbl 1486.03086号 数学杂志。日志。 20,补遗1,文章ID 1950013,118 p.(2020).MSC公司:03E45型 03E55型 03E60年 03E35号 PDF格式BibTeX公司 XML格式引用 \textit{S.Müller}等人,J.Math。日志。20,文章ID 1950013,118 p.(2020;Zbl 1486.03086) 全文: DOI程序 arXiv公司
拉斐尔·卡罗伊;安德烈亚·梅迪尼;桑德拉·米勒 每个零维齐次空间在确定性下都是强齐次的。 (英语) Zbl 1473.54037号 数学杂志。日志。 20,第3号,文章ID 2050015,28 p.(2020). 审核人:Santi Spadaro(巴勒莫) MSC公司:05年5月54日 2015年3月 03E60年 PDF格式BibTeX公司 XML格式引用 \textit{R.Carroy}等人,《数学杂志》。日志。20,第3号,文章ID 2050015,28 p.(2020;Zbl 1473.54037) 全文: DOI程序 arXiv公司
J.P.阿奎莱拉。;蓝色,D.W。 显然\(\Delta_1\)游戏。 (英语) Zbl 1485.03220号 J.塞姆。日志。 85,第3期,1124-1146(2020).MSC公司:03E60年 03E55型 03E35号 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Aguilera}和\textit{D.W.Blue},J.Symb。日志。85,编号3,1124--1146(2020;Zbl 1485.03220) 全文: DOI程序
J.P.阿奎莱拉。 \(F_\sigma)游戏和(L(\mathbb{R})中的反射。 (英语) Zbl 1485.03193号 J.塞姆。日志。 85,第3期,1102-1123(2020).MSC公司:2015年3月 03E60年 03D60年 03日70 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Aguilera},J.Symb。日志。85,第3号,1102--1123(2020;Zbl 1485.03193) 全文: DOI程序 arXiv公司
巴顿,尼尔;克劳迪奥·特努洛;乔治·文丘里 论集合论中的证明形式。 (英语) Zbl 1477.03002号 澳大利亚。J.日志。 17,第4期,158-200(2020年).MSC公司:03A05号 03E45型 03E55型 03E60年 PDF格式BibTeX公司 XML格式引用 \textit{N.Barton}等人,澳大利亚。J.日志。17,第4号,158--200(2020;Zbl 1477.03002) 全文: DOI程序
高个子,Franklin D。 共分析空间,(K\)-分析空间,以及Menger猜想的可定义版本。 (英语) Zbl 1469.54008号 拓扑应用程序。 283,文章ID 107345,14 p.(2020). 审核人:塞缪尔·戈梅斯·达席尔瓦(萨尔瓦多) MSC公司:54A35型 54D45号 03E35号 03E75型 05年5月54日 2015年3月 03E60年 PDF格式BibTeX公司 XML格式引用 \textit{F.D.Tall},拓扑应用。283,文章ID 107345,14 p.(2020;Zbl 1469.54008) 全文: DOI程序
维托里奥·巴德 统一马丁猜想,局部。 (英语) Zbl 1485.03151号 程序。美国数学。Soc公司。 148,第12号,5369-5380(2020).MSC公司:03D28号 2015年3月 03E60年 PDF格式BibTeX公司 XML格式引用 \textit{V.Bard},程序。美国数学。Soc.148,No.12,5369--5380(2020;Zbl 1485.03151) 全文: DOI程序 arXiv公司
克洛维斯·哈梅尔;哈伊姆·霍洛维茨;萨拉、撒哈拉 图灵不变集与完美集性质。 (英语) 兹比尔1521.03147 数学。日志。问:。 66,第2期,247-250(2020年).MSC公司:2015年3月 03E60年 PDF格式BibTeX公司 XML格式引用 \textit{C.Hamel}等人,数学。日志。问66,第2号,247--250(2020;Zbl 1521.03147) 全文: DOI程序 arXiv公司
越南,庄 简要介绍内模理论的最新发展。 (英语) Zbl 1496.03201号 Coskey,Samuel(编辑)等人,《集合论趋势》。2017年9月15日至17日,美国新泽西州皮斯卡塔韦罗格斯大学举行西蒙·费斯特会议,纪念西蒙·托马斯60岁生日。普罗维登斯,RI:美国数学学会(AMS)。康斯坦普。数学。752, 175-189 (2020).MSC公司:03E45型 2015年3月 03E60年 PDF格式BibTeX公司 XML格式引用 \textit{N.Trang},康特姆。数学。752175--189(2020年;Zbl 1496.03201) 全文: DOI程序
威廉·陈 确定性组合学导论。 (英语) Zbl 1496.03204号 Coskey,Samuel(编辑)等人,《集合论趋势》。2017年9月15日至17日,美国新泽西州皮斯卡塔韦罗格斯大学举行西蒙·费斯特会议,纪念西蒙·托马斯60岁生日。普罗维登斯,RI:美国数学学会(AMS)。康斯坦普。数学。752, 21-75 (2020).MSC公司:03E60年 2015年3月 03E02号 03E05号 PDF格式BibTeX公司 XML格式引用 \textit{W.Chan},康特姆。数学。752、21-75(2020年;Zbl 1496.03204) 全文: DOI程序 arXiv公司
Daniel W.坎宁安。 与AD相一致的金刚石原理。 (英语) Zbl 1481.03052号 架构(architecture)。数学。逻辑 59,编号5-6,755-775(2020).MSC公司:03E35号 2015年3月 03E45型 03E60年 PDF格式BibTeX公司 XML格式引用 \发短信{D·W·坎宁安},阿奇。数学。逻辑59,编号5-6755-775(2020;Zbl 1481.03052) 全文: DOI程序
北卡罗来纳州德兰科特。 没有鸽子洞原则的拉姆齐理论和对抗拉姆齐原则。 (英语) Zbl 1442.05233号 事务处理。美国数学。Soc公司。 373,第7号,5025-5056(2020).MSC公司:5月10日 03E60年 46个B03 PDF格式BibTeX公司 XML格式引用 \文本{N.De Rancourt},翻译。美国数学。Soc.373,No.7,5025--5056(2020;Zbl 1442.05233) 全文: DOI程序 arXiv公司
Juan P.阿奎莱拉。;桑德拉·米勒 长射影确定性的一致性强度。 (英语) Zbl 1477.03222号 J.塞姆。日志。 85,编号1,338-366(2020).MSC公司:03E45型 03E60年 2015年3月 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{J.P.阿奎莱拉}和\textit{S.米勒},J.塞姆。日志。85,编号1,338--366(2020;Zbl 1477.03222) 全文: DOI程序 arXiv公司 链接
J.P.阿奎莱拉。 确定的容许集。 (英语) Zbl 1480.03051号 程序。美国数学。Soc公司。 148,第5期,2217-2231(2020).MSC公司:03E60年 2015年3月 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Aguilera},程序。美国数学。Soc.148,No.5,2217--2231(2020;Zbl 1480.03051) 全文: DOI程序 arXiv公司
克林顿·T·康利。;史蒂夫·杰克逊;安德鲁·马克斯(Andrew S.Marks)。;布兰登·苏厄德;罗宾·D·塔克·德罗布。 超有限性和Borel组合数学。 (英语) 兹比尔1468.03057 《欧洲数学杂志》。社会(JEMS) 22,第3期,877-892(2020年).MSC公司:2015年3月 28A05号 03E60年 37甲15 05C15号 PDF格式BibTeX公司 XML格式引用 \textit{C.T.Conley}等人,《欧洲数学杂志》。Soc.(JEMS)22,No.3,877--892(2020;Zbl 1468.03057) 全文: DOI程序 arXiv公司
佐藤,肯塔罗 基本归纳二分法:用无限的选择分离开放决定论和clopen决定论。 (英语) Zbl 1476.03075号 Ann.纯粹应用。逻辑 171,第3期,文章ID 102754,64页(2020年). 审核人:莱因哈德·卡勒(里斯本) MSC公司:03E70型 35楼03号 03日70 03E60年 03B30型 PDF格式BibTeX公司 XML格式引用 \textit{K.Sato},Ann.纯苹果。逻辑171,第3号,文章ID 102754,64页(2020;Zbl 1476.03075) 全文: DOI程序
J.P.阿奎莱拉。 确定性逻辑和选择公理。 (英语) Zbl 07135275号 Ann.纯粹应用。逻辑 171,第2号,文章ID 102745,24 p.(2020).MSC公司:05年3月 03E60年 03E25型 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Aguilera},Ann.《纯粹的应用》。逻辑171,第2号,文章ID 102745,24页(2020;Zbl 07135275) 全文: DOI程序
戴维·施里特赛尔;阿瑟·特恩奎斯特 拉姆齐地产和更高维度的疯狂家庭。 arXiv:2003.10944年 预印本,arXiv:2003.10944[math.LO](2020)。MSC公司:03E05号 2015年3月 03E60年 5月10日 03E05号 2015年3月 03E60年 5月10日 03E05号 2015年3月 03E60年 5月10日 BibTeX公司 引用 \textit{D.Schrittesser}和\textit{A.Törnquist},“拉姆齐特性和高维mad族”,预打印,arXiv:2003.10944[math.LO](2020) 全文: arXiv公司 OA许可证
戴维·施里特赛尔 最大离散集。 arXiv:2012年14月638日 预印本,arXiv:2012.14638[math.LO](2020)。MSC公司:03E05号 2015年3月 03E25型 03E35号 03E57型 03E60年 03E17年 BibTeX公司 引用 \textit{D.Schrittesser},“最大离散集”,预打印,arXiv:2012.14638[math.LO](2020) 全文: arXiv公司 OA许可证
桑德拉·米勒 确定性公理意味着小鼠的依赖性选择。 (英语) Zbl 1521.03194号 数学。日志。问:。 65,第3号,370-375(2019).MSC公司:03E45型 2015年3月 03E25型 03E60年 PDF格式BibTeX公司 XML格式引用 \textit{S.米勒},数学。日志。问65,第3号,370-375(2019;Zbl 1521.03194) 全文: DOI程序 arXiv公司
威廉·陈 等价关系的顺序可定义性和组合。 (英语) Zbl 1477.03204号 数学杂志。日志。 19,第2号,文章ID 1950009,24 p.(2019).MSC公司:03E35号 03E02号 2015年3月 03E45型 03E60年 PDF格式BibTeX公司 XML格式引用 \textit{W.Chan},J.数学。日志。19,第2号,文章ID 1950009,24 p.(2019;Zbl 1477.03204) 全文: DOI程序 arXiv公司