编辑配置文件（在新选项卡中打开） 雅普·范·奥斯汀 合著者距离 作者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文件 引用人▼ 年份▼ 可实现性。介绍其明确的一面。 兹比尔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 相对和修改后的相对可实现性。 Zbl 1012.03066号 拉尔斯·比克达尔；雅普·范·奥斯汀 9 2002 相对递归的一般形式。 Zbl 1113.03014号 雅普·范·奥斯汀 8 2006 代数集理论和有效拓扑。 Zbl 1089.03044号 库文霍文·真蒂尔，克莱尔；雅普·范·奥斯汀 8 2005 公理化高阶Kleene可实现性。 Zbl 0810.03047号 雅普·范·奥斯汀 7 1994 有效地形的基本子主题。 Zbl 1288.18001号 李·索丽；雅普·范·奥斯汀 7 2013 更多关于可实现拓扑之间的几何形态。 Zbl 1316.18006号 埃里克·费伯；雅普·范·奥斯汀 7 2014 可扩展性。 Zbl 0882.03060号 雅普·范·奥斯汀 7 1997 将Lifschitz的可实现性推广到高阶算法，以及F.Richman问题的解决方案。 Zbl 0743.03036号 雅普·范·奥斯汀 6 1991 德容定理的语义证明。 Zbl 0712.03047号 雅普·范·奥斯汀 4 1991 合成域理论中的公理和（反例）示例。 Zbl 0961.18006号 雅普·范·奥斯汀；亚历克斯·K·辛普森。 4 2000 有效拓扑的同伦概念。 Zbl 1362.18006号 雅普·范·奥斯汀 4 2015 函数的部分组合代数。 Zbl 1248.03026号 雅普·范·奥斯汀 三 2011 PCA中类型2的有效操作。 Zbl 1437.03136号 埃里克·费伯；雅普·范·奥斯汀 三 2016 实现性良好。 兹伯利1112.03058 M.霍夫曼。；van Oosten，J。；斯特里彻，T。 2 2006 a.M.Pitts本地操作员的可实现性。 Zbl 1418.03148号 雅普·范·奥斯汀 2 2014 关于Lifschitz可实现拓扑的两个注释。 Zbl 0854.03059号 雅普·范·奥斯汀 2 1996 Scott图模型和Kleene第二代数的推广。 Zbl 1436.03239号 雅普·范·奥斯汀；尼尔斯·沃诺内维尔 2 2018 修正可实现性的部分分析。 Zbl 1081.03060号 雅普·范·奥斯汀 1 2004 分数纤维和结石。 Zbl 0937.18009号 雅普·范·奥斯汀 1 2000 书评：单价基础计划，同伦类型理论。数学的单价基础。 Zbl 1336.00105号 雅普·范·奥斯汀 1 2014 经典和相对可实现性。 Zbl 1403.03023号 雅普·凡·奥斯滕；邹廷祥 1 2016 Scott图模型和Kleene第二代数的推广。 兹比尔1436.03239 雅普·范·奥斯汀；尼尔斯·沃诺内维尔 2 2018 PCA中类型2的有效操作。 Zbl 1437.03136号 埃里克·费伯；雅普·范·奥斯汀 三 2016 经典和相对可实现性。 Zbl 1403.03023号 雅普·凡·奥斯滕；邹廷祥 1 2016 有效拓扑的同伦概念。 兹比尔1362.18006 雅普·范·奥斯汀 4 2015 更多关于可实现拓扑之间的几何形态。 Zbl 1316.18006号 埃里克·费伯；雅普·范·奥斯汀 7 2014 a.M.Pitts本地操作员的可实现性。 Zbl 1418.03148号 雅普·范·奥斯汀 2 2014 书评：单价基础计划，同伦类型理论。数学的单价基础。 Zbl 1336.00105号 雅普·范·奥斯汀 1 2014 有效地形的基本子主题。 Zbl 1288.18001号 李·索丽；雅普·范·奥斯汀 7 2013 函数的部分组合代数。 Zbl 1248.03026号 雅普·范·奥斯汀 三 2011 可实现性。介绍其明确的一面。 Zbl 1225.03002号 雅普·范·奥斯汀 90 2008 相对递归的一种通用形式。 Zbl 1113.03014号 雅普·范·奥斯汀 8 2006 实现性良好。 兹伯利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 有限型序列泛函的组合代数。 兹伯利0939.03018 雅普·范·奥斯汀 10 1999 修改后的可实现性拓扑。 Zbl 0882.03059号 雅普·范·奥斯汀 12 1997 扩展可实现性。 Zbl 0882.03060号 雅普·范·奥斯汀 7 1997 关于Lifschitz可实现拓扑的两个备注。 Zbl 0854.03059号 雅普·范·奥斯汀 2 1996 公理化高阶Kleene可实现性。 兹伯利0810.03047 雅普·范·奥斯汀 7 1994 将Lifschitz的可实现性推广到高阶算法，以及F.Richman问题的解决方案。 Zbl 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 阿尔伯特·维瑟 三 英戈·布莱希施密特 三 沃尔特·里卡多·费雷尔·桑托斯 三 罗格斯·库珀 三 约翰·朗利。 三 乔安·兰德·莫肖瓦基斯 三 法比奥·帕斯夸利 三 佐藤，肯塔罗 三 霍尔格·蒂斯 三 戴维·特罗塔 三 Jetze Zoethout 2 史蒂夫·阿沃迪 2 亨德里克·彼得·巴伦德雷格特 2 罗斯·波勒 2 Samuel R.巴斯。 2 梅林·卡尔 2 科科特，J.罗宾B。 2 托马斯·埃尔哈德 2 埃马努埃莱·弗里泰翁 2 洛伦佐·加莱奥蒂 2 毛里西奥·吉列尔莫 2 Hyland，J.Martin 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 丹尼尔·菲格罗亚（Daniel G.Figueroa）。 1 丹·弗鲁明 1 尼古拉·甘比诺 1 安东·戈洛夫 1 一郎·哈索 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 数学逻辑季刊（MLQ） 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） 按年份列出的引文