费多尔·帕霍莫夫;阿尔伯特·维瑟 有限公理化理论缺乏自我理解。 (英语) Zbl 07740288号 牛市。伦敦。数学。Soc公司。 54,第6期,2513-2531(2022).MSC公司:35层03 03F40型 03E40型 PDF格式BibTeX公司 XML格式引用 \textit{F.Pakhomov}和\textit{A.Visser},公牛。伦敦。数学。Soc.54,No.62513--2531(2022;Zbl 07740288) 全文: DOI程序 arXiv公司
阿尔伯特·维瑟 弗里德曼-灵活性。 (英语) Zbl 1521.03221号 Ann.纯粹应用。逻辑 173,第9期,文章ID 103160,41页(2022). 审核人:卢卡斯·斯蒂芬(克拉科夫) MSC公司:35层03 30楼03号 03F40型 PDF格式BibTeX公司 XML格式引用 \textit{A.Visser},Ann.纯苹果。逻辑173,第9号,文章ID 103160,41页(2022;Zbl 1521.03221) 全文: DOI程序 OA许可证
费多尔·帕霍莫夫;阿尔伯特·维瑟 关于克拉耶夫斯基的一个问题。 (英语) Zbl 1441.03010号 J.塞姆。日志。 84,第1号,343-358(2019). 审核人:布拉尼斯拉夫·博里奇奇(贝尔格莱德) MSC公司:03年10月 03B30型 03日30分 35层03 PDF格式BibTeX公司 XML格式引用 \textit{F.Pakhomov}和\textit{A.Visser},J.Symb。日志。84,第1号,343--358(2019;Zbl 1441.03010) 全文: DOI程序 arXiv公司 链接
塔德乌兹·利塔克;阿尔伯特·维瑟 Lewis与Brouwer会面:建设性的严格暗示。 (英语) Zbl 1436.03137号 印度。数学。,新序列号。 29,第1号,36-90(2018).MSC公司:03B45号 03B20型 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{T.Litak}和\textit{A.Visser},印度。数学。,新序列号。29,编号1,36-90(2018;兹bl 1436.03137) 全文: DOI程序 arXiv公司
阿尔伯特·维瑟 在\(\mathsf{Q}\)上。 (英语) Zbl 1420.03143号 软计算。 21,第1号,39-56(2017).MSC公司:30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{A.Visser},软计算。21,第1号,39-56(2017;Zbl 1420.03143) 全文: DOI程序 OA许可证
阿尔伯特·维瑟 皮诺·科尔托和皮诺·巴索:弱理论背景下的局部归纳研究。 (英语) 兹比尔1326.03071 数学。日志。问:。 60,编号1-2,92-117(2014).MSC公司:30楼03号 35层03 PDF格式BibTeX公司 XML格式引用 \textit{A.Visser},数学。日志。问60,编号1--2,92-117(2014;Zbl 1326.03071) 全文: DOI程序
阿尔伯特·维瑟 关于方案公理化的沃特定理。 (英语) Zbl 1272.03063号 牛市。符号。日志。 18,第3期,382-402(2012). 审核人:詹姆·加斯帕(里斯本) MSC公司:03年10月 03B30型 35层03 PDF格式BibTeX公司 XML格式引用 \textit{A.Visser},公牛。符号。日志。18,第3号,382--402(2012;Zbl 1272.03063) 全文: DOI程序 欧几里得 链接
阿尔伯特·维瑟 休谟的原则,开始。 (英语) Zbl 1232.03054号 版本符号。日志。 4,第1期,114-129(2011).MSC公司:30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{A.Visser},版本符号。日志。4,第1号,114--129(2011;Zbl 1232.03054) 全文: DOI程序
迪克·德·乔恩;韦布鲁克(Rineke Verbrugge);阿尔伯特·维瑟 中间逻辑和de Jongh属性。 (英语) Zbl 1233.03033号 架构(architecture)。数学。逻辑 50,编号1-2,197-213(2011). 审核人:Mohammad Ardeshir(德黑兰) MSC公司:03B55型 03B20型 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{D.de Jongh}等人,Arch。数学。逻辑50,No.1--2,197--213(2011;Zbl 1233.03033) 全文: DOI程序 OA许可证