编辑配置文件（在新选项卡中打开） 雅普·范·奥斯汀 合著者距离 作者ID： van-oosten.jaap公司 发布日期： 雅普·范·奥斯汀;雅普·凡·奥斯滕;van Oosten，J。 更多。。。较少的 已编制索引的文档： 35出版物自1990年以来，包括2本书 4作为编辑的贡献 合著者： 16位合著者具有17联合出版物 323合著作者 全部的 前5名合著者 22 单作者的 三 拉尔斯·比克达尔 2 埃里克·恩斯特·费伯 2 朱塞佩·罗索里尼 2 达娜·斯图尔特·斯科特 2 亚历克斯·K·辛普森。 1 汤姆·J·德容。 1 马丁·霍夫曼 1 彼得·霍夫斯特拉（Pieter J.W.Hofstra）。 1 朱丽叶·卡拉·肯尼迪 1 克莱尔·库文霍文·盖蒂尔 1 李·索丽 1 Moerdijk，比如 1 哈罗德·谢林克斯 1 托马斯·斯特里彻 1 Niels F.W.Voorneveld。 1 邹廷祥 全部的 前5名系列 7 纯逻辑与应用逻辑年鉴 5 符号逻辑杂志 三 纯代数与应用代数杂志 三 MSCS公司。计算机科学中的数学结构 2 圣母院形式逻辑杂志 2 数学逻辑档案 2 范畴的理论与应用 2 尼乌档案馆（Nieuw Archief voor Wiskunde）。Vijfde系列 1 剑桥哲学学会数学进展杂志 1 理论计算机科学 1 Indagationes Mathematicae公司。新系列 1 符号逻辑公报 1 逻辑与数学基础研究 1 理论计算机科学电子笔记 1 计算机科学中的逻辑方法 1 可计算性 1 斯普林格本科生数学系列 全部的 前5名领域 29 数学逻辑和基础（03-XX） 23 范畴理论；同调代数（18-XX） 9 计算机科学（68至XX） 7 总体主题；集合（00-XX） 2 代数拓扑（55-XX） 1 历史和传记（01-XX） 1 一般代数系统（08-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 27出版物被引用243中的次155文件 引用人▼ 年份▼ 可实现性。介绍其明确的一面。 Zbl 1225.03002号 雅普·范·奥斯汀 90 2008 有序部分组合代数。 Zbl 1046.03038号 彼得·霍夫斯特拉;雅普·范·奥斯汀 18 2003 Lifschitz的可实现性。 Zbl 0704.03040号 雅普·范·奥斯汀 13 1990 修改后的可实现性拓扑。 Zbl 0882.03059号 雅普·范·奥斯汀 12 1997 现实性：一篇历史文章。 Zbl 1003.03003号 雅普·范·奥斯汀 11 2002 有限型序列泛函的组合代数。 Zbl 0939.03018号 雅普·范·奥斯汀 10 1999 相对和修改后的相对可实现性。 兹比尔1012.03066 拉尔斯·比克达尔;雅普·范·奥斯汀 9 2002 代数集理论和有效拓扑。 Zbl 1089.03044号 克莱尔·库文霍文·盖蒂尔;雅普·范·奥斯汀 8 2005 相对递归的一般形式。 Zbl 1113.03014号 雅普·范·奥斯汀 8 2006 有效地形的基本子主题。 Zbl 1288.18001号 李·索丽;雅普·范·奥斯汀 7 2013 更多关于可实现拓扑之间的几何形态。 Zbl 1316.18006号 埃里克·费伯;雅普·范·奥斯汀 7 2014 公理化高阶Kleene可实现性。 Zbl 0810.03047号 雅普·范·奥斯汀 7 1994 扩展可实现性。 Zbl 0882.03060号 雅普·范·奥斯汀 7 1997 将Lifschitz的可实现性推广到高阶算法，以及F.Richman问题的解决方案。 Zbl 0743.03036号 雅普·范·奥斯汀 6 1991 德容定理的语义证明。 Zbl 0712.03047号 雅普·范·奥斯汀 4 1991 有效拓扑的同伦概念。 Zbl 1362.18006号 雅普·范·奥斯汀 4 2015 合成域理论中的公理和（反例）示例。 Zbl 0961.18006号 雅普·范·奥斯汀;亚历克斯·K·辛普森。 4 2000 函数的部分组合代数。 Zbl 1248.03026号 雅普·范·奥斯汀 三 2011 PCA中类型2的有效操作。 兹比尔1437.03136 埃里克·费伯;雅普·范·奥斯汀 三 2016 a.M.Pitts本地操作员的可实现性。 兹伯利1418.03148 雅普·范·奥斯汀 2 2014 Scott图模型和Kleene第二代数的推广。 Zbl 1436.03239号 雅普·范·奥斯汀;尼尔斯·沃诺内维尔 2 2018 关于Lifschitz可实现拓扑的两个备注。 Zbl 0854.03059号 雅普·范·奥斯汀 2 1996 实现性良好。 Zbl 1112.03058号 M.霍夫曼。;van Oosten，J。;斯特里彻，T。 2 2006 书评：单价基础计划，同伦类型理论。数学的单价基础。 Zbl 1336.00105号 雅普·范·奥斯汀 1 2014 经典和相对可实现性。 Zbl 1403.03023号 雅普·凡·奥斯滕;邹廷祥 1 2016 分数纤维和结石。 Zbl 0937.18009号 雅普·范·奥斯汀 1 2000 修正可实现性的部分分析。 Zbl 1081.03060号 雅普·范·奥斯汀 1 2004 Scott图模型和Kleene第二代数的推广。 Zbl 1436.03239号 雅普·范·奥斯汀;尼尔斯·沃诺内维尔 2 2018 PCA中类型2的有效操作。 Zbl 1437.03136号 埃里克·费伯;雅普·范·奥斯汀 三 2016 经典和相对可实现性。 Zbl 1403.03023号 雅普·凡·奥斯滕;邹廷祥 1 2016 有效拓扑的同伦概念。 Zbl 1362.18006号 雅普·范·奥斯汀 4 2015 更多关于可实现拓扑之间的几何形态。 Zbl 1316.18006号 埃里克·费伯;雅普·范·奥斯汀 7 2014 a.M.Pitts本地操作员的可实现性。 Zbl 1418.03148号 雅普·范·奥斯汀 2 2014 书评：单价基础计划，同伦类型理论。数学的单价基础。 Zbl 1336.00105号 雅普·范·奥斯汀 1 2014 有效地形的基本子主题。 兹比尔1288.18001 李·索丽;雅普·范·奥斯汀 7 2013 函数的部分组合代数。 Zbl 1248.03026号 雅普·范·奥斯汀 三 2011 可实现性。介绍其明确的一面。 Zbl 1225.03002号 雅普·范·奥斯汀 90 2008 相对递归的一般形式。 Zbl 1113.03014号 雅普·范·奥斯汀 8 2006 实现性良好。 Zbl 1112.03058号 M.霍夫曼。;van Oosten，J。;斯特里彻，T。 2 2006 代数集合论和有效拓扑。 Zbl 1089.03044号 克莱尔·库文霍文·盖蒂尔;雅普·范·奥斯汀 8 2005 修正可实现性的部分分析。 Zbl 1081.03060号 雅普·范·奥斯汀 1 2004 有序部分组合代数。 Zbl 1046.03038号 彼得·霍夫斯特拉;雅普·范·奥斯汀 18 2003 现实性：一篇历史文章。 Zbl 1003.03003号 雅普·范·奥斯汀 11 2002 相对和修改后的相对可实现性。 Zbl 1012.03066号 拉尔斯·比克达尔;雅普·范·奥斯汀 9 2002 合成域理论中的公理和（反例）示例。 Zbl 0961.18006号 雅普·范·奥斯汀;亚历克斯·K·辛普森。 4 2000 分数纤维和结石。 Zbl 0937.18009号 雅普·范·奥斯汀 1 2000 有限型序列泛函的组合代数。 Zbl 0939.03018号 雅普·范·奥斯汀 10 1999 修改后的可实现性拓扑。 Zbl 0882.03059号 雅普·范·奥斯汀 12 1997 扩展可实现性。 Zbl 0882.03060号 雅普·范·奥斯汀 7 1997 关于Lifschitz可实现拓扑的两个备注。 Zbl 0854.03059号 雅普·范·奥斯汀 2 1996 公理化高阶Kleene可实现性。 Zbl 0810.03047号 雅普·范·奥斯汀 7 1994 将Lifschitz的可实现性推广到高阶算法，以及F.Richman问题的解决方案。 兹伯利0743.03036 雅普·范·奥斯汀 6 1991 德容定理的语义证明。 Zbl 0712.03047号 雅普·范·奥斯汀 4 1991 Lifschitz的可实现性。 Zbl 0704.03040号 雅普·范·奥斯汀 13 1990 所有引用出版物 前5名被引用出版物 全部的 前5名124位作者引用 13 雅普·范·奥斯汀 11 托马斯·斯特里彻 9 本诺·范登伯格 8 迈克尔·拉特扬 6 安德烈·鲍尔 6 玛丽亚·艾米莉亚·梅耶蒂 5 弗雷、乔纳斯 5 彼得·霍夫斯特拉（Pieter J.W.Hofstra）。 5 萨缪尔·马斯基奥 5 亚历克斯·K·辛普森。 5 塞巴斯蒂安·特维恩。 4 罗莎莉，伊姆霍夫 4 罗伯特·卢巴斯基。 4 奥克塔维奥·马勒贝 4 罗伯特·帕曼 4 安德鲁·斯旺。 4 阿尔伯特·维瑟 三 英戈·布莱希施密特 三 沃尔特·里卡多·费雷尔·桑托斯 三 Rutger Kuyper公司 三 约翰·朗利。 三 乔安·兰德·莫肖瓦基斯 三 法比奥·帕斯夸利 三 佐藤，肯塔罗 三 霍尔格·蒂斯 三 戴维·特罗塔 三 Jetze Zoethout 2 史蒂夫·阿沃迪 2 亨德里克·彼得·巴伦德雷格特 2 罗斯·波勒 2 塞缪尔·R·巴斯。 2 梅林·卡尔 2 科科特，J.罗宾B。 2 托马斯·埃尔哈德 2 煎炸，伊曼纽尔 2 洛伦佐·加莱奥蒂 2 毛里西奥·吉列尔莫 2 海兰德·J·马丁·E·。 2 石原、Hajime 2 木原隆树 2 乌尔里希·威廉·科伦巴赫 2 米查尔·科内奇 2 马蒂亚斯·梅尼 2 亚历山大·米克尔 2 Moerdijk，比如 2 内莫托、高子 2 安德烈·普拉泽 2 朱塞佩·罗索里尼 2 弗洛里安·斯坦伯格 2 上村，太极 1 纳撒内尔·利多姆·阿克曼 1 Alías，Luis J。 1 武藏县阿拉塔克 1 桑卡S.巴苏。 1 英戈·巴滕菲尔德 1 乌尔里希·伯杰 1 拉尔斯·比克达尔 1 皮埃尔·布德斯 1 加布里埃尔·布里奥拉 1 卡斯滕·布茨 1 陈雷明 1 杰斯珀·考克斯 1 科恩、利隆 1 汤姆·J·德容。 1 迪克·乔恩。 1 瓦莱里亚·德·佩瓦 1 多米尼克·德夫里塞 1 亚历杭德罗·迪亚斯·卡洛 1 汉内斯·迪纳 1 布鲁诺·迪尼斯 1 弗朗索瓦·吉尔伯特·多雷 1 埃里克·恩斯特·费伯 1 索菲亚·阿布雷乌，法罗 1 丹尼尔·菲格罗亚。 1 丹·弗鲁明 1 尼古拉·甘比诺 1 安东·戈洛夫 1 Hasuo，一郎 1 Susumu Hayashi 1 马丁·霍夫曼 1 星野直彦 1 Hötzel Escardó，马汀 1 侯铁英 1 茨万科伊尔贾佐维奇 1 黛博拉·英佩拉 1 彼得·约翰斯通（Peter T.Johnstone）。 1 卡夫沃斯，G.A。 1 佐藤·肯塔罗 1 克莱尔·库文霍文·盖蒂尔 1 李·索丽 1 彼得·利兹 1 詹姆斯·利普顿（James B.Lipton）。 1 塔德乌兹·利塔克 1 彼得·勒法努·卢姆斯代恩 1 埃蒂安·米基 1 中田聪 1 艾克·诺依曼 1 迈克尔·奥唐纳。 1 拉格罗·帕格南 1 马丁·佩普 …还有24位作者 全部的 前5名24篇连载文章中引用 38 纯逻辑与应用逻辑年鉴 17 MSCS公司。计算机科学中的数学结构 11 符号逻辑杂志 11 数学逻辑档案 8 理论计算机科学 8 计算机科学中的逻辑方法 6 纯代数与应用代数杂志 4 剑桥哲学学会数学进展杂志 三 圣母院形式逻辑杂志 三 Indagationes Mathematicae公司。新系列 三 符号逻辑公报 2 应用的分类结构 2 范畴的理论与应用 2 Oberwolfach报告 2 泛逻辑 2 可计算性 1 Studia Logica公司 1 信息与计算 1 《数理逻辑季刊》 1 函数编程杂志 1 第比利斯数学杂志 1 符号逻辑述评 1 数学科学研究 1 美国数学学会会刊。B系列 全部的 前5名在14个字段中引用 139 数学逻辑和基础（03-XX） 61 范畴理论；同调代数（18-XX） 33 计算机科学（68至XX） 9 阶、格、有序代数结构（06-XX） 6 代数拓扑（55-XX） 三 总体主题；集合（00-XX） 三 量子理论（81-XX） 2 交换代数（13-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 历史和传记（01-XX） 1 一般代数系统（08-XX） 1 微分几何（53至XX） 1 一般拓扑结构（54至XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文