Mathematical Logic and Foundations
数理逻辑和基础
基本信息
- 批准号:7900824
- 负责人:
- 金额:$ 13.72万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Continuing Grant
- 财政年份:1979
- 资助国家:美国
- 起止时间:1979-06-01 至 1982-10-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
项目成果
期刊论文数量(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 }}
H. Jerome Keisler其他文献
Using ultrapowers to compare continuous structures
使用超幂来比较连续结构
- DOI:
10.1016/j.apal.2023.103284 - 发表时间:
2024-01-01 - 期刊:
- 影响因子:0.600
- 作者:
H. Jerome Keisler - 通讯作者:
H. Jerome Keisler
The relationship between strong belief and assumption
- DOI:
10.1007/s11229-023-04167-6 - 发表时间:
2023-05-06 - 期刊:
- 影响因子:1.300
- 作者:
Adam Brandenburger;Amanda Friedenberg;H. Jerome Keisler - 通讯作者:
H. Jerome Keisler
Elementary extensions of models of set theory
- DOI:
10.1007/bf02771605 - 发表时间:
1968-01-01 - 期刊:
- 影响因子:0.800
- 作者:
H. Jerome Keisler;Michael Morley - 通讯作者:
Michael Morley
Some model theoretic results for θ-logic
- DOI:
10.1007/bf02771640 - 发表时间:
1966-12-01 - 期刊:
- 影响因子:0.800
- 作者:
H. Jerome Keisler - 通讯作者:
H. Jerome Keisler
On the number of homogeneous models of a given power
- DOI:
10.1007/bf02771624 - 发表时间:
1967-04-01 - 期刊:
- 影响因子:0.800
- 作者:
H. Jerome Keisler;Michael D. Morley - 通讯作者:
Michael D. Morley
H. Jerome Keisler的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('H. Jerome Keisler', 18)}}的其他基金
Mathematical Sciences: Mathematical Logic and Applications
数学科学:数学逻辑及其应用
- 批准号:
9400889 - 财政年份:1994
- 资助金额:
$ 13.72万 - 项目类别:
Continuing Grant
Mathematical Sciences: Mathematical Logic and Applications
数学科学:数学逻辑及其应用
- 批准号:
9024411 - 财政年份:1991
- 资助金额:
$ 13.72万 - 项目类别:
Continuing Grant
Mathematical Sciences: Mathematical Logic and Applications
数学科学:数学逻辑及其应用
- 批准号:
8801139 - 财政年份:1988
- 资助金额:
$ 13.72万 - 项目类别:
Continuing Grant
Mathematical Sciences: Mathematical Logic and Applications
数学科学:数学逻辑及其应用
- 批准号:
8501521 - 财政年份:1985
- 资助金额:
$ 13.72万 - 项目类别:
Continuing Grant
Mathematical Sciences: Mathematical Logic and Its Applications
数学科学:数理逻辑及其应用
- 批准号:
8200729 - 财政年份:1982
- 资助金额:
$ 13.72万 - 项目类别:
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
- 资助金额:
$ 13.72万 - 项目类别:
Continuing Grant
Collaborative Research: Fostering Virtual Learning of Data Science Foundations with Mathematical Logic for Rural High School Students
协作研究:促进农村高中生数据科学基础与数学逻辑的虚拟学习
- 批准号:
2201393 - 财政年份:2022
- 资助金额:
$ 13.72万 - 项目类别:
Continuing Grant
Mathematical logic and foundations of mathematics
数理逻辑和数学基础
- 批准号:
122066-1992 - 财政年份:1993
- 资助金额:
$ 13.72万 - 项目类别:
Discovery Grants Program - Individual
Mathematical logic and foundations of mathematics
数理逻辑和数学基础
- 批准号:
122066-1992 - 财政年份:1992
- 资助金额:
$ 13.72万 - 项目类别:
Discovery Grants Program - Individual
Categorical logic and proof theory in mathematical foundations of computing
计算数学基础中的分类逻辑和证明论
- 批准号:
8544-1990 - 财政年份:1991
- 资助金额:
$ 13.72万 - 项目类别:
Discovery Grants Program - Individual
Mathematical Sciences: Topics in Logic and the Foundations of Mathematics
数学科学:逻辑主题和数学基础
- 批准号:
8703242 - 财政年份:1987
- 资助金额:
$ 13.72万 - 项目类别:
Standard Grant
Mathematical Sciences: Topics in Logic and the Foundations of Mathematics
数学科学:逻辑主题和数学基础
- 批准号:
8405825 - 财政年份:1984
- 资助金额:
$ 13.72万 - 项目类别:
Continuing Grant
Mathematical Logic and the Foundations of Mathematics
数理逻辑和数学基础
- 批准号:
8104869 - 财政年份:1981
- 资助金额:
$ 13.72万 - 项目类别:
Continuing Grant
Mathematical Logic and the Foundations of Mathematics
数理逻辑和数学基础
- 批准号:
7905026 - 财政年份:1979
- 资助金额:
$ 13.72万 - 项目类别:
Continuing Grant