刷新
{{item.name}}会员
Mathematical Logic
数理逻辑
基本信息
- 批准号：7713935
- 负责人：
- 金额：$ 8.66万
- 依托单位：
- 依托单位国家：美国
- 项目类别：Continuing Grant
- 财政年份：1978
- 资助国家：美国
- 起止时间：1978-01-01 至 1981-06-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 }}
Thomas Jech其他文献
OTTER experiments in a system of combinatory logic
- DOI：
10.1007/bf00881715 - 发表时间：
1995-10-01 - 期刊：
- 影响因子：0.800
- 作者：
Thomas Jech - 通讯作者：
Thomas Jech
Review: Yiannis N. Moschovakis, Descriptive set theory
评论：Yiannis N. Moschovakis，描述性集合论
- DOI：
10.1090/s0273-0979-1981-14952-1 - 发表时间：
1981 - 期刊：
- 影响因子：0
- 作者：
Thomas Jech - 通讯作者：
Thomas Jech
A note on countable Boolean algebras
- DOI：
10.1007/bf02483926 - 发表时间：
1982-12-01 - 期刊：
- 影响因子：0.600
- 作者：
Thomas Jech - 通讯作者：
Thomas Jech
A note on canonical functions
- DOI：
10.1007/bf02764992 - 发表时间：
1989-10-01 - 期刊：
- 影响因子：0.800
- 作者：
Thomas Jech;Saharon Shelah - 通讯作者：
Saharon Shelah
Thomas Jech的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Thomas Jech', 18)}}的其他基金
NSF-CGP Science & Engineering Fellows Program: Applications of Set Theory in Algebra
NSF-CGP 科学
- 批准号：
9503178 - 财政年份：1995
- 资助金额：
$ 8.66万 - 项目类别：
Standard Grant
U.S.-Czechoslovakia Mathematics Research in Set Theory
美捷数学集合论研究
- 批准号：
9016754 - 财政年份：1991
- 资助金额：
$ 8.66万 - 项目类别：
Standard Grant
Mathematical Sciences: Research in Set Theory
数学科学：集合论研究
- 批准号：
8918299 - 财政年份：1990
- 资助金额：
$ 8.66万 - 项目类别：
Continuing Grant
相似国自然基金
greenwashing behavior in China:Basedon an integrated view of reconfiguration of environmental authority and decoupling logic
- 批准号：
- 批准年份：2024
- 资助金额：万元
- 项目类别：外国学者研究基金项目
相似海外基金
Conference: Travel Awards to Attend the Twentieth Latin American Symposium on Mathematical Logic
会议：参加第二十届拉丁美洲数理逻辑研讨会的旅行奖
- 批准号：
2414907 - 财政年份：2024
- 资助金额：
$ 8.66万 - 项目类别：
Standard Grant
WILDMOD: Model Theory of wild mathematical structures, new perspectives via geometries and positive logic.
WILDMOD：狂野数学结构的模型理论，通过几何和正逻辑的新视角。
- 批准号：
EP/Y027833/1 - 财政年份：2023
- 资助金额：
$ 8.66万 - 项目类别：
Fellowship
Construction of Mathematical Logic System to Verify Quantum Communication Networks and Its Quantum Computational Implications
验证量子通信网络的数学逻辑系统的构建及其量子计算意义
- 批准号：
22KJ1483 - 财政年份：2023
- 资助金额：
$ 8.66万 - 项目类别：
Grant-in-Aid for JSPS Fellows
Nineteenth Latin American Symposium on Mathematical Logic
第十九届拉丁美洲数理逻辑研讨会
- 批准号：
2212620 - 财政年份：2022
- 资助金额：
$ 8.66万 - 项目类别：
Standard Grant
Collaborative Research: Fostering Virtual Learning of Data Science Foundations with Mathematical Logic for Rural High School Students
协作研究：促进农村高中生数据科学基础与数学逻辑的虚拟学习
- 批准号：
2201394 - 财政年份：2022
- 资助金额：
$ 8.66万 - 项目类别：
Continuing Grant
Reconsideration of the applications of the mathematical logic in "French Thought".
数理逻辑在《法国思想》中应用的再思考
- 批准号：
22K00103 - 财政年份：2022
- 资助金额：
$ 8.66万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Collaborative Research: Fostering Virtual Learning of Data Science Foundations with Mathematical Logic for Rural High School Students
协作研究：促进农村高中生数据科学基础与数学逻辑的虚拟学习
- 批准号：
2201393 - 财政年份：2022
- 资助金额：
$ 8.66万 - 项目类别：
Continuing Grant
Geometric group theory, topology, mathematical logic and algorithms
几何群论、拓扑、数理逻辑与算法
- 批准号：
RGPIN-2016-06154 - 财政年份：2021
- 资助金额：
$ 8.66万 - 项目类别：
Discovery Grants Program - Individual
Geometric group theory, topology, mathematical logic and algorithms
几何群论、拓扑、数理逻辑与算法
- 批准号：
RGPIN-2016-06154 - 财政年份：2020
- 资助金额：
$ 8.66万 - 项目类别：
Discovery Grants Program - Individual
The Eighteenth Latin American Symposium on Mathematical Logic
第十八届拉丁美洲数理逻辑研讨会
- 批准号：
1947015 - 财政年份：2019
- 资助金额：
$ 8.66万 - 项目类别：
Standard Grant