刷新
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其他文献
Set Theory: An Introduction to Independence Proofs
集合论：独立性证明简介
- DOI：
- 发表时间：
1983 - 期刊：
- 影响因子：0
- 作者：
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
Super properties and net weight
- DOI：
10.1016/j.topol.2020.107144 - 发表时间：
2020-04-01 - 期刊：
- 影响因子：
- 作者：
Joan E. Hart;Kenneth Kunen - 通讯作者：
Kenneth Kunen
Limits in compact Abelian groups
- DOI：
10.1016/j.topol.2005.02.011 - 发表时间：
2006-01-01 - 期刊：
- 影响因子：
- 作者：
Joan E. Hart;Kenneth Kunen - 通讯作者：
Kenneth Kunen
Locally connected hereditarily Lindelöf compacta
- DOI：
10.1016/j.topol.2011.10.002 - 发表时间：
2011-12-01 - 期刊：
- 影响因子：
- 作者：
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
相似国自然基金
近似推理的图片模型及其逻辑基础
- 批准号：12171445
- 批准年份：2021
- 资助金额：50 万元
- 项目类别：面上项目
基础教育机会不平等与财政政策干预：治理逻辑、效应评估与优化设计
- 批准号：
- 批准年份：2021
- 资助金额：30 万元
- 项目类别：青年科学基金项目
基础教育机会不平等与财政政策干预：治理逻辑、效应评估与优化设计
- 批准号：72103166
- 批准年份：2021
- 资助金额：24.00 万元
- 项目类别：青年科学基金项目
职业成功内涵的逻辑基础与跨层建构——中国情境下融合新制度主义视角的探索研究
- 批准号：72002124
- 批准年份：2020
- 资助金额：24 万元
- 项目类别：青年科学基金项目
计算存储融合的高性能氧化物忆阻逻辑器件基础研究
- 批准号：61874006
- 批准年份：2018
- 资助金额：63.0 万元
- 项目类别：面上项目
相似海外基金
Understanding the Numbers: Quantitative Literacy for Experimental Rigor
理解数字：实验严谨性的定量素养
- 批准号：
10722653 - 财政年份：2023
- 资助金额：
$ 3.38万 - 项目类别：
School Readiness Intervention for Preschool Children with Sickle Cell Disease
患有镰状细胞病的学龄前儿童的入学准备干预
- 批准号：
10570119 - 财政年份：2023
- 资助金额：
$ 3.38万 - 项目类别：
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
Cell targeting with synthetic sense-and-respond protease circuits
使用合成的感知和响应蛋白酶电路进行细胞靶向
- 批准号：
10447755 - 财政年份：2020
- 资助金额：
$ 3.38万 - 项目类别：