刷新
{{item.name}}会员
Second Order Arithmetic, Souslin Trees, and Recursion in Functionals
二阶算术、Souslin 树和泛函中的递归
基本信息
- 批准号：7505856
- 负责人：
- 金额：$ 5.76万
- 依托单位：
- 依托单位国家：美国
- 项目类别：Continuing Grant
- 财政年份：1975
- 资助国家：美国
- 起止时间：1975-05-01 至 1977-11-30
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（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
- 资助金额：
$ 5.76万 - 项目类别：
Continuing Grant
Research in the Foundations of Mathematics
数学基础研究
- 批准号：
0245349 - 财政年份：2003
- 资助金额：
$ 5.76万 - 项目类别：
Standard Grant
Mathematical Sciences: Topics in the Foundations of Mathematics
数学科学：数学基础主题
- 批准号：
8902765 - 财政年份：1989
- 资助金额：
$ 5.76万 - 项目类别：
Continuing grant
Mathematical Sciences: Interdisciplinary Conference On Randomness to be held April 12-16, 1988, Columbus, Ohio
数学科学：随机性跨学科会议将于 1988 年 4 月 12-16 日在俄亥俄州哥伦布市举行
- 批准号：
8722851 - 财政年份：1988
- 资助金额：
$ 5.76万 - 项目类别：
Standard Grant
Mathematical Sciences: Interdisciplinary Conference on Axiomatic Systems, December 15-18, 1988; Columbus, Ohio
数学科学：公理系统跨学科会议，1988 年 12 月 15-18 日；
- 批准号：
8816125 - 财政年份：1988
- 资助金额：
$ 5.76万 - 项目类别：
Standard Grant
Mathematical Sciences: Topics in the Foundations of Mathematics
数学科学：数学基础主题
- 批准号：
8601285 - 财政年份：1986
- 资助金额：
$ 5.76万 - 项目类别：
Continuing grant
Mathematical Sciences: Alan T. Waterman Award
数学科学：艾伦·T·沃特曼奖
- 批准号：
8419353 - 财政年份：1984
- 资助金额：
$ 5.76万 - 项目类别：
Standard Grant
Mathematical Sciences: Investigations into the Necessary Use of Abstract Set Theory, and Constructive Aspects of Algebra
数学科学：对抽象集合论的必要使用和代数的构造性方面的调查
- 批准号：
8102681 - 财政年份：1981
- 资助金额：
$ 5.76万 - 项目类别：
Continuing grant
相似国自然基金
基于Order的SIS/LWE变体问题及其应用
- 批准号：
- 批准年份：2022
- 资助金额：53 万元
- 项目类别：面上项目
Poisson Order, Morita 理论，群作用及相关课题
- 批准号：19ZR1434600
- 批准年份：2019
- 资助金额：0.0 万元
- 项目类别：省市级项目
相似海外基金
Model order reduction for fast phase-field fracture simulations
快速相场断裂模拟的模型降阶
- 批准号：
EP/Y002474/1 - 财政年份：2024
- 资助金额：
$ 5.76万 - 项目类别：
Research Grant
Conference: North American High Order Methods Con (NAHOMCon)
会议：北美高阶方法大会 (NAHOMCon)
- 批准号：
2333724 - 财政年份：2024
- 资助金额：
$ 5.76万 - 项目类别：
Standard Grant
CAREER: First-principles Predictive Understanding of Chemical Order in Complex Concentrated Alloys: Structures, Dynamics, and Defect Characteristics
职业：复杂浓缩合金中化学顺序的第一原理预测性理解：结构、动力学和缺陷特征
- 批准号：
2415119 - 财政年份：2024
- 资助金额：
$ 5.76万 - 项目类别：
Continuing Grant
CAREER: Multiscale Reduced Order Modeling and Design to Elucidate the Microstructure-Property-Performance Relationship of Hybrid Composite Materials
职业：通过多尺度降阶建模和设计来阐明混合复合材料的微观结构-性能-性能关系
- 批准号：
2341000 - 财政年份：2024
- 资助金额：
$ 5.76万 - 项目类别：
Standard Grant
CRII: OAC: Dynamically Adaptive Unstructured Mesh Technologies for High-Order Multiscale Fluid Dynamics Simulations
CRII：OAC：用于高阶多尺度流体动力学仿真的动态自适应非结构化网格技术
- 批准号：
2348394 - 财政年份：2024
- 资助金额：
$ 5.76万 - 项目类别：
Standard Grant
Collaborative Research: Dynamics of Short Range Order in Multi-Principal Element Alloys
合作研究：多主元合金中的短程有序动力学
- 批准号：
2348956 - 财政年份：2024
- 资助金额：
$ 5.76万 - 项目类别：
Standard Grant
Congestion control in complex networks with higher-order interactions
具有高阶交互的复杂网络中的拥塞控制
- 批准号：
DP240100963 - 财政年份：2024
- 资助金额：
$ 5.76万 - 项目类别：
Discovery Projects
RII Track-4:NSF: Continental-scale, high-order, high-spatial-resolution, ice flow modeling based on graphics processing units (GPUs)
RII Track-4：NSF：基于图形处理单元 (GPU) 的大陆尺度、高阶、高空间分辨率冰流建模
- 批准号：
2327095 - 财政年份：2024
- 资助金额：
$ 5.76万 - 项目类别：
Standard Grant
Collaborative Research: Dynamics of Short Range Order in Multi-Principal Element Alloys
合作研究：多主元合金中的短程有序动力学
- 批准号：
2348955 - 财政年份：2024
- 资助金额：
$ 5.76万 - 项目类别：
Standard Grant
MCA: Problem-Based Learning for Warehousing and Order Fulfillment
MCA：基于问题的仓储和订单履行学习
- 批准号：
2322250 - 财政年份：2024
- 资助金额：
$ 5.76万 - 项目类别：
Standard Grant