课题基金 / 基金详情

Investigations Into the Use of Higher Types, Set Theoretic Undefinability, and Intuitionistic Semantics

Investigations Into the Use of Higher Types, Set Theoretic Undefinability, and Intuitionistic Semantics
对高级类型、集合论不可定义性和直觉语义的使用的调查
批准号：
7802558
负责人：
Harvey Friedman
金额：
$0.0万
依托单位：
Ohio State University
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
1978
资助国家：
美国
项目状态：
已结题
起止时间：
1978-07-01 至 1981-12-31
来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=7802558&HistoricalAwards=false
关键词：
InvestigationsIntoUseHigherTypes

项目摘要

项目成果

Harvey Friedman的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Collaborative Research: Theoretical Support for Mechanized Proof Assistants
Research in the Foundations of Mathematics
Topics in the Foundations of Mathematics
  • 批准号：
    9970459
  • 项目类别：
    Standard Grant
  • 资助金额：
    $0.0万
  • 财政年份：
    1999
  • 负责人：
    Harvey Friedman
  • 依托单位：
    Ohio State University
Issues in the Foundations of Mathematics
海外基金