Santiago Suárez,Juan M。;Viale,Matteo公司 无穷逻辑的布尔值语义。 (英语) Zbl 07748759号 Ann.纯粹应用。逻辑 175,第1号,文章ID 103333,37页(2024).MSC公司:03立方厘米75 03E40型 03E75型 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Santiago Suárez}和\textit{M.Viale},Ann.Pure Appl。逻辑175,第1号,文章ID 103333,37页(2024;Zbl 07748759) 全文: 内政部 arXiv公司
乔治·文丘里;Viale,Matteo公司 二阶算法是集合论的模型伴侣。 (英语) Zbl 07680014号 架构(architecture)。数学。逻辑 62,编号1-2,29-53(2023).MSC公司:03C10号机组 03C25号 03E57型 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{G.文丘里}和\textit{M.维亚尔},拱门。数学。逻辑62,编号1--2,29-53(2023;Zbl 07680014) 全文: 内政部 arXiv公司
弗朗西斯科·帕伦特;Viale,Matteo公司 强迫的普遍性。 arXiv公司:2310.11691 预印本,arXiv:2310.11691[math.LO](2023)。 BibTeX公司 引用 \textit{F.Parente}和\textit{M.Viale},“强制的普遍属性”,预打印,arXiv:2310.11691[math.LO](2023) 全文: arXiv公司 OA许可证
大卫·阿斯珀罗;Viale,Matteo公司 不兼容的有界范畴强制公理。 (英语) Zbl 07566937号 数学杂志。日志。 22,第2号,文章ID 2250006,76 p.(2022).MSC公司:03E57型 03E35号 第37页 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{D.Asperó}和\textit{M.Viale},J.Math。日志。22,第2号,文章ID 2250006,76 p.(2022;Zbl 07566937) 全文: 内政部 arXiv公司
乔治·文丘里;Viale,Matteo公司 关于连续体问题,什么样的伙伴关系可以说。 arXiv:2204.13756 预打印,arXiv:2204.13756[math.LO](2022)。MSC公司:03C10号机组 03C25号 03E35号 03E50型 03E57型 00A30型 03年05月 BibTeX公司 引用 \textit{G.文丘里}和\textit{M.维亚尔},“关于连续体问题,什么样的模型伴侣可以说”,预打印,arXiv:2204.13756[math.LO](2022) 全文: arXiv公司 OA许可证
莫雷诺·皮耶罗朋;Viale,Matteo公司 布尔值模型、预升和étalé空间。 arXiv:2006.14852年 预印本,arXiv:2006.14852[math.LO](2020)。MSC公司:03E40型 18A40型 18层20 03C90号 03C20号 BibTeX公司 引用 \textit{M.Pierobon}和\textit{M.Viale},“布尔值模型、预升和总空间”,预印,arXiv:2006.14852[math.LO](2020) 全文: arXiv公司 OA许可证
乔治·文丘里;Viale,Matteo公司 集合论中的新公理。 (英语) Zbl 07811444号 Mat.Cult公司。Soc.,Riv.Unione Mat.意大利语。(1) 3,第3期,211-236(2018).MSC公司:03-03 03年3月30日 03E45型 03E55型 03E57型 03E65年 01A60型 PDF格式BibTeX公司 XML格式引用 \textit{G.文丘里}和\textit{M.维亚尔},Mat.Cult。Soc.,Riv.Unione Mat.意大利语。(1) 3,第3号,211--236(2018;Zbl 07811444)
大卫·阿斯佩罗;Viale,Matteo公司 不兼容的类别强制公理。 arXiv:1805.08732 预印本,arXiv:1805.08732[math.LO](2018)。 BibTeX公司 引用 \textit{D.Aspero}和\textit{M.Viale},“不兼容的类别强制公理”,预印本,arXiv:1805.08732[math.LO](2018) 全文: arXiv公司 OA许可证
乔治·奥德里托;Viale,Matteo公司 通过复活实现绝对。 (英语) Zbl 1423.03184号 数学杂志。日志。 17,第2号,文章ID 1750005,36 p.(2017).MSC公司:03E35号 03E57型 PDF格式BibTeX公司 XML格式引用 \textit{G.Audrito}和\textit{M.Viale},J.数学。日志。17,第2号,文章ID 1750005,36 p.(2017;Zbl 1423.03184) 全文: 内政部 arXiv公司
安德烈·瓦卡罗;Viale,Matteo公司 波兰空间元素的泛型绝对性和布尔名称。 (英语) Zbl 1437.03149号 波尔。Unione Mat.意大利语。 10,第3期,293-319(2017).MSC公司:03E57型 03E15年 03E35号 PDF格式BibTeX公司 XML格式引用 \textit{A.Vaccaro}和\textit{M.Viale},波尔。Unione Mat.意大利语。10,第3号,293--319(2017;Zbl 1437.03149) 全文: 内政部 arXiv公司
Viale,Matteo公司;乔治·奥德里托;西尔维娅·斯特拉 半真迭代的布尔代数方法。 arXiv公司:1402.1714 预印本,arXiv:1402.1714[math.LO](2014)。MSC公司:03E40型 BibTeX公司 引用 \textit{M.Viale}等人,“半真迭代的布尔代数方法”,预打印,arXiv:1402.1714[math.LO](2014) 全文: arXiv公司 OA许可证
肖恩·考克斯;Viale,Matteo公司 马丁的最大值和塔顶压力。 (英语) Zbl 1306.03024号 以色列。数学杂志。 197, 347-376 (2013). 审核人:Pierre Matet(卡昂) MSC公司:03E57型 03E05号 03E35号 03E40型 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{S.Cox}和\textit{M.Viale},以色列。数学杂志。197347--376(2013;Zbl 1306.03024) 全文: 内政部 arXiv公司
Viale,Matteo公司;克里斯托夫·韦 关于真强迫公理的一致性强度。 (英语) Zbl 1251.03059号 高级数学。 228,第5期,2672-2687(2011).MSC公司:03E57型 03E05号 03E35号 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{M.Viale}和\textit{C.Weiß},高级数学。228,第5号,2672--2687(2011;Zbl 1251.03059) 全文: 内政部 arXiv公司
阿萨夫·沙龙;Viale,Matteo公司 对可接近性理想进行反思的一些后果。 (英语) Zbl 1200.03029号 事务处理。美国数学。Soc公司。 362,第8期,4201-4212(2010).MSC公司:04年3月 03E55型 03E65年 PDF格式BibTeX公司 XML格式引用 \textit{A.Sharon}和\textit{M.Viale},翻译。美国数学。Soc.362,No.8,4201--4212(2010;Zbl 1200.03029) 全文: 内政部 arXiv公司
西尔维奥·瓦伦蒂尼;Viale,Matteo公司 lambda-calculus交叉类型的二进制模态逻辑。 (英语) Zbl 1035.03006号 Inf.计算。 185,第2期,211-232(2003).MSC公司:03B40型 68甲18 03B45号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{S.Valentini}和\textit{M.Viale},Inf.Comput。185,第2号,211--232(2003;Zbl 1035.03006) 全文: 内政部