编辑配置文件（在新选项卡中打开） 哈维·弗里德曼。 合著者距离 作者ID： 弗里德曼·哈维-m 发布日期： 哈维·弗里德曼;哈维·弗里德曼。;弗里德曼，H。;弗里德曼，H.M。 更多。。。较少的 外部链接： MGP公司·维基数据·接地 已编制索引的文档： 106出版物自1968年以来，包括1个附加arXiv预打印 1名编辑贡献 传记参考： 3出版物 合著者： 32位合著者具有43联合出版物 907合著作者 全部的 前5名合著者 63 单作者的 8 安德烈·斯克洛夫 5 斯蒂芬·G·辛普森。 4 迈克尔·谢尔德 三 罗伯特·弗拉格。 三 克里斯·米勒 2 奥维迪乌·科斯汀 2 杰弗里·林恩·赫斯特 2 Ko、Ker-I 2 阿尔科斯·塞莱斯 2 Rick L.史密斯。 1 谢尔盖·阿特莫夫 1 杰里米·阿维加德 1 马提亚斯·巴兹 1 埃利·巴尔凯 1 菲利普·埃利希 1 赫伯特·B·恩德顿。 1 塔马斯·埃尔德莱伊 1 费费曼，所罗门 1 彼得·弗雷德。 1 简森，罗纳德·比约恩 1 戴维·凯斯勒（David A.Kessler）。 1 库尔德卡、克日什托夫 1 佩内洛普·麦迪。 1 理查德·曼斯菲尔德 1 肯尼思·麦卡龙 1 罗伯特·肯尼思·梅耶 1 弗洛里安·佩卢佩西 1 尼尔·罗伯逊 1 保罗·D·西摩。 1 帕特里克·斯皮塞格 1 李·斯坦利（Lee J.Stanley）。 1 约翰·R·斯蒂尔。 1 米歇尔·塔拉格兰德 1 于小康 全部的 前5名系列 18 纯逻辑与应用逻辑年鉴 13 符号逻辑杂志 9 数学进展 6 数学基础 4 美国数学学会会刊 三 美国数学学会会刊 2 剑桥哲学学会数学进展杂志 2 伊利诺伊数学杂志 2 应用数学进展 2 数学年鉴。第二系列 1 休斯顿数学杂志 1 以色列数学杂志 1 数理逻辑年鉴 1 数学科学公报。Deuxième Série 1 加拿大数学杂志 1 信息和控制 1 组合理论杂志。系列A 1 功能分析杂志 1 纯粹与应用代数杂志 1 太平洋数学杂志 1 理论计算机科学 1 Zeitschrift für Mathematische Logik和Grundlagen der Mathematik 1 美国国家科学院院刊 1 符号逻辑公报 1 数学逻辑杂志 1 物理学报A：数学与理论 1 计算机科学中的逻辑方法 全部的 前5名领域 103 数学逻辑和基础（03-XX） 4 组合数学（05-XX） 4 实际功能（26年X月X日） 4 测量和集成（28-XX） 4 计算机科学（68至XX） 三 阶、格、有序代数结构（06-XX） 2 一般性和全局性主题；集合（00-XX） 2 一般代数系统（08-XX） 2 数论（11-XX） 2 近似值和展开值（41至XX） 2 一般拓扑结构（54至XX） 1 历史和传记（01-XX） 1 场论和多项式（12-XX） 1 几个复变量和分析空间（32-XX） 1 特殊功能（33至XX） 1 抽象谐波分析（43至XX） 1 功能分析（46倍X倍） 1 概率论与随机过程（60-XX） 1 量子理论（81-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 89出版物有1271年被引用中的次1044文件 引用人▼ 年份▼ 可数结构类的Borel可约性理论。 Zbl 0692.03022号 哈维·弗里德曼;斯坦利，李 126 1989 数学逻辑中的一百零二道题。 Zbl 0318.02002号 哈维·弗里德曼 83 1975 实函数的计算复杂性。 Zbl 0498.03047号 Ko、Ker-I、。;哈维·弗里德曼 80 1982 一些二阶算术系统及其应用。 Zbl 0344.02022号 哈维·弗里德曼 73 1975 可数代数和集合存在公理。 Zbl 0575.03038号 哈维·弗里德曼。;斯蒂芬·G·辛普森。;Rick L.史密斯。 61 1983 经典且直观的可证明递归函数。 Zbl 0396.03045号 哈维·弗里德曼 55 1978 自我参照真理的公理方法。 兹伯利0634.03058 哈维·弗里德曼;迈克尔·谢尔德 54 1987 高等集合理论和数学实践。 Zbl 0215.32702号 弗里德曼，H.M。 49 1971 经典集合论相对于具有直觉逻辑的集合论的一致性。 Zbl 0278.02045号 哈维·弗里德曼 39 1973 Kleene方法在直觉系统中的一些应用。 Zbl 0272.02038号 哈维·弗里德曼 37 1973 为建设性分析奠定理论基础。 Zbl 0353.02014号 哈维·弗里德曼 34 1977 职能人员之间的平等。 Zbl 0311.02040号 哈维·弗里德曼 34 1975 图小定理的元数学。 Zbl 0635.03060号 哈维·弗里德曼;尼尔·罗伯逊;保罗·西摩 33 1987 算法程序、广义图灵算法和初等递归理论。 Zbl 0221.02018号 哈维·弗里德曼 32 1971 集合论的可数模型。 兹伯利0271.02036 哈维·弗里德曼 31 1973 数学需要新的公理吗？ Zbl 0977.03002号 费费曼，所罗门;哈维·弗里德曼。;梅迪，佩内洛普;约翰·R·斯蒂尔。 24 2000 最大化和集成的计算复杂性。 Zbl 0563.03023号 哈维·弗里德曼 23 1984 等价于谓词分析的1-一致性的有限组合原理。 Zbl 0522.03044号 哈维·弗里德曼。;肯尼思·麦卡龙;斯蒂芬·G·辛普森。 23 1982 直觉主义集合论中缺乏可定义的证据和可证明的递归函数。 Zbl 0585.03025号 哈维·弗里德曼。;安德烈·什切德洛夫 22 1985 良序和逆向数学的可比性弱。 Zbl 0706.03044号 哈维·弗里德曼。;杰弗里·赫斯特。 18 1990 初等下降递归和证明理论。 Zbl 0821.03027号 哈维·弗里德曼;迈克尔·谢尔德 17 1995 析取属性意味着数值存在属性。 Zbl 0342.02012 哈维·弗里德曼 15 1975 o-极小结构的稀疏集展开。 Zbl 0973.03050号 哈维·弗里德曼;克里斯·米勒 15 2001 用快速序列扩展o-极小结构。 Zbl 1089.03031号 哈维·弗里德曼;克里斯·米勒 15 2005 基数逻辑中的贝丝定理。 Zbl 0263.02010 哈维·弗里德曼 14 1973 论抽象集理论的必要性。 Zbl 0483.03030号 哈维·弗里德曼 13 1981 有限函数和大基数的必要使用。 Zbl 0941.03050号 哈维·弗里德曼。 13 1998 “可数代数与集合存在公理”补遗。 Zbl 0575.03039号 哈维·弗里德曼。;斯蒂芬·G·辛普森。;Rick L.史密斯。 13 1985 迭代归纳定义和（Sigma_2^1）-AC。 Zbl 0216.00601号 弗里德曼，H。 12 1970 量子行走第一次探测时间的量子更新方程。 Zbl 1357.81018号 弗里德曼，H。;Kessler博士。;巴尔凯，E。 10 2017 统一定义的度递减序列。 Zbl 0366.02030号 哈维·弗里德曼 9 1976 实数域的开集扩张：可定义性与可解释性。 Zbl 1220.03030号 哈维·弗里德曼;库尔德卡、克日什托夫;克里斯·米勒;帕特里克·斯皮塞格 9 2010 认识论和直觉主义形式系统。 Zbl 0626.03050号 弗拉格，R.C。;弗里德曼，H。 9 1986 相关算法在哪里？ Zbl 0761.03009号 哈维·弗里德曼;罗伯特·梅耶（Robert K.Meyer）。 9 1992 算法程序。 Zbl 0774.03030号 哈维·弗里德曼;理查德·曼斯菲尔德 8 1992 微妙的基数和线性排序。 Zbl 0966.03048号 哈维·弗里德曼。 8 2001 关于序数的闭集。 Zbl 0299.04003号 哈维·弗里德曼 8 1974 逆向数学中的问题。 Zbl 0967.03050号 哈维·弗里德曼;斯蒂芬·G·辛普森。 7 2000 使用\（\varepsilon_0\）的Ramsey定理变体的独立性。 兹比尔1402.03083 哈维·弗里德曼;弗洛里安·佩卢佩西 6 2016 计算多项式时间的幂级数。 Zbl 0645.03059号 Ko、Ker-I;哈维·弗里德曼 6 1988 不可测函数的一致Fubini-Tonelli定理。 Zbl 0467.28003号 哈维·弗里德曼 6 1980 模态算法的析取性和存在性的等价性。 Zbl 0706.03018号 哈维·弗里德曼;迈克尔·谢尔德 6 1989 公理递归函数理论。 Zbl 0221.02019 哈维·弗里德曼。 6 1971 明确定义的复杂性。 Zbl 0355.02010 哈维·弗里德曼 5 1976 抽象集理论在有限数学中的必要应用。 Zbl 0613.03028号 哈维·弗里德曼 5 1986 Borel集合和超度数。 兹比尔0335.02028 哈维·弗里德曼。 5 1973 Borel和Baire可约性。 Zbl 0973.03064号 哈维·弗里德曼。 5 2000 算术超限归纳和递归良序。 Zbl 0585.03031号 哈维·弗里德曼。;安德烈·什切德洛夫 5 1985 二阶算术的周期点和子系统。 Zbl 0781.03048号 哈维·弗里德曼;斯蒂芬·G·辛普森。;俞晓康 5 1993 我在他肩上的四十年。 Zbl 1275.03003号 哈维·弗里德曼。 4 2011 直觉集合论中的大集合。 Zbl 0544.03031号 哈维·弗里德曼;安德烈·什切德洛夫 4 1984 内部有限树嵌入。 兹比尔1040.03043 哈维·弗里德曼。 4 2002 低投射层次中的确定性。 Zbl 0244.020155号 哈维·弗里德曼。 4 1971 设置具有依赖选择的直觉主义理论的存在性。 Zbl 0539.03039号 哈维·弗里德曼。;安德烈·什切德洛夫 三 1983 勒贝格测度的一个可定义的不可分离不变扩张。 Zbl 0422.28002号 哈维·弗里德曼 三 1977 逻辑强度的必然性：严格的逆向数学。 Zbl 1190.03017号 哈维·弗里德曼。 三 2009 结合实际的决策程序。 邮编1127.03006 杰里米·阿维加德;哈维·弗里德曼 三 2006 长有限序列。 Zbl 0990.05127号 哈维·弗里德曼。 三 2001 奇异积分的基础。 Zbl 1301.32006年 奥维迪乌·科斯汀;哈维·弗里德曼。 三 2014 真理公理系统的析取和存在性。 Zbl 0669.03026号 哈维·弗里德曼;迈克尔·谢尔德 三 1988 初等分析中的可判定性。一、。 Zbl 0681.03005号 哈维·弗里德曼;阿尔科斯·塞莱斯 三 1989 直觉集合论的量化逻辑。 兹比尔0595.03057 哈维·弗里德曼。;安德烈·什切德洛夫 三 1986 直觉主义理论和自由范畴的Lindenbaum代数。 Zbl 0624.03045号 彼得·弗雷德;哈维·弗里德曼;安德烈·斯克洛夫 三 1987 向可数无穷逻辑添加命题连接词。 Zbl 0323.02022号 哈维·弗里德曼 三 1975 可计算高度的大型模型。 Zbl 0296.02036号 哈维·弗里德曼 三 1975 更正为“具有依赖选择的直觉主义理论的存在性”。 Zbl 0539.0304号 弗里德曼，H.M。;什切德罗夫，A。 2 1984 非系综信号发生器。 Zbl 0452.0304号 哈维·弗里德曼;米歇尔·塔拉格兰德 2 1980 逆向数学和同胚嵌入。 Zbl 0746.03048号 哈维·弗里德曼。;杰弗里·赫斯特。 2 1991 有归纳法和无归纳法的基本递归算法中的可证明等式。 Zbl 0354.02034号 哈维·弗里德曼 2 1975 以\（\Delta^1_2\）-度表示的最小值。 Zbl 0305.02050 哈维·弗里德曼 2 1974 一条出路。 兹比尔1086.03038 哈维·弗里德曼。 2 2004 初等分析中的可判定性。二、。 Zbl 0698.0302号 哈维·弗里德曼;阿尔科斯·塞莱斯 2 1990 三个量词句子。 Zbl 1020.03044号 哈维·弗里德曼。 2 2003 棒材导入和（\Pi_1^1-CA\）。 Zbl 0182.00904号 弗里德曼，H。 2 1969 关于容许序数的注记。 Zbl 0199.30502号 哈维·弗里德曼;罗纳德·延森 2 1968 一元Borel函数和二阶算术。 Zbl 0543.03034号 哈维·弗里德曼 1 1983 关于可定义操作的自然性。 Zbl 0453.03051号 哈维·弗里德曼 1 1979 直观可证明的递归井序。 Zbl 0615.03046号 哈维·弗里德曼。;安德烈·斯克洛夫 1 1986 通过\（\mathcal O\）的\（\Pi^1_1 \）路径中的递归性。 Zbl 0349.02037号 哈维·弗里德曼 1 1976 关于实例化属性的可导性。 Zbl 0436.03051号 哈维·弗里德曼 1 1978 Peano算法的一个强保守推广。 Zbl 0471.03045号 哈维·弗里德曼 1 1980 关于Hanf数的存在性证明。 Zbl 0293.02039号 哈维·弗里德曼 1 1974 某些整数多项式和非递归整数集的数目。一、。 Zbl 1061.03045号 塔马斯·埃尔德莱伊;哈维·弗里德曼 1 2005 某些整数多项式和非递归整数集的数目。二、。 Zbl 1061.03046号 哈维·弗里德曼。 1 2005 谓词的累积层次结构。 Zbl 0324.02060号 哈维·弗里德曼 1 1975 衡量数学概念复杂性的框架。 Zbl 0708.03003号 弗里德曼，H。;弗拉格，R.C。 1 1990 近似标准分析模型。 Zbl 0235.02053号 恩德顿，H.B。;哈维·弗里德曼 1 1971 可比性的元数学。 Zbl 1083.03051号 哈维·弗里德曼。 1 2005 不完全现象。 Zbl 0929.03052号 哈维·弗里德曼 1 1992 量子行走第一次探测时间的量子更新方程。 Zbl 1357.81018号 弗里德曼，H。;凯斯勒，D.A。;巴尔凯，E。 10 2017 使用\（\varepsilon_0\）的Ramsey定理变体的独立性。 Zbl 1402.03083号 哈维·弗里德曼;弗洛里安·佩卢佩西 6 2016 奇异积分的基础。 Zbl 1301.32006年 奥维迪乌·科斯廷;哈维·弗里德曼。 三 2014 我在他肩上的四十年。 Zbl 1275.03003号 哈维·弗里德曼。 4 2011 实数域的开集扩张：可定义性与可解释性。 Zbl 1220.03030号 哈维·弗里德曼;库尔德卡、克日什托夫;克里斯·米勒;帕特里克·斯皮塞格 9 2010 逻辑力量的必然性：严格的逆向数学。 Zbl 1190.03017号 哈维·弗里德曼。 三 2009 结合实际的决策程序。 邮编1127.03006 杰里米·阿维加德;哈维·弗里德曼 三 2006 用快速序列扩展o-极小结构。 Zbl 1089.03031号 哈维·弗里德曼;克里斯·米勒 15 2005 某些整数多项式和非递归整数集的数目。一、。 Zbl 1061.03045号 塔马斯·埃尔德莱伊;哈维·弗里德曼 1 2005 某些整数多项式和非递归整数集的数目。二、。 兹比尔1061.03046 哈维·弗里德曼。 1 2005 可比性的元数学。 Zbl 1083.03051号 哈维·弗里德曼。 1 2005 一条出路。 Zbl 1086.03038号 哈维·弗里德曼。 2 2004 三个量词句子。 Zbl 1020.03044号 哈维·弗里德曼。 2 2003 内部有限树嵌入。 兹比尔1040.03043 哈维·弗里德曼。 4 2002 o-极小结构的稀疏集展开。 Zbl 0973.03050号 哈维·弗里德曼;克里斯·米勒 15 2001 微妙的基数和线性排序。 Zbl 0966.03048号 哈维·弗里德曼。 8 2001 长有限序列。 Zbl 0990.05127号 哈维·弗里德曼。 三 2001 数学需要新的公理吗？ Zbl 0977.03002号 费费曼，所罗门;哈维·弗里德曼。;梅迪，佩内洛普;约翰·R·斯蒂尔。 24 2000 逆向数学中的问题。 Zbl 0967.03050号 哈维·弗里德曼;斯蒂芬·G·辛普森。 7 2000 Borel和Baire可约性。 Zbl 0973.03064号 哈维·弗里德曼。 5 2000 有限函数和大基数的必要使用。 Zbl 0941.03050号 哈维·弗里德曼。 13 1998 初等下降递归和证明理论。 Zbl 0821.03027号 哈维·弗里德曼;迈克尔·谢尔德 17 1995 二阶算术的周期点和子系统。 Zbl 0781.03048号 哈维·弗里德曼;斯蒂芬·G·辛普森。;俞晓康 5 1993 相关算法在哪里？ Zbl 0761.03009号 哈维·弗里德曼;罗伯特·梅耶（Robert K.Meyer）。 9 1992 算法程序。 Zbl 0774.03030号 哈维·弗里德曼;理查德·曼斯菲尔德 8 1992 不完全现象。 Zbl 0929.03052号 哈维·弗里德曼 1 1992 逆向数学和同胚嵌入。 Zbl 0746.03048号 哈维·弗里德曼。;杰弗里·赫斯特。 2 1991 良序和逆向数学的可比性弱。 Zbl 0706.03044号 哈维·弗里德曼。;杰弗里·赫斯特。 18 1990 初等分析中的可判定性。二、。 Zbl 0698.0302号 哈维·弗里德曼;阿尔科斯·塞莱斯 2 1990 衡量数学概念复杂性的框架。 兹比尔0708.03003 弗里德曼，H。;弗拉格，R.C。 1 1990 可数结构类的Borel可约性理论。 Zbl 0692.03022号 哈维·弗里德曼;斯坦利，李 126 1989 模态算法的析取性和存在性的等价性。 Zbl 0706.03018号 哈维·弗里德曼;迈克尔·谢尔德 6 1989 初等分析中的可判定性。一、。 Zbl 0681.03005号 哈维·弗里德曼;阿尔科斯·塞莱斯 三 1989 计算多项式时间的幂级数。 Zbl 0645.03059号 Ko、Ker-I;哈维·弗里德曼 6 1988 真理公理系统的析取和存在性。 Zbl 0669.03026号 哈维·弗里德曼;迈克尔·谢尔德 三 1988 自我参照真理的公理方法。 兹伯利0634.03058 哈维·弗里德曼;迈克尔·谢尔德 54 1987 图的元数学小定理。 Zbl 0635.03060号 哈维·弗里德曼;尼尔·罗伯逊;保罗·西摩 33 1987 直觉主义理论和自由范畴的Lindenbaum代数。 Zbl 0624.03045号 彼得·弗雷德;哈维·弗里德曼;安德烈·斯克洛夫 三 1987 认识论和直觉主义形式系统。 Zbl 0626.03050号 弗拉格，R.C。;弗里德曼，H。 9 1986 抽象集理论在有限数学中的必要应用。 Zbl 0613.03028号 哈维·弗里德曼 5 1986 直觉集合论的量化逻辑。 兹比尔0595.03057 哈维·弗里德曼。;安德烈·舍德罗夫 三 1986 直觉上可证明的递归有序。 Zbl 0615.03046号 哈维·弗里德曼。;安德烈·斯克洛夫 1 1986 直觉主义集合论中缺乏可定义的证据和可证明的递归函数。 Zbl 0585.03025号 哈维·弗里德曼。;安德烈·什切德洛夫 22 1985 “可数代数与集合存在公理”补遗。 Zbl 0575.03039号 哈维·弗里德曼。;斯蒂芬·G·辛普森。;史密斯，里克·L。 13 1985 算术超限归纳和递归良序。 Zbl 0585.03031号 哈维·弗里德曼。;安德烈·什切德洛夫 5 1985 最大化和集成的计算复杂性。 Zbl 0563.03023号 哈维·弗里德曼 23 1984 直觉集合论中的大集合。 Zbl 0544.03031号 哈维·弗里德曼;安德烈·什切德洛夫 4 1984 对“具有依赖选择的直觉理论的集存在性”的更正。 Zbl 0539.0304号 弗里德曼，H.M。;什切德罗夫，A。 2 1984 可数代数和集合存在公理。 Zbl 0575.03038号 哈维·弗里德曼。;斯蒂芬·G·辛普森。;史密斯，里克·L。 61 1983 设置具有依赖选择的直觉主义理论的存在性。 Zbl 0539.03039号 哈维·弗里德曼。;安德烈·什切德洛夫 三 1983 一元Borel函数和二阶算术。 Zbl 0543.03034号 哈维·弗里德曼 1 1983 实函数的计算复杂性。 Zbl 0498.03047号 Ko、Ker-I、。;哈维·弗里德曼 80 1982 等价于谓词分析的1-一致性的有限组合原理。 Zbl 0522.03044号 哈维·弗里德曼。;肯尼思·麦卡龙;斯蒂芬·G·辛普森。 23 1982 论抽象集理论的必要性。 Zbl 0483.03030号 哈维·弗里德曼 13 1981 不可测函数的一致Fubini-Tonelli定理。 兹伯利0467.28003 哈维·弗里德曼 6 1980 非系综信号发生器。 Zbl 0452.0304号 哈维·弗里德曼;米歇尔·塔拉格兰德 2 1980 Peano算法的一个强保守推广。 Zbl 0471.03045号 哈维·弗里德曼 1 1980 关于可定义操作的自然性。 Zbl 0453.03051号 哈维·弗里德曼 1 1979 经典的和直观的可证明递归函数。 Zbl 0396.03045号 哈维·弗里德曼 55 1978 关于实例化属性的可导性。 Zbl 0436.03051号 哈维·弗里德曼 1 1978 为建设性分析奠定理论基础。 Zbl 0353.02014号 哈维·弗里德曼 34 1977 勒贝格测度的一个可定义的不可分离不变扩张。 Zbl 0422.28002号 哈维·弗里德曼 三 1977 统一定义的度递减序列。 Zbl 0366.02030号 哈维·弗里德曼 9 1976 明确定义的复杂性。 Zbl 0355.02010 哈维·弗里德曼 5 1976 通过\（\mathcal O\）的\（\Pi^1_1 \）路径中的递归性。 Zbl 0349.02037号 哈维·弗里德曼 1 1976 数学逻辑中的一百零二道题。 兹比尔0318.02002 哈维·弗里德曼 83 1975 一些二阶算术系统及其应用。 Zbl 0344.02022号 哈维·弗里德曼 73 1975 职能人员之间的平等。 Zbl 0311.02040号 哈维·弗里德曼 34 1975 析取属性意味着数值存在属性。 Zbl 0342.02012 哈维·弗里德曼 15 1975 向可数无穷逻辑添加命题连接词。 Zbl 0323.02022号 哈维·弗里德曼 三 1975 可计算高度的大型模型。 Zbl 0296.02036号 哈维·弗里德曼 三 1975 有归纳法和无归纳法的基本递归算法中的可证明等式。 Zbl 0354.02034号 哈维·弗里德曼 2 1975 谓词的累积层次结构。 Zbl 0324.02060号 哈维·弗里德曼 1 1975 在序数的闭集合上。 Zbl 0299.04003号 哈维·弗里德曼 8 1974 以\（\Delta^1_2\）-度表示的最小值。 Zbl 0305.02050 哈维·弗里德曼 2 1974 关于Hanf数的存在性证明。 Zbl 0293.02039号 哈维·弗里德曼 1 1974 经典集合论相对于直觉逻辑集合论的一致性。 Zbl 0278.02045号 哈维·弗里德曼 39 1973 Kleene方法在直觉系统中的一些应用。 Zbl 0272.02038号 哈维·弗里德曼 37 1973 集合论的可数模型。 Zbl 0271.02036号 哈维·弗里德曼 31 1973 基数逻辑中的Beth定理。 Zbl 0263.02010 哈维·弗里德曼 14 1973 Borel集合和超度数。 Zbl 0335.02028号 哈维·弗里德曼。 5 1973 高等集合理论和数学实践。 Zbl 0215.32702号 弗里德曼，H.M。 49 1971 算法程序、广义图灵算法和初等递归理论。 Zbl 0221.02018号 哈维·弗里德曼 32 1971 公理递归函数理论。 Zbl 0221.02019 哈维·弗里德曼。 6 1971 低投影层次中的确定性。 Zbl 0244.020155号 哈维·弗里德曼。 4 1971 近似标准分析模型。 Zbl 0235.02053号 Enderton，H.B.公司。;哈维·弗里德曼 1 1971 迭代归纳定义和（Sigma_2^1）-AC。 Zbl 0216.00601号 弗里德曼，H。 12 1970 棒材导入和（\Pi_1^1-CA\）。 Zbl 0182.00904号 弗里德曼，H。 2 1969 关于容许序数的注记。 Zbl 0199.30502号 哈维·弗里德曼;罗纳德·延森 2 1968 所有引用出版物 前5名被引用出版物 全部的 前5名850位作者引用 33 哈维·弗里德曼。 25 迈克尔·拉特扬 19 弗拉基米尔·弗拉迪米洛维奇·里巴科夫 18 山姆·桑德斯 17 Ko、Ker-I 14 萨拉、撒哈拉 13 罗德尼·格雷厄姆·唐尼 13 朱莉娅·奈特。 13 阿尔贝托·马可尼 12 安德烈亚斯·魏尔曼 11 理查德·阿诺德·肖尔 11 斯蒂芬·G·辛普森。 10 尼古拉·巴热诺夫（Nikola Bazhenov）ĭAlekseevich 10 杰弗里·林恩·赫斯特 10 克里斯·米勒 10 莫托·罗斯，卢卡 9 塞缪尔·考斯基 9 费费曼，所罗门 9 菲利普·海罗尼米 9 安东尼奥·蒙塔尔班 9 安德烈·斯克洛夫 8 杰里米·阿维加德 8 卡梅罗、里卡多 8 阿里·埃纳亚特 8 亚历山大·梅尔尼科夫。 8 保罗·沙弗 8 里德·所罗门 7 克里斯·康尼迪斯。 7 Sy-David弗里德曼 7 贾格尔，格哈德 7 亚历山大·凯克里斯。 7 格雷厄姆·埃米尔·利 7 西蒙·托马斯。 7 吴惠山 6 Stefano贝拉迪 6 道格拉斯·苏思·布里奇斯 6 韦斯利·卡尔弗特 6 安德烈亚·坎蒂尼 6 安东·弗伦德 6 高，苏 6 沃尔克·哈尔巴赫 6 亨特拉斯，马修·拉尔夫·约翰 6 麦肯齐，扎奇里 6 卢多维奇·佩蒂 6 埃里克·沃尔斯伯格 5 胡安·巴勃罗·阿奎莱拉 5 菲利波·卡尔德罗尼 5 煎炸，伊曼纽尔 5 肯塔罗州藤本市 5 杰伦·古德米特（Jeroen P.Goudsmit）。 5 阿明·海默林 5 格雷戈里·霍斯 5 莱昂·霍斯顿 5 塔帕尼·海蒂宁 5 秋弘市卡纳莫里 5 乌尔里希·威廉·科伦巴赫 5 瓦迪姆·库利科夫 5 丹尼尔·莱万特（Daniel M.Leivant）。 5 达格·诺曼 5 费多尔·帕霍莫夫。 5 Pelupessy，佛罗里达州 5 托马斯·斯特里彻 5 田中，川崎 5 迪米特里奥斯·蒂利科斯（Dimitrios M.Thilikos）。 5 克劳斯·维赫劳赫 5 菲利普·韦尔奇。 5 Keita横山 5 马丁·齐格勒 4 史蒂夫·阿沃迪 4 安德烈·博维金。 4 Samuel R.巴斯。 4 约翰·丹尼尔·克莱门斯 4 达米尔·扎法罗夫。 4 瓦伦丁·费伦齐 4 叶卡捷琳娜·福基纳。 4 吴君乐 4 诺姆·格林伯格 4 瓦伦蒂娜·S·哈里扎诺夫。 4 丹尼斯·罗曼·赫施费尔特 4 罗莎莉，伊姆霍夫 4 阿萨夫·科福里。 4 Kurahashi、Taishi 4 迈克尔·克里斯·拉斯科夫斯基 4 汉内斯·莱特盖布 4 斯泰芬·伦普 4 刘璐 4 罗伯特·卢巴斯基。 4 村上西村 4 阿诺·保利。 4 佐藤，肯塔罗 4 雷纳·舒勒 4 赫尔穆特·施维赫滕贝格 4 沙尼，阿萨夫 4 威弗里德·西格 4 Rick L.史密斯。 4 托马斯·斯特拉姆 4 Athipat Thamrongthanyalak 4 Jerzy Tiuryn 4 阿尔伯特·维瑟 4 于福祥 …还有750多名作者 全部的 前5名131篇连载文章中引用 164 纯逻辑与应用逻辑年鉴 118 符号逻辑杂志 63 理论计算机科学 51 数学逻辑档案 46 符号逻辑公报 32 美国数学学会会刊 30 圣母院形式逻辑杂志 26 美国数学学会会刊 25 数学逻辑季刊（MLQ） 20 以色列数学杂志 19 符号逻辑综述 18 哲学逻辑杂志 18 Studia Logica公司 17 数学进展 14 合成 12 代数与逻辑 12 复杂性杂志 12 数学逻辑杂志 11 信息与计算 10 数学基础 10 MSCS公司。计算机科学中的数学结构 8 物流与物流建筑 7 数学笔记 7 代数杂志 7 计算机与系统科学杂志 7 拓扑及其应用 6 可计算性 5 功能分析杂志 5 美国数学学会杂志 5 计算机科学中的逻辑方法 4 离散数学 4 纯粹与应用代数杂志 4 苏联数学杂志 4 西伯利亚数学杂志 4 自动推理杂志 4 选择Mathematica。新系列 4 ACM计算逻辑事务 三 离散应用数学 三 信息处理信函 三 剑桥哲学学会数学进展杂志 三 数学信使 三 美国数学学会回忆录 三 数学社会科学 三 逻辑历史与哲学 三 Indagationes Mathematicae公司。新系列 三 数学科学杂志（纽约） 三 SibirskieÈlektronnye Matematicheskie Izvestiya公司 三 A.Razmadze数学研究所学报 2 加拿大数学通报 2 组合理论杂志。系列A 2 运筹学年鉴 2 国际计算机科学基础杂志 2 数学编程。A系列B系列 2 应用非经典逻辑杂志 2 计算系统理论 2 数学年鉴。第二系列 2 洛巴切夫斯基数学杂志 2 逻辑与代数程序设计杂志 2 逻辑与逻辑哲学 2 应用逻辑杂志 2 Oberwolfach报告 2 泛逻辑 2 逻辑与分析杂志 2 西伯利亚联邦大学学报。数学和物理 1 信息学报 1 数学分析与应用杂志 1 数学物理中的字母 1 Semesterberichte数学 1 匈牙利数学周期 1 洛基山数学杂志 1 应用数学与计算 1 数学论文 1 伊利诺伊数学杂志 1 数学发明 1 近似理论杂志 1 组合理论杂志。B系列 1 伦敦数学学会杂志。第二系列 1 数学经济学杂志 1 《Reine und Angewandte Mathematik》杂志 1 Kodai数学杂志 1 数学系统理论 1 数学期刊 1 非线性分析。理论、方法和应用。系列A：理论与方法 1 京都大学数学科学研究所出版物 1 帕多瓦大学Rendiconti del Seminario Matematico della Universityádi Padova 1 欧洲组合数学杂志 1 应用数学进展 1 统计与概率信件 1 订单 1 图与组合 1 符号计算杂志 1 序列分析 1 离散数学及其应用 1 游戏与经济行为 1 Godishnik na Sofiĭskiya大学“Sv.Kliment-Okhridski”。Fakultet po Matematika i Informatika公司 1 数学要素 1 美国数学学会公报。新系列 1 RAIRO公司。Informatique Théorique et Applications公司 1 逻辑、语言与信息杂志 1 格鲁吉亚数学杂志 …还有31部连续剧 全部的 前5名46个领域引用 924 数学逻辑和基础（03-XX） 170 计算机科学（68至XX） 57 组合数学（05-XX） 46 一般拓扑结构（54至XX） 43 阶、格、有序代数结构（06-XX） 27 群论与推广（20-XX） 25 实际功能（26年X月X日） 24 历史和传记（01-XX） 24 范畴理论；同调代数（18-XX） 23 测量和集成（28-XX） 17 一般性和全局性主题；集合（00-XX） 15 功能分析（46倍X倍） 15 博弈论、经济学、金融和其他社会和行为科学（91-XX） 14 动力系统和遍历理论（37至XX） 12 交换代数（13-XX） 10 场论和多项式（12-XX） 8 数论（11-XX） 8 拓扑群、李群（22日至XX日） 8 量子理论（81-XX） 6 数值分析（65-XX） 5 一般代数系统（08-XX） 5 结合环与代数（16-XX） 5 流形和细胞复合体（57-XX） 5 概率论与随机过程（60-XX） 5 运筹学、数学规划（90-XX） 4 算子理论（47-XX） 三 代数几何（14-XX） 三 特殊功能（33至XX） 三 信息与通信理论、电路（94-XX） 2 复变量的函数（30年XX月） 2 常微分方程（34-XX） 2 近似值和展开值（41至XX） 2 抽象谐波分析（43至XX） 2 变分法与最优控制；最优化（49至XX） 2 代数拓扑（55-XX） 2 统计学（62-XX） 1 非结合环和代数（17-XX） 1 差分和函数方程（39至XX） 1 积分变换，运算微积分（44-XX） 1 积分方程（45-XX） 1 几何图形（51至XX） 1 凸和离散几何（52至XX） 1 整体分析，流形分析（58至XX） 1 粒子和系统力学（70-XX） 1 相对论与引力理论（83至XX） 1 数学教育（97-XX） 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中.