刷新
{{item.name}}会员
Investigations Into the Use of Higher Types, Set Theoretic Undefinability, and Intuitionistic Semantics
对高级类型、集合论不可定义性和直觉语义的使用的调查
基本信息
- 批准号：7802558
- 负责人：
- 金额：--
- 依托单位：
- 依托单位国家：美国
- 项目类别：Standard Grant
- 财政年份：1978
- 资助国家：美国
- 起止时间：1978-07-01 至 1981-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
Mathematical Sciences: Investigations into the Necessary Use of Abstract Set Theory, and Constructive Aspects of Algebra
数学科学：对抽象集合论的必要使用和代数的构造性方面的调查
- 批准号：
8102681 - 财政年份：1981
- 资助金额：
-- - 项目类别：
Continuing grant
相似海外基金
Optimisation of low carbon Biodegradable flexible films from waste feedstocks for high-speed processing into single use flexible packaging
优化来自废弃原料的低碳可生物降解柔性薄膜，用于高速加工成一次性软包装
- 批准号：
2889109 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Studentship
Collaborative Research: CAS-Climate: Linking Activities, Expenditures and Energy Use into an Integrated Systems Model to Understand and Predict Energy Futures
合作研究：CAS-气候：将活动、支出和能源使用连接到集成系统模型中，以了解和预测能源未来
- 批准号：
2243099 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Standard Grant
Integrating Treatments for Alcohol Use Disorder into Hepatology Clinics
将酒精使用障碍的治疗纳入肝病诊所
- 批准号：
10785211 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Collaborative Research: PPoSS: LARGE: Research into the Use and iNtegration of Data Movement Accelerators (RUN-DMX)
协作研究：PPoSS：大型：数据移动加速器 (RUN-DMX) 的使用和集成研究
- 批准号：
2316176 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Continuing Grant
Supporting Unhealthy Substance use care Through a whole person Approach and user centered INtegration into primary care (SUSTAIN)
支持不健康药物使用护理 通过全人方法和以用户为中心 融入初级护理（持续）
- 批准号：
10827292 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Feasibility Study into the use of AI/ML to improve outcomes for SMEs in Government Contracting
使用人工智能/机器学习改善中小企业政府承包成果的可行性研究
- 批准号：
10066729 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Collaborative R&D
Collaborative Research: PPoSS: LARGE: Research into the Use and iNtegration of Data Movement Accelerators (RUN-DMX)
协作研究：PPoSS：大型：数据移动加速器 (RUN-DMX) 的使用和集成研究
- 批准号：
2316177 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Continuing Grant
Integrating multi-taxa biodiversity conservation into upland ecosystem service land-use models
将多类群生物多样性保护纳入高地生态系统服务土地利用模型
- 批准号：
2881781 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Studentship
Collaborative Research: CAS-Climate: Linking Activities, Expenditures and Energy Use into an Integrated Systems Model to Understand and Predict Energy Futures
合作研究：CAS-气候：将活动、支出和能源使用连接到集成系统模型中，以了解和预测能源未来
- 批准号：
2243100 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Standard Grant
The sexual and mental health of GBT2SQ men: An investigation into the health outcomes of sexualized drug use and sexualized violence among GBT2SQ men who use online technologies during the Covid-19 pandemic
GBT2SQ 男性的性健康和心理健康：对 Covid-19 大流行期间使用在线技术的 GBT2SQ 男性中性药物使用和性暴力的健康结果的调查
- 批准号：
464062 - 财政年份：2022
- 资助金额：
-- - 项目类别：
Operating Grants