编辑配置文件（在新选项卡中打开） 维姆·维尔德曼 合著者距离 作者ID： 维尔德曼·维姆 发布日期： 维姆·维尔德曼；维尔德曼，W。 外部链接： MGP公司·数据库管理程序 已编制索引的文档： 31出版物自1975年以来，包括3个附加arXiv预打印 审查活动： 42评论 合著者： 6位合著者具有5联合出版物 109合著者 全部的 前5名合著者 25 单作者的 1 马克·贝泽姆 1 哈里·斯瓦特（Harrie C.M.de Swart）。 1 W.吉伦。 1 迈克尔·詹森 1 溅出物，Bas 1 瓦尔迪克，弗兰克 全部的 前5名系列 4 符号逻辑杂志 三 数学逻辑档案 2 Indagationes Mathematicae公司。新系列 2 尼乌档案馆（Nieuw Archief voor Wiskunde）。Vijfde系列 1 德国数学实验室（DMV） 1 伦敦数学学会杂志。第二系列 1 纯逻辑与应用逻辑年鉴 1 符号逻辑公报 1 数学哲学。系列III 1 通用计算机科学杂志 1 逻辑与分析杂志 1 符号逻辑述评 全部的 前5名领域 29 数学逻辑和基础（03-XX） 4 实际功能（26年X月X日） 三 历史和传记（01-XX） 2 总体主题；集合（00-XX） 1 组合数学（05-XX） 1 阶、格、有序代数结构（06-XX） 1 测量和集成（28-XX） 1 序列、级数、可和性（40-XX） 1 算子理论（47-XX） 1 一般拓扑结构（54至XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 21出版物有被引用154中的次91文件 引用人▼ 年份▼ 直觉谓词逻辑的直觉完备性定理。 Zbl 0355.02018号 维姆·维尔德曼 31 1976 Brouwer的扇形定理作为公理，并与Kleene的备选方案形成对比。 Zbl 1327.03046号 维姆·维尔德曼 20 2014 理解和运用布劳沃的连续性原理。 Zbl 1019.03043号 维姆·维尔德曼 12 2001 克鲁斯卡尔定理的直观证明。 Zbl 1063.03046号 维姆·维尔德曼 11 2004 拉姆齐定理和直觉数学中的鸽子洞原理。 Zbl 0729.03034号 维姆·维尔德曼；马克·贝泽姆 9 1993 两个不完全是Borel的简单集合。 兹比尔1093.03034 维姆·维尔德曼 9 2005 Brouwer的近似不动点定理等价于Brouwer's fan定理。 Zbl 1167.03040号 维姆·维尔德曼 9 2009 直觉主义中的连续体假设。 Zbl 0461.03014号 W.吉伦。；德斯瓦特，H。；韦德曼。 8 1981 从Brouwer的直觉主义观点看Borel层次定理。 兹比尔1148.03039 维尔德曼，维姆 7 2008 直觉模型理论中的一些基本结果。 Zbl 0860.03041号 维姆·维尔德曼；瓦尔迪克，弗兰克 6 1996 关于集合及其双补之间的集合。 Zbl 0951.03060号 维姆·维尔德曼 5 1999 直觉描述性集合理论综述。 Zbl 0780.03029号 维姆·维尔德曼 4 1990 关于可数选择的两个公理的构造性对立。 Zbl 0532.03026号 维姆·维尔德曼 4 1982 几乎是扇形定理。 Zbl 1173.03310号 维姆·维尔德曼 4 2001 从直觉主义的观点来看无限对策的确定性问题。 Zbl 1177.03060号 维姆·维尔德曼 三 2009 也许是中间值定理。 Zbl 1128.03049号 维姆·维尔德曼 三 2005 关于线性序的直觉初等性质的一些观察。 Zbl 0691.03043号 维姆·维尔德曼；杨森，迈克尔 2 1990 踏着布鲁尔的脚步。 Zbl 1505.03134号 维姆·维尔德曼 2 2020 回顾康托尔在布鲁沃公司的第一步。 Zbl 1423.03250号 维姆·维尔德曼 2 2018 直觉主义Borel层次结构的精细结构。 Zbl 1177.03061号 维姆·维尔德曼 2 2009 直觉主义：灵感？ 兹比尔07456158 维尔德曼，维姆 1 2021 直觉主义：灵感？ Zbl 07456158号 维姆·维尔德曼 1 2021 踏着布鲁尔的脚步。 Zbl 1505.03134号 维姆·维尔德曼 2 2020 回顾康托尔在布鲁沃公司的第一步。 Zbl 1423.03250号 维姆·维尔德曼 2 2018 Brouwer的扇形定理作为公理，并与Kleene的备选方案形成对比。 Zbl 1327.03046号 维姆·维尔德曼 20 2014 Brouwer的近似不动点定理等价于Brouwer's fan定理。 Zbl 1167.03040号 维姆·维尔德曼 9 2009 从直觉主义的观点来看无限对策的确定性问题。 Zbl 1177.03060号 维姆·维尔德曼 三 2009 直觉主义Borel层次结构的精细结构。 Zbl 1177.03061号 维姆·维尔德曼 2 2009 从Brouwer的直觉主义观点看Borel层次定理。 Zbl 1148.03039号 维姆·维尔德曼 7 2008 两个不完全是Borel的简单集合。 兹比尔1093.03034 维姆·维尔德曼 9 2005 也许是中间值定理。 Zbl 1128.03049号 维姆·维尔德曼 三 2005 克鲁斯卡尔定理的直观证明。 Zbl 1063.03046号 维姆·维尔德曼 11 2004 理解和运用布劳沃的连续性原理。 Zbl 1019.03043号 维姆·维尔德曼 12 2001 几乎是扇形定理。 兹比尔1173.03310 维姆·维尔德曼 4 2001 关于集合及其双补之间的集合。 Zbl 0951.03060号 维姆·维尔德曼 5 1999 直觉模型理论中的一些基本结果。 Zbl 0860.03041号 维姆·维尔德曼；瓦尔迪克，弗兰克 6 1996 拉姆齐定理和直觉数学中的鸽子洞原理。 Zbl 0729.03034号 维姆·维尔德曼；马克·贝泽姆 9 1993 直觉描述性集合理论综述。 Zbl 0780.03029号 维姆·维尔德曼 4 1990 关于线性序的直觉初等性质的一些观察。 Zbl 0691.03043号 维姆·维尔德曼；米歇尔·扬森 2 1990 关于可数选择的两个公理的构造性对立。 Zbl 0532.03026号 维姆·维尔德曼 4 1982 直觉主义中的连续体假设。 Zbl 0461.03014号 W.吉伦。；德斯瓦特，H。；维尔德曼，W。 8 1981 直觉谓词逻辑的直觉完备性定理。 Zbl 0355.02018号 维姆·维尔德曼 31 1976 所有引用出版物 前5名被引用出版物 全部的 前5名90位作者引用 9 维姆·维尔德曼 8 石原、Hajime 6 内莫托、高子 4 田中、安仁 三 多米尼克·柯斯特 三 多米尼克·拉切·温德林（Dominique Larchey-Wendling） 三 乔安·兰德·莫肖瓦基斯 三 山姆·桑德斯 三 彼得·迈克尔舒斯特 三 马克·范·艾登 2 穆罕默德·阿德希尔 2 约瑟夫·伯杰 2 马克·比克福德 2 道格拉斯·苏思·布里奇斯 2 可口、蒂埃里 2 哈里·斯瓦特（Harrie C.M.de Swart）。 2 汉内斯·迪纳 2 雨果·赫贝林 2 Lee，Gyesik先生 2 詹姆斯·利普顿（James B.Lipton）。 2 恩里科·马蒂诺 2 拉苏尔·拉梅扎尼安 2 赫尔穆特·施维赫滕贝格 2 克里斯蒂安·斯特纳格尔 2 瓦尔迪克，弗兰克 1 斯特凡诺·贝拉尔迪 1 乌尔里希·伯杰 1 古拉姆·贝扎尼什维利 1 英戈·布莱希施密特 1 伊桑·布劳尔 1 威尔弗里德·巴赫霍尔茨 1 加布里埃尔·布里奥拉 1 托马斯·查泰恩 1 科恩、利隆 1 罗伯特·李，警察 1 初级、索兰奇优惠券 1 沃尔特·迪安 1 威廉·德洛贝尔 1 丹尼尔·齐兹戈夫斯基 1 马蒂亚斯·埃贝尔 1 很好，Kit 1 丹尼斯·菲尔索夫 1 亨利克·福赛尔 1 藤原真本 1 Yvon Gauthier 1 亨特拉斯，马修·拉尔夫·约翰 1 奥利维尔·赫曼特 1 阿亚娜·平田 1 劳埃德·亨伯斯通 1 伊利克、丹科 1 Tatsuji Kawai 1 佐藤健太郎 1 维克托·科门科 1 木原隆树 1 维克托·克里夫佐夫（Victor N.Krivtsov）。 1 Chuck Liang先生 1 彼得·勒法努·卢姆斯代恩 1 阿西亚·马布比 1 马尔滕·麦库布雷·乔登斯 1 迈克尔·门德勒 1 莫肖瓦基斯，伊安尼斯·尼古拉斯 1 萨托鲁·尼基 1 达格·诺曼 1 迈克尔·奥唐纳。 1 小川，水井裕人 1 大森，Hitoshi 1 罗伯特·帕ß曼 1 卡尔·J·波西。 1 文森特·拉里 1 佐藤，肯塔罗 1 斯蒂芬·谢勒 1 莫尼卡·塞森伯格 1 Jan M.史密斯。 1 溅出物，Bas 1 杰克·道格拉斯·斯特彻 1 西尔维娅·斯特拉 1 马修·斯通。 1 铃木，Nobu-Yuki 1 塔尔莫乌斯塔卢 1 加里法利亚·瓦菲亚杜 1 德克·范·达伦 1 尼科洛·维尔特里 1 库马拉斯瓦米（Vela）Velupillai 1 肖恩·沃尔什 1 韦伯，扎克 1 多米尼克·韦尔 1 耶鲁大学维斯 1 弗兰齐斯库斯·维斯内 1 沃伦斯基，简 1 横山，Keita 全部的 前5名34篇连载文章中引用 9 纯逻辑与应用逻辑年鉴 9 数学逻辑档案 6 哲学逻辑杂志 5 Indagationes Mathematicae公司。新系列 4 符号逻辑杂志 三 理论计算机科学 三 数学逻辑季刊（MLQ） 2 信息与计算 2 计算机科学中的数学结构 2 符号逻辑公报 2 符号逻辑述评 2 ISRN应用数学 2 ISRN计算数学 1 Archive für Mathematische Logik und Grundlagenforschung公司 1 信息处理信件 1 德国数学实验室（DMV） 1 Semesterberichte数学 1 应用数学与计算 1 圣母院形式逻辑期刊 1 Studia Logica公司 1 合成 1 逻辑科公报 1 逻辑历史与哲学 1 自动推理杂志 1 运筹学年鉴 1 工程、通信和计算中的应用代数 1 逻辑、语言与信息杂志 1 埃尔肯特尼斯 1 科学基础 1 逻辑与代数程序设计杂志 1 新数学与自然计算 1 泛逻辑 1 计算机科学中的逻辑方法 1 逻辑与分析杂志 全部的 前5名17个字段中引用 82 数学逻辑和基础（03-XX） 17 计算机科学（68至XX） 8 一般拓扑结构（54至XX） 5 博弈论、经济学、金融和其他社会和行为科学（91-XX） 4 历史和传记（01-XX） 三 阶、格、有序代数结构（06-XX） 三 实际功能（26年X月X日） 2 组合数学（05-XX） 2 测量和集成（28-XX） 2 功能分析（46-XX） 1 总体主题；集合（00-XX） 1 数论（11-XX） 1 交换代数（13-XX） 1 范畴理论；同调代数（18-XX） 1 序列、级数、可和性（40-XX） 1 量子理论（81-XX） 1 系统论；控制（93至XX） 按年份列出的引文