刷新
{{item.name}}会员
Mathematical Sciences: Investigations into the Necessary Use of Abstract Set Theory, and Constructive Aspects of Algebra
数学科学：对抽象集合论的必要使用和代数的构造性方面的调查
基本信息
- 批准号：8102681
- 负责人：
- 金额：--
- 依托单位：
- 依托单位国家：美国
- 项目类别：Continuing grant
- 财政年份：1981
- 资助国家：美国
- 起止时间：1981-07-01 至 1986-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
数据更新时间：{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
数据更新时间：{{ journalArticles.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ monograph.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ sciAawards.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ patent.updateTime }}
Harvey Friedman其他文献
Sinus pause in association with Lyme carditis.
窦性暂停与莱姆性心脏炎有关。
- DOI：
10.14503/thij-14-4126 - 发表时间：
2015 - 期刊：
- 影响因子：0.9
- 作者：
A. Oktay;Samer R. Dibs;Harvey Friedman - 通讯作者：
Harvey Friedman
The disjunction property implies the numerical existence property.
析取性质隐含着数值存在性质。
- DOI：
10.1073/pnas.72.8.2877 - 发表时间：
1975 - 期刊：
- 影响因子：11.1
- 作者：
Harvey Friedman - 通讯作者：
Harvey Friedman
Medical Students in Developing Countries
- DOI：
10.1007/s11606-011-1744-3 - 发表时间：
2011-05-20 - 期刊：
- 影响因子：4.200
- 作者：
Jessica Merlin;Gail Morrison;Stephen Gluckman;Gregg Lipschik;Darren R. Linkin;Sarah Lyon;Elizabeth O’Grady;Heather Calvert;Harvey Friedman - 通讯作者：
Harvey Friedman
769 A CYTOMEGALOVIRUS VACCINE TRIAL IN RENAL TRANSPLANT CANDIDATES
- DOI：
10.1203/00006450-197804001-00774 - 发表时间：
1978-04-01 - 期刊：
- 影响因子：3.100
- 作者：
John P Glazer;Harvey Friedman;Robert Grossman;Clyde Barker;Stuart E Starr;Stanley A Plotkin - 通讯作者：
Stanley A Plotkin
Human brain in tissue culture
组织培养中的人脑
- DOI：
- 发表时间：
1975 - 期刊：
- 影响因子：12.7
- 作者：
Z. Wróblewska;M. Devlin;D. Gilden;D. Santoli;Harvey Friedman;H. Koprowski - 通讯作者：
H. Koprowski
Harvey Friedman的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Harvey Friedman', 18)}}的其他基金
Collaborative Research: Theoretical Support for Mechanized Proof Assistants
协作研究：机械化证明助手的理论支持
- 批准号：
0401265 - 财政年份：2004
- 资助金额：
-- - 项目类别：
Continuing Grant
Mathematical Sciences: Topics in the Foundations of Mathematics
数学科学：数学基础主题
- 批准号：
8902765 - 财政年份：1989
- 资助金额：
-- - 项目类别：
Continuing grant
Mathematical Sciences: Interdisciplinary Conference On Randomness to be held April 12-16, 1988, Columbus, Ohio
数学科学：随机性跨学科会议将于 1988 年 4 月 12-16 日在俄亥俄州哥伦布市举行
- 批准号：
8722851 - 财政年份：1988
- 资助金额：
-- - 项目类别：
Standard Grant
Mathematical Sciences: Interdisciplinary Conference on Axiomatic Systems, December 15-18, 1988; Columbus, Ohio
数学科学：公理系统跨学科会议，1988 年 12 月 15-18 日；
- 批准号：
8816125 - 财政年份：1988
- 资助金额：
-- - 项目类别：
Standard Grant
Mathematical Sciences: Topics in the Foundations of Mathematics
数学科学：数学基础主题
- 批准号：
8601285 - 财政年份：1986
- 资助金额：
-- - 项目类别：
Continuing grant
Mathematical Sciences: Alan T. Waterman Award
数学科学：艾伦·T·沃特曼奖
- 批准号：
8419353 - 财政年份：1984
- 资助金额：
-- - 项目类别：
Standard Grant
Investigations Into the Use of Higher Types, Set Theoretic Undefinability, and Intuitionistic Semantics
对高级类型、集合论不可定义性和直觉语义的使用的调查
- 批准号：
7802558 - 财政年份：1978
- 资助金额：
-- - 项目类别：
Standard Grant
相似国自然基金
Handbook of the Mathematics of the Arts and Sciences的中文翻译
- 批准号：12226504
- 批准年份：2022
- 资助金额：20.0 万元
- 项目类别：数学天元基金项目
SCIENCE CHINA: Earth Sciences
- 批准号：41224003
- 批准年份：2012
- 资助金额：24.0 万元
- 项目类别：专项基金项目
Journal of Environmental Sciences
- 批准号：21224005
- 批准年份：2012
- 资助金额：24.0 万元
- 项目类别：专项基金项目
SCIENCE CHINA Information Sciences
- 批准号：61224002
- 批准年份：2012
- 资助金额：24.0 万元
- 项目类别：专项基金项目
SCIENCE CHINA Technological Sciences
- 批准号：51224001
- 批准年份：2012
- 资助金额：24.0 万元
- 项目类别：专项基金项目
Journal of Environmental Sciences
- 批准号：21024806
- 批准年份：2010
- 资助金额：24.0 万元
- 项目类别：专项基金项目
SCIENCE CHINA Life Sciences (中国科学 生命科学)
- 批准号：81024803
- 批准年份：2010
- 资助金额：24.0 万元
- 项目类别：专项基金项目
SCIENCE CHINA Earth Sciences(中国科学：地球科学)
- 批准号：41024801
- 批准年份：2010
- 资助金额：24.0 万元
- 项目类别：专项基金项目
SCIENCE CHINA Technological Sciences
- 批准号：51024803
- 批准年份：2010
- 资助金额：24.0 万元
- 项目类别：专项基金项目
相似海外基金
Mathematical Sciences: Investigations on Normal and Paracompact Spaces
数学科学：正规空间和仿紧空间的研究
- 批准号：
9623391 - 财政年份：1996
- 资助金额：
-- - 项目类别：
Standard Grant
Mathematical Sciences: "Nonlinear Modeling of Spatially Correlated Data: Preliminary Investigations"
数学科学：“空间相关数据的非线性建模：初步研究”
- 批准号：
9631877 - 财政年份：1996
- 资助金额：
-- - 项目类别：
Standard Grant
Mathematical Sciences: Computational and Mathematical Investigations in Optimization
数学科学：优化中的计算和数学研究
- 批准号：
9505155 - 财政年份：1995
- 资助金额：
-- - 项目类别：
Continuing grant
Mathematical Sciences: Investigations into Development of Microstructure, Ginzburg-Landau Vortices, and Travelling Waves on Lattics
数学科学：微观结构、金兹堡-朗道涡旋和格子上行波的发展研究
- 批准号：
9501395 - 财政年份：1995
- 资助金额：
-- - 项目类别：
Continuing Grant
Mathematical Sciences: Investigations in Number Theory
数学科学：数论研究
- 批准号：
9424642 - 财政年份：1995
- 资助金额：
-- - 项目类别：
Standard Grant
Mathematical Sciences: Investigations in Mixed Integer Programming
数学科学：混合整数规划研究
- 批准号：
9407142 - 财政年份：1994
- 资助金额：
-- - 项目类别：
Continuing grant
Mathematical Sciences: Investigations Into Computationally Intensive Statistical Methods
数学科学：计算密集型统计方法的研究
- 批准号：
9404594 - 财政年份：1994
- 资助金额：
-- - 项目类别：
Standard Grant
Mathematical Sciences: Investigations of Phase Transitions Using Relaxation and Nonlocal Regularization
数学科学：利用弛豫和非局部正则化研究相变
- 批准号：
9403844 - 财政年份：1994
- 资助金额：
-- - 项目类别：
Continuing Grant
Mathematical Sciences: Investigations in Order Restricted Inference and Improved Inference Procedures
数学科学：有序限制推理和改进推理程序的研究
- 批准号：
9400476 - 财政年份：1994
- 资助金额：
-- - 项目类别：
Continuing Grant
Mathematical Sciences: Investigations in Mathematical Statistics
数学科学：数理统计研究
- 批准号：
9596094 - 财政年份：1994
- 资助金额：
-- - 项目类别：
Continuing grant