Mathematical Logic and Foundations

数理逻辑和基础

基本信息

  • 批准号:
    8002132
  • 负责人:
  • 金额:
    $ 3.38万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Continuing Grant
  • 财政年份:
    1980
  • 资助国家:
    美国
  • 起止时间:
    1980-06-01 至 1982-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 }}

Kenneth Kunen其他文献

Single axioms for groups
  • DOI:
    10.1007/bf00245293
  • 发表时间:
    1992-12-01
  • 期刊:
  • 影响因子:
    0.800
  • 作者:
    Kenneth Kunen
  • 通讯作者:
    Kenneth Kunen
A Ramsey theorem in Boyer-Moore logic
  • DOI:
    10.1007/bf00881917
  • 发表时间:
    1995-06-01
  • 期刊:
  • 影响因子:
    0.800
  • 作者:
    Kenneth Kunen
  • 通讯作者:
    Kenneth Kunen
Set Theory: An Introduction to Independence Proofs
集合论:独立性证明简介
  • DOI:
  • 发表时间:
    1983
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Kenneth Kunen
  • 通讯作者:
    Kenneth Kunen
Forcing and Differentiable Functions
Limits in function spaces and compact groups
  • DOI:
    10.1016/j.topol.2003.08.036
  • 发表时间:
    2005-06-01
  • 期刊:
  • 影响因子:
  • 作者:
    Joan E. Hart;Kenneth Kunen
  • 通讯作者:
    Kenneth Kunen

Kenneth Kunen的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Kenneth Kunen', 18)}}的其他基金

Applied Mathematical Logic
应用数理逻辑
  • 批准号:
    0456653
  • 财政年份:
    2005
  • 资助金额:
    $ 3.38万
  • 项目类别:
    Continuing Grant
Applied Mathematical Logic
应用数理逻辑
  • 批准号:
    0097881
  • 财政年份:
    2001
  • 资助金额:
    $ 3.38万
  • 项目类别:
    Continuing Grant
Applied Mathematical Logic
应用数理逻辑
  • 批准号:
    9704520
  • 财政年份:
    1997
  • 资助金额:
    $ 3.38万
  • 项目类别:
    Standard Grant
Automated Deduction in Mathematics
数学自动演绎
  • 批准号:
    9503445
  • 财政年份:
    1995
  • 资助金额:
    $ 3.38万
  • 项目类别:
    Standard Grant
Mathematical Sciences: Applied Mathematical Logic
数学科学:应用数理逻辑
  • 批准号:
    9100665
  • 财政年份:
    1991
  • 资助金额:
    $ 3.38万
  • 项目类别:
    Continuing Grant

相似国自然基金

greenwashing behavior in China:Basedon an integrated view of reconfiguration of environmental authority and decoupling logic
  • 批准号:
  • 批准年份:
    2024
  • 资助金额:
    万元
  • 项目类别:
    外国学者研究基金项目

相似海外基金

Collaborative Research: Fostering Virtual Learning of Data Science Foundations with Mathematical Logic for Rural High School Students
协作研究:促进农村高中生数据科学基础与数学逻辑的虚拟学习
  • 批准号:
    2201394
  • 财政年份:
    2022
  • 资助金额:
    $ 3.38万
  • 项目类别:
    Continuing Grant
Collaborative Research: Fostering Virtual Learning of Data Science Foundations with Mathematical Logic for Rural High School Students
协作研究:促进农村高中生数据科学基础与数学逻辑的虚拟学习
  • 批准号:
    2201393
  • 财政年份:
    2022
  • 资助金额:
    $ 3.38万
  • 项目类别:
    Continuing Grant
Mathematical logic and foundations of mathematics
数理逻辑和数学基础
  • 批准号:
    122066-1992
  • 财政年份:
    1993
  • 资助金额:
    $ 3.38万
  • 项目类别:
    Discovery Grants Program - Individual
Mathematical logic and foundations of mathematics
数理逻辑和数学基础
  • 批准号:
    122066-1992
  • 财政年份:
    1992
  • 资助金额:
    $ 3.38万
  • 项目类别:
    Discovery Grants Program - Individual
Categorical logic and proof theory in mathematical foundations of computing
计算数学基础中的分类逻辑和证明论
  • 批准号:
    8544-1990
  • 财政年份:
    1991
  • 资助金额:
    $ 3.38万
  • 项目类别:
    Discovery Grants Program - Individual
Mathematical Sciences: Topics in Logic and the Foundations of Mathematics
数学科学:逻辑主题和数学基础
  • 批准号:
    8703242
  • 财政年份:
    1987
  • 资助金额:
    $ 3.38万
  • 项目类别:
    Standard Grant
Mathematical Sciences: Topics in Logic and the Foundations of Mathematics
数学科学:逻辑主题和数学基础
  • 批准号:
    8405825
  • 财政年份:
    1984
  • 资助金额:
    $ 3.38万
  • 项目类别:
    Continuing Grant
Mathematical Logic and the Foundations of Mathematics
数理逻辑和数学基础
  • 批准号:
    8104869
  • 财政年份:
    1981
  • 资助金额:
    $ 3.38万
  • 项目类别:
    Continuing Grant
Mathematical Logic and the Foundations of Mathematics
数理逻辑和数学基础
  • 批准号:
    7905026
  • 财政年份:
    1979
  • 资助金额:
    $ 3.38万
  • 项目类别:
    Continuing Grant
Mathematical Logic and Foundations
数理逻辑和基础
  • 批准号:
    7900824
  • 财政年份:
    1979
  • 资助金额:
    $ 3.38万
  • 项目类别:
    Continuing Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了