刷新
{{item.name}}会员
Mathematical Sciences: Mathematical Logic and Its Applications
数学科学：数理逻辑及其应用
基本信息
- 批准号：8200729
- 负责人：
- 金额：$ 28.03万
- 依托单位：
- 依托单位国家：美国
- 项目类别：Continuing Grant
- 财政年份：1982
- 资助国家：美国
- 起止时间：1982-05-15 至 1985-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
- 资助金额：
$ 28.03万 - 项目类别：
Continuing Grant
Mathematical Sciences: Mathematical Logic and Applications
数学科学：数学逻辑及其应用
- 批准号：
9024411 - 财政年份：1991
- 资助金额：
$ 28.03万 - 项目类别：
Continuing Grant
Mathematical Sciences: Mathematical Logic and Applications
数学科学：数学逻辑及其应用
- 批准号：
8801139 - 财政年份：1988
- 资助金额：
$ 28.03万 - 项目类别：
Continuing Grant
Mathematical Sciences: Mathematical Logic and Applications
数学科学：数学逻辑及其应用
- 批准号：
8501521 - 财政年份：1985
- 资助金额：
$ 28.03万 - 项目类别：
Continuing Grant
相似国自然基金
Handbook of the Mathematics of the Arts and Sciences的中文翻译
- 批准号：12226504
- 批准年份：2022
- 资助金额：20.0 万元
- 项目类别：数学天元基金项目
SCIENCE CHINA: Earth Sciences
- 批准号：41224003
- 批准年份：2012
- 资助金额：24.0 万元
- 项目类别：专项基金项目
Journal of Environmental Sciences
- 批准号：21224005
- 批准年份：2012
- 资助金额：24.0 万元
- 项目类别：专项基金项目
SCIENCE CHINA Information Sciences
- 批准号：61224002
- 批准年份：2012
- 资助金额：24.0 万元
- 项目类别：专项基金项目
SCIENCE CHINA Technological Sciences
- 批准号：51224001
- 批准年份：2012
- 资助金额：24.0 万元
- 项目类别：专项基金项目
Journal of Environmental Sciences
- 批准号：21024806
- 批准年份：2010
- 资助金额：24.0 万元
- 项目类别：专项基金项目
SCIENCE CHINA Life Sciences (中国科学 生命科学)
- 批准号：81024803
- 批准年份：2010
- 资助金额：24.0 万元
- 项目类别：专项基金项目
SCIENCE CHINA Earth Sciences(中国科学：地球科学)
- 批准号：41024801
- 批准年份：2010
- 资助金额：24.0 万元
- 项目类别：专项基金项目
SCIENCE CHINA Technological Sciences
- 批准号：51024803
- 批准年份：2010
- 资助金额：24.0 万元
- 项目类别：专项基金项目
相似海外基金
Mathematical Sciences: Topics in Logic and Set Theory
数学科学：逻辑和集合论主题
- 批准号：
9505118 - 财政年份：1995
- 资助金额：
$ 28.03万 - 项目类别：
Continuing Grant
Linear logic and proof theory in the semantics of programming languages; visit at the University of Cambridge, Isaac Newton Institute for Mathematical Sciences, Cambridge, U.K.
编程语言语义中的线性逻辑和证明论；
- 批准号：
180849-1995 - 财政年份：1995
- 资助金额：
$ 28.03万 - 项目类别：
Bilateral Exchange Program (H)
Mathematical Sciences: Greater Boston Logic Conference, Spring 1995
数学科学：大波士顿逻辑会议，1995 年春季
- 批准号：
9415827 - 财政年份：1995
- 资助金额：
$ 28.03万 - 项目类别：
Standard Grant
Mathematical Sciences: Connecticut Logic Seminar
数学科学：康涅狄格州逻辑研讨会
- 批准号：
9504870 - 财政年份：1995
- 资助金额：
$ 28.03万 - 项目类别：
Standard Grant
Mathematical Sciences: Logic and Analysis
数学科学：逻辑与分析
- 批准号：
9503398 - 财政年份：1995
- 资助金额：
$ 28.03万 - 项目类别：
Continuing Grant
Mathematical Sciences: Travel Grants for 1995 Int. Congress of Logic, Methodology and Philosophy of Science
数学科学：1995 年国际旅行补助金
- 批准号：
9504267 - 财政年份：1995
- 资助金额：
$ 28.03万 - 项目类别：
Standard Grant
Mathematical Sciences: Mid Atlantic Mathematical Logic Seminar (MAMLS)
数学科学：大西洋中部数理逻辑研讨会（MAMLS）
- 批准号：
9509993 - 财政年份：1995
- 资助金额：
$ 28.03万 - 项目类别：
Standard Grant
Mathematical Sciences: Logic and Computability
数学科学：逻辑与可计算性
- 批准号：
9503503 - 财政年份：1995
- 资助金额：
$ 28.03万 - 项目类别：
Continuing grant
Mathematical Sciences: Mathematical Logic and Applications
数学科学：数学逻辑及其应用
- 批准号：
9400889 - 财政年份：1994
- 资助金额：
$ 28.03万 - 项目类别：
Continuing Grant
Mathematical Sciences: Rigid Analytic Geometry and Logic
数学科学：刚性解析几何和逻辑
- 批准号：
9401451 - 财政年份：1994
- 资助金额：
$ 28.03万 - 项目类别：
Continuing Grant