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
- DOI:
10.1007/s11083-011-9210-8 - 发表时间:
2011-04-01 - 期刊:
- 影响因子:0.300
- 作者:
Kenneth Kunen - 通讯作者:
Kenneth Kunen
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)}}的其他基金
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