Mathematical Logic and Foundations

数理逻辑和基础

基本信息

  • 批准号:
    7606541
  • 负责人:
  • 金额:
    $ 12.15万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Continuing Grant
  • 财政年份:
    1976
  • 资助国家:
    美国
  • 起止时间:
    1976-06-01 至 1979-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 }}

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
  • 资助金额:
    $ 12.15万
  • 项目类别:
    Continuing Grant
Mathematical Sciences: Mathematical Logic and Applications
数学科学:数学逻辑及其应用
  • 批准号:
    9024411
  • 财政年份:
    1991
  • 资助金额:
    $ 12.15万
  • 项目类别:
    Continuing Grant
Mathematical Sciences: Mathematical Logic and Applications
数学科学:数学逻辑及其应用
  • 批准号:
    8801139
  • 财政年份:
    1988
  • 资助金额:
    $ 12.15万
  • 项目类别:
    Continuing Grant
Mathematical Sciences: Mathematical Logic and Applications
数学科学:数学逻辑及其应用
  • 批准号:
    8501521
  • 财政年份:
    1985
  • 资助金额:
    $ 12.15万
  • 项目类别:
    Continuing Grant
Mathematical Sciences: Mathematical Logic and Its Applications
数学科学:数理逻辑及其应用
  • 批准号:
    8200729
  • 财政年份:
    1982
  • 资助金额:
    $ 12.15万
  • 项目类别:
    Continuing Grant
Mathematical Logic and Foundations
数理逻辑和基础
  • 批准号:
    7900824
  • 财政年份:
    1979
  • 资助金额:
    $ 12.15万
  • 项目类别:
    Continuing Grant
Mathematical Logic and Foundations
数理逻辑和基础
  • 批准号:
    7406355
  • 财政年份:
    1974
  • 资助金额:
    $ 12.15万
  • 项目类别:
    Standard 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
  • 资助金额:
    $ 12.15万
  • 项目类别:
    Continuing Grant
Collaborative Research: Fostering Virtual Learning of Data Science Foundations with Mathematical Logic for Rural High School Students
协作研究:促进农村高中生数据科学基础与数学逻辑的虚拟学习
  • 批准号:
    2201393
  • 财政年份:
    2022
  • 资助金额:
    $ 12.15万
  • 项目类别:
    Continuing Grant
Mathematical logic and foundations of mathematics
数理逻辑和数学基础
  • 批准号:
    122066-1992
  • 财政年份:
    1993
  • 资助金额:
    $ 12.15万
  • 项目类别:
    Discovery Grants Program - Individual
Mathematical logic and foundations of mathematics
数理逻辑和数学基础
  • 批准号:
    122066-1992
  • 财政年份:
    1992
  • 资助金额:
    $ 12.15万
  • 项目类别:
    Discovery Grants Program - Individual
Categorical logic and proof theory in mathematical foundations of computing
计算数学基础中的分类逻辑和证明论
  • 批准号:
    8544-1990
  • 财政年份:
    1991
  • 资助金额:
    $ 12.15万
  • 项目类别:
    Discovery Grants Program - Individual
Mathematical Sciences: Topics in Logic and the Foundations of Mathematics
数学科学:逻辑主题和数学基础
  • 批准号:
    8703242
  • 财政年份:
    1987
  • 资助金额:
    $ 12.15万
  • 项目类别:
    Standard Grant
Mathematical Sciences: Topics in Logic and the Foundations of Mathematics
数学科学:逻辑主题和数学基础
  • 批准号:
    8405825
  • 财政年份:
    1984
  • 资助金额:
    $ 12.15万
  • 项目类别:
    Continuing Grant
Mathematical Logic and the Foundations of Mathematics
数理逻辑和数学基础
  • 批准号:
    8104869
  • 财政年份:
    1981
  • 资助金额:
    $ 12.15万
  • 项目类别:
    Continuing Grant
Mathematical Logic and Foundations
数理逻辑和基础
  • 批准号:
    8002132
  • 财政年份:
    1980
  • 资助金额:
    $ 12.15万
  • 项目类别:
    Continuing Grant
Mathematical Logic and the Foundations of Mathematics
数理逻辑和数学基础
  • 批准号:
    7905026
  • 财政年份:
    1979
  • 资助金额:
    $ 12.15万
  • 项目类别:
    Continuing Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了