胡安·苏亚雷斯。;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公司 强强迫公理和连续体问题[在Asperó's和Schindler证明\（mathrm{MM}^{+}\）暗示Woodin公理\（*）\之后]。（轴心力消除堡垒和连续形地台[suivant la démonstration d’Asperóet Schindler que（\mathrm{MM}^{+}）entrane l'axiome de Woodin（（*）\）]。） （英语） Zbl 07827471号 塞米纳伊尔·布尔巴吉。第2021/2022卷。博览会1197-1210。巴黎：法国数学协会（SMF）。Astérisque 446，383-416，Exp.No.1207（2023）。MSC公司：03E35号 03E50型 03E57型 03C10号机组 00A30型 03年05月 PDF格式BibTeX公司 XML格式引用 \textit｛M.Viale｝，Astérisque 446，383-416，实验编号1207（2023；Zbl 07827471） 全文： 内政部
乔治·文丘里;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公司 强强迫公理和连续体问题（根据Asperó's和Schindler的证明，\（mathbf{MM}^{+}\）暗示了Woodin公理\（（*）\））。 arXiv:2305.07784 预印本，arXiv：2305.07784[math.LO]（2023）。MSC公司：03E57型 03E50型 03E50型 03C10号机组 BibTeX公司 引用 \textit{M.Viale}，“强强迫公理和连续体问题（遵循Asper\o和Schindler关于$\mathbf{MM}^{+}$暗示Woodin公理$（*）$）的证明”，预印，arXiv:2305.07784[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公司 绝对模式的陪伴、强制力和连续体问题。 arXiv公司：2109.02285 预打印，arXiv:2109.02285[math.LO]（2021）。MSC公司：03E57型 03C10号机组 BibTeX公司 引用 \textit{M.Viale}，“绝对模型伴随、强制力和连续体问题”，Preprint，arXiv:2109.02285[math.LO]（2021） 全文： arXiv公司 OA许可证
Viale，Matteo公司 另一个证明是（mathsf{MM}^{+}）暗示了伍丁公理（（*））。 arXiv:2111.03856 预打印，arXiv:2111.03856[math.LO]（2021）。MSC公司：03E35号 03E57型 BibTeX公司 引用 \textit{M.Viale}，“$\mathsf{MM}^{+}$暗示Woodin公理$（*）$的另一个证明”，预打印，arXiv:2111.03856[math.LO]（2021） 全文： arXiv公司 OA许可证
Viale，Matteo公司 集合论的模型伴随谱、类属绝对性和连续体问题。 arXiv:2101.07573 预印本，arXiv:22101.07573[math.LO]（2021）。MSC公司：03C10号机组 03E57型 BibTeX公司 引用 \textit{M.Viale}，“集合论的模型伴随谱、一般绝对性和连续体问题”，预印本，arXiv:2101.07573[math.LO]（2021） 全文： 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公司 集合论的驯服（II）。 arXiv:2003.07120号 预印本，arXiv:2003.07120[math.LO]（2020）。MSC公司：03E55型 03E57型 03C10号机组 BibTeX公司 引用 \textit{M.Viale}，“集合理论的驯服$II$”，预印本，arXiv:2003.07120[math.LO]（2020） 全文： arXiv公司 OA许可证
Viale，Matteo公司 集合论的驯服（I）。 arXiv:2003.07114号 预印本，arXiv:2003.07114[math.LO]（2020）。MSC公司：03E55型 03E57型 03C10号机组 BibTeX公司 引用 \textit{M.Viale}，“集合理论的驯服$I$”，预印本，arXiv:2003.07114[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公司 通过复活实现绝对。 （英语） 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公司 迫使Schanuel猜想的一种弱形式成为事实。 （英语） 兹伯利1426.03032 融合数学。 8，第2号，59-83（2016）.MSC公司：03E35号 03C60型 03E40型 03E57型 03E60年 03E75型 11J81型 PDF格式BibTeX公司 XML格式引用 \textit｛M.Viale｝，冲突数学。8，第2号，59--83（2016；Zbl 1426.03032） 全文： 内政部
Viale，Matteo公司 范畴强制、（mathsf{MM}^{++}）和强强制公理理论的一般绝对性。 （英语） Zbl 1403.03108号 美国数学杂志。Soc公司。 29，第3期，675-728（2016）.MSC公司：03E57型 03E35号 03E40型 PDF格式BibTeX公司 XML格式引用 \textit{M.Viale}，J.Am.数学。Soc.29，No.3，675--728（2016；Zbl 1403.03108） 全文： 内政部 arXiv公司
Viale，Matteo公司 重温了马丁的极限。 （英语） Zbl 1403.03104号 架构（architecture）。数学。逻辑 55，编号1-2，295-317（2016）.MSC公司：03E35号 03E40型 03E57型 PDF格式BibTeX公司 XML格式引用 \textit{M.Viale}，拱门。数学。逻辑55，No.1--2，295--317（2016；Zbl 1403.03104） 全文： 内政部 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公司 猜测模型和广义Laver菱形。 （英语） Zbl 1270.03084号 Ann.纯粹应用。逻辑 163，第11号，1660-1678（2012）.MSC公司：03E05号 03E35号 03E55型 03E65年 PDF格式BibTeX公司 XML格式引用 \textit{M.Viale}，Ann.纯苹果。逻辑163，No.11660--1678（2012；Zbl 1270.03084） 全文： 内政部 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公司 一个覆盖财产家族。 （英语） Zbl 1146.03033号 数学。Res.Lett公司。 15，编号2-3，221-238（2008）.MSC公司：03E05号 03E45型 03E65年 PDF格式BibTeX公司 XML格式引用 \textit{M.Viale}，数学。Res.Lett公司。15，编号2--3，221--238（2008；Zbl 1146.03033） 全文： 内政部
Viale，Matteo公司 强制公理，超紧基数，奇异基数组合。 （英语） Zbl 1150.03015号 牛市。符号。日志。 14，第1期，99-113（2008）. 审核人：J.M.Plotkin（东兰辛） MSC公司：03E05号 04年3月 03E35号 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{M.Viale}，公牛。符号。日志。14，编号1，99-113（2008；Zbl 1150.03015） 全文： 内政部 链接
Viale，Matteo公司 强制公理和强紧基数的一组覆盖性质。 arXiv:数学/0703091 预打印，arXiv:math/0703091[math.LO]（2007）。MSC公司：03E05号 03E10年 03E65年 03E75型 BibTeX公司 引用 \textit{M.Viale}，“强制公理和强紧基数的覆盖性质族”，Preprint，arXiv:math/0703091[math.LO]（2007） 全文： arXiv公司
Viale，Matteo公司 适当的强制公理和奇异基数假设。 （英语） Zbl 1098.03053号 J.塞姆。日志。 71，第2期，473-479（2006）.MSC公司：03E05号 03E10年 03E65年 PDF格式BibTeX公司 XML格式引用 \textit{M.Viale}，J.Symb。日志。71，第2号，473--479（2006；Zbl 1098.03053） 全文： 内政部 arXiv公司
Viale，Matteo公司 ZFA的累积层次结构和可构造的宇宙。 （英语） Zbl 1035.03029号 数学。日志。问：。 50，第1期，99-103（2004）.MSC公司：03E70型 PDF格式BibTeX公司 XML格式引用 \textit{M.Viale}，数学。日志。企50，第1号，99-103（2004；Zbl 1035.03029） 全文： 内政部
西尔维奥·瓦伦蒂尼;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） 全文： 内政部