Diagonal Genericity

对角通用性

基本信息

  • 批准号:
    8716037
  • 负责人:
  • 金额:
    $ 3.65万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    1988
  • 资助国家:
    美国
  • 起止时间:
    1988-03-01 至 1990-08-31
  • 项目状态:
    已结题

项目摘要

M. C. Stanley will develop further applications of his technique of "diagonal genericity" already shown to be useful in studying recursively enumerable degrees.
M. C.斯坦利将进一步开发他的应用程序 “对角线一般性”技术已经证明是有用, 研究递归可重复度。

项目成果

期刊论文数量(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 }}

Maurice Stanley其他文献

Maurice Stanley的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Maurice Stanley', 18)}}的其他基金

RUI: Incompleteness of the Third Kind in Set Theory
RUI:集合论中的第三类不完备性
  • 批准号:
    0501114
  • 财政年份:
    2005
  • 资助金额:
    $ 3.65万
  • 项目类别:
    Standard Grant
RUI: Characterization Problems, Outer Models, and Forcing
RUI:表征问题、外部模型和强迫
  • 批准号:
    0100612
  • 财政年份:
    2001
  • 资助金额:
    $ 3.65万
  • 项目类别:
    Standard Grant
RUI: Outer Models and Forcing
RUI:外部模型和强迫
  • 批准号:
    9803643
  • 财政年份:
    1998
  • 资助金额:
    $ 3.65万
  • 项目类别:
    Standard Grant
Mathemtical Sciences: RUI: Problems in Forcing
数学科学:RUI:强迫问题
  • 批准号:
    9505157
  • 财政年份:
    1995
  • 资助金额:
    $ 3.65万
  • 项目类别:
    Standard Grant
Mathematical Sciences: Forcing and O#
数学科学:强迫和 O
  • 批准号:
    9122320
  • 财政年份:
    1992
  • 资助金额:
    $ 3.65万
  • 项目类别:
    Standard Grant
Mathematical Sciences: Problems in Forcing
数学科学:强迫问题
  • 批准号:
    8922393
  • 财政年份:
    1990
  • 资助金额:
    $ 3.65万
  • 项目类别:
    Standard Grant
Mathematical Sciences: Exotic Pi-1-2 Singletons
数学科学:奇异的 Pi-1-2 单例
  • 批准号:
    8506054
  • 财政年份:
    1985
  • 资助金额:
    $ 3.65万
  • 项目类别:
    Standard Grant

相似海外基金

p進簡約群の表現のgenericityについて
关于p进约化群表示的通用性
  • 批准号:
    21J13751
  • 财政年份:
    2021
  • 资助金额:
    $ 3.65万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
Genericity in Network Software: Using Type Systems and Formal Methods to Harness Diverse Theories and Calculi for Scalable and Safe Compositions of Network Services
网络软件的通用性:使用类型系统和形式化方法来利用不同的理论和计算来实现网络服务的可扩展和安全组合
  • 批准号:
    0820138
  • 财政年份:
    2008
  • 资助金额:
    $ 3.65万
  • 项目类别:
    Standard Grant
First-Class Genericity for Java
Java 的一流通用性
  • 批准号:
    0306494
  • 财政年份:
    2003
  • 资助金额:
    $ 3.65万
  • 项目类别:
    Continuing Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了