Simple Theories

简单的理论

基本信息

  • 批准号:
    9803425
  • 负责人:
  • 金额:
    --
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    1998
  • 资助国家:
    美国
  • 起止时间:
    1998-07-01 至 2000-06-30
  • 项目状态:
    已结题

项目摘要

From the mid 60's, Stability Theory, the study of stable (first-order) theories, has been a major subject of Model Theory. The PI recently extended the scope of Stability Theory to Simplicity Theory, the study of simple theories. This project will focus on the generalization of true facts in stable theories to simple theories.
自60年代中期以来,稳定性理论,即研究稳定(一阶)理论的理论,一直是模型论的一个重要课题。PI最近将稳定性理论的范围扩展到简单性理论,即简单理论的研究。这个项目将集中在稳定理论中的真实事实到简单理论的推广。

项目成果

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

Sy Friedman其他文献

Young researchers in set theory workshop
年轻研究人员参加集合论研讨会
  • DOI:
  • 发表时间:
    2008
  • 期刊:
  • 影响因子:
    0
  • 作者:
    I. Dimitriou;B. Irrgang;Katie Thompson;Jip Veldman;Alessandro Andretta;Martin Goldstern;J. Väänänen;Alex Hellsten;A. Rinot;D. Asperó;Sy Friedman;Gunter Fuchs;Heike Mildenberger;John Krueger;Matteo Viale;Natasha Dobrinen;Edu;David Friedman;Alexander Primavesi;Andreas Fackler;Andrew Brooke;Andrew Brooke
  • 通讯作者:
    Andrew Brooke

Sy Friedman的其他文献

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

{{ truncateString('Sy Friedman', 18)}}的其他基金

Greater Boston Logic Conference, Cambridge, Massachusetts
大波士顿逻辑会议,马萨诸塞州剑桥
  • 批准号:
    9972531
  • 财政年份:
    1999
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
U.S.-Venezuela Symposium on Mathematical Logic
美国-委内瑞拉数理逻辑研讨会
  • 批准号:
    9809924
  • 财政年份:
    1998
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Mathematical Sciences: Set Theory
数学科学:集合论
  • 批准号:
    9625997
  • 财政年份:
    1996
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Mathematical Sciences: Set Theory
数学科学:集合论
  • 批准号:
    9205530
  • 财政年份:
    1992
  • 资助金额:
    --
  • 项目类别:
    Continuing grant
Mathematical Sciences: Sacks Symposium
数学科学:萨克斯研讨会
  • 批准号:
    9217230
  • 财政年份:
    1992
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Mathematical Sciences: Set Theory
数学科学:集合论
  • 批准号:
    8903380
  • 财政年份:
    1989
  • 资助金额:
    --
  • 项目类别:
    Continuing grant
Mathematical Sciences: Recursion Theory
数学科学:递归理论
  • 批准号:
    8519769
  • 财政年份:
    1986
  • 资助金额:
    --
  • 项目类别:
    Continuing grant
Mathematical Sciences: Recursion Theory
数学科学:递归理论
  • 批准号:
    8403230
  • 财政年份:
    1984
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Recursion Theory
递归理论
  • 批准号:
    7906084
  • 财政年份:
    1979
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
1978 National Needs Postdoctoral Fellowship Program
1978年 国家急需博士后资助计划
  • 批准号:
    7815579
  • 财政年份:
    1978
  • 资助金额:
    --
  • 项目类别:
    Fellowship Award

相似海外基金

Translations between Type Theories
类型理论之间的翻译
  • 批准号:
    EP/Z000602/1
  • 财政年份:
    2025
  • 资助金额:
    --
  • 项目类别:
    Research Grant
Cognitive imprecision and ageing: experimental investigation of new theories of decision-making
认知不精确与衰老:新决策理论的实验研究
  • 批准号:
    24K00237
  • 财政年份:
    2024
  • 资助金额:
    --
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
REU Site: Quantitative Rules of Life: General Theories across Biological Systems
REU 网站:生命的定量规则:跨生物系统的一般理论
  • 批准号:
    2349052
  • 财政年份:
    2024
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
CAREER: Evaluating Theories of Polymer Crystallization by Directly Calculating the Nucleation Barrier in a Polymer Melt
职业:通过直接计算聚合物熔体中的成核势垒来评估聚合物结晶理论
  • 批准号:
    2338690
  • 财政年份:
    2024
  • 资助金额:
    --
  • 项目类别:
    Continuing Grant
RAPID: Antecedents and Consequences of Disaster-Related Conspiracy Theories
RAPID:灾难相关阴谋论的前因和后果
  • 批准号:
    2326644
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Collaborative Research: SLES: Safe Distributional-Reinforcement Learning-Enabled Systems: Theories, Algorithms, and Experiments
协作研究:SLES:安全的分布式强化学习系统:理论、算法和实验
  • 批准号:
    2331781
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Development of tensor renormalization group for lattice field theories rich in internal degrees of freedom
丰富内部自由度晶格场论张量重整化群的发展
  • 批准号:
    23K13096
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
    Grant-in-Aid for Early-Career Scientists
Testing alternative theories of gravity in strong gravitational field by searching for gravitational-wave polarization from compact binary coalescences
通过从致密双星聚结中寻找引力波偏振来测试强引力场中的替代引力理论
  • 批准号:
    22KJ1650
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
Canonical Singularities, Generalized Symmetries, and 5d Superconformal Field Theories
正则奇点、广义对称性和 5d 超共形场论
  • 批准号:
    EP/X01276X/1
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
    Fellowship
Quantum Simulation of Non-Equilibrium Processes in Quantum Field Theories
量子场论中非平衡过程的量子模拟
  • 批准号:
    22KJ0957
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了