Computable model theory and invariant descriptive computability theory

可计算模型理论和不变描述可计算性理论

基本信息

  • 批准号:
    2348792
  • 负责人:
  • 金额:
    $ 29万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    2024
  • 资助国家:
    美国
  • 起止时间:
    2024-07-01 至 2027-06-30
  • 项目状态:
    未结题

项目摘要

Mathematical logic grew out of a need to develop rigorous foundations for mathematics. Within mathematical logic, three major subfields are studied. Model theory understands mathematical objects by considering them through the lens of a formal language. Computability theory understands mathematical objects by considering them through the lens of computational complexity. Set theory understands mathematical objects through the foundational axioms of mathematics and how those axioms imply the object’s existence. This project focuses on some connections between computability theory and the other two subfields of logic. Regarding model theory, the project involves exploring the phenomenon when two mathematical objects look the same in terms of their formal languages, but one can be computed while the other cannot. In set theory, there is a rich theory exploring the complexity of 2-dimensional sets in terms of constructively embedding one into another. These embeddings are constructible in terms of the basic set-theoretic operations of unions and complements, but they may not be computable. The project will explore an analogous theory where one considers embeddings that must be computable. This project involves work with undergraduate and graduate students. The computable spectrum of a first-order theory asks which dimensions of models of that theory are computable. The spectrum problem in computable model theory, which has been a major open problem since the 70s, asks for which sets may be computable spectra of uncountably categorical theories, with a focus on strongly minimal theories. In this project, the aim is to give a reduction of the problem from a fully general framework down to the locally modular strongly minimal theories, which are geometrically tame and are closely related to groups. From there, the hope is to be able to give concrete answers as to which sets are spectra. Separately, this project will examine computable reduction on equivalence relations. One major direction is to use this complexity notion to examine algebraic decision problems in detail. In the past, the Turing degrees have been used to analyze algebraic decision problems, but these form a coarse yardstick, so all computably enumerable degrees seem to contain all natural algebraic decision problems. Using computable reductions on equivalence relations, there should be a much more interesting structure emerging.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.
数理逻辑的产生是因为需要为数学建立严格的基础。在数学逻辑中,研究了三个主要子领域。模型论通过形式语言的透镜来理解数学对象。可计算性理论通过计算复杂性的透镜来理解数学对象。集合论通过数学的基本公理以及这些公理如何暗示对象的存在来理解数学对象。这个项目的重点是可计算性理论和其他两个逻辑子领域之间的一些联系。关于模型论,该项目涉及探索当两个数学对象在其形式语言方面看起来相同时的现象,但一个可以计算,而另一个不能。在集合论中,有一个丰富的理论探索二维集合的复杂性,在建设性地嵌入一个到另一个。这些嵌入可以用集合论中的并和补的基本运算来构造,但它们可能是不可计算的。该项目将探索一个类似的理论,其中一个认为嵌入必须是可计算的。这个项目涉及与本科生和研究生的工作。一阶理论的可计算谱要求该理论模型的哪些维度是可计算的。可计算模型理论中的谱问题,自70年代以来一直是一个主要的开放问题,要求哪些集合可以是不可数范畴理论的可计算谱,重点是强极小理论。在这个项目中,我们的目标是从一个完全通用的框架到局部模块化的强极小理论,这是几何驯服,并密切相关的群体的问题减少。从那里,希望能够给出具体的答案,哪些集合是光谱。另外,这个项目将研究等价关系的可计算约简。一个主要的方向是使用这种复杂性的概念来详细研究代数决策问题。在过去,图灵度被用来分析代数决策问题,但这些形成了一个粗略的尺度,所以所有可计算的可计算度似乎包含了所有自然的代数决策问题。利用等价关系的可计算约简,应该会出现一个更有趣的结构。该奖项反映了NSF的法定使命,并被认为值得通过使用基金会的知识价值和更广泛的影响审查标准进行评估来支持。

项目成果

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

Uri Andrews其他文献

On the structure of the degrees of relative provability
  • DOI:
    10.1007/s11856-015-1182-8
  • 发表时间:
    2015-03-28
  • 期刊:
  • 影响因子:
    0.800
  • 作者:
    Uri Andrews;Mingzhong Cai;David Diamondstone;Steffen Lempp;Joseph S. Miller
  • 通讯作者:
    Joseph S. Miller
2014 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC University of Colorado, Boulder Boulder, CO, USA May 19–22, 2014
符号逻辑协会 2014 年北美年会 科罗拉多大学博尔德分校 美国科罗拉多州博尔德 2014 年 5 月 19-22 日
  • DOI:
  • 发表时间:
    2015
  • 期刊:
  • 影响因子:
    0.6
  • 作者:
    Marcia Groszek;R. A. R. .. ALEX WILKIE;Barbara F. Csima;D. Dorais;J. Dzhafarov;P. Mileti;Shafer Michael;Hrusak;Alexei S. Kolesnikov;When CHRIS LASKOWSKI;Naoki Kobayashi;Alfred Dolich;Eva Leenknegt;J. V. Benthem;S. Brams;Uri Andrews;And MINGZHONG CAI;David Diamondstone;Andrei A. Bulatov
  • 通讯作者:
    Andrei A. Bulatov
2016 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC University of Connecticut Storrs, CT, USA May 23–26, 2016
符号逻辑协会 2016 年北美年会 康涅狄格大学 美国康涅狄格州斯托尔斯 2016 年 5 月 23-26 日
  • DOI:
  • 发表时间:
    2017
  • 期刊:
  • 影响因子:
    0.6
  • 作者:
    A. Urquhart;Zoé Chatzidakis;École Normale;Magdalena Kaufmann;Patricia A. Blanchette;Uri Andrews;Hristo Ganchev;R. Kuyper;Steffen Lempp;Joseph S. Miller;And ALEXANDRA A. SOSKOVA;M. Soskova;Eric P. Astor;D. Dzhafarov;And REED SOLOMON;Jacob Suggs;David R. Belanger;Greg Igusa;Ludovic Patey;D. Turetsky;Jonathan Stephenson;Erin Caulfield;Spencer Unger
  • 通讯作者:
    Spencer Unger
Independence relations in randomizations
随机化中的独立关系
  • DOI:
  • 发表时间:
    2014
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Uri Andrews;Isaac Goldbring;H. Keisler
  • 通讯作者:
    H. Keisler
The index set of uncountably categorical theories
  • DOI:
    10.1007/s11856-013-0011-1
  • 发表时间:
    2013-05-16
  • 期刊:
  • 影响因子:
    0.800
  • 作者:
    Uri Andrews;Tamvana Makuluni
  • 通讯作者:
    Tamvana Makuluni

Uri Andrews的其他文献

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

{{ truncateString('Uri Andrews', 18)}}的其他基金

Interactions between Computability Theory and Model Theory
可计算性理论与模型理论之间的相互作用
  • 批准号:
    1600228
  • 财政年份:
    2016
  • 资助金额:
    $ 29万
  • 项目类别:
    Continuing Grant
Computable Stability Theory
可计算稳定性理论
  • 批准号:
    1201338
  • 财政年份:
    2012
  • 资助金额:
    $ 29万
  • 项目类别:
    Continuing Grant

相似国自然基金

基于术中实时影像的SAM(Segment anything model)开发AI指导房间隔穿刺位置决策的增强现实模型
  • 批准号:
  • 批准年份:
    2024
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
运用3D打印和生物反应器构建仿生尿道模型探索Hippo-YAP信号通路调控尿道损伤修复的机制研究
  • 批准号:
    82370684
  • 批准年份:
    2023
  • 资助金额:
    49.00 万元
  • 项目类别:
    面上项目
基于影像代谢重塑可视化的延胡索酸水合酶缺陷型肾癌危险性分层模型的研究
  • 批准号:
    82371912
  • 批准年份:
    2023
  • 资助金额:
    48.00 万元
  • 项目类别:
    面上项目
Development of a Linear Stochastic Model for Wind Field Reconstruction from Limited Measurement Data
  • 批准号:
  • 批准年份:
    2020
  • 资助金额:
    40 万元
  • 项目类别:
半参数空间自回归面板模型的有效估计与应用研究
  • 批准号:
    71961011
  • 批准年份:
    2019
  • 资助金额:
    16.0 万元
  • 项目类别:
    地区科学基金项目
高频数据波动率统计推断、预测与应用
  • 批准号:
    71971118
  • 批准年份:
    2019
  • 资助金额:
    50.0 万元
  • 项目类别:
    面上项目
人胆囊源CD63+细胞的干性特征与分化特性的研究
  • 批准号:
    31970753
  • 批准年份:
    2019
  • 资助金额:
    52.0 万元
  • 项目类别:
    面上项目
基于线性及非线性模型的高维金融时间序列建模:理论及应用
  • 批准号:
    71771224
  • 批准年份:
    2017
  • 资助金额:
    49.0 万元
  • 项目类别:
    面上项目
应用Agent-Based-Model研究围术期单剂量地塞米松对手术切口愈合的影响及机制
  • 批准号:
    81771933
  • 批准年份:
    2017
  • 资助金额:
    50.0 万元
  • 项目类别:
    面上项目
凯莱流形上的几何流
  • 批准号:
    11771301
  • 批准年份:
    2017
  • 资助金额:
    48.0 万元
  • 项目类别:
    面上项目

相似海外基金

Integrating theory and data to model evolution under a changing climate
整合理论和数据来模拟气候变化下的进化
  • 批准号:
    DP230102431
  • 财政年份:
    2024
  • 资助金额:
    $ 29万
  • 项目类别:
    Discovery Projects
Neural circuitry of predictions and prediction errors in the auditory system
听觉系统中预测和预测误差的神经回路
  • 批准号:
    23K14298
  • 财政年份:
    2023
  • 资助金额:
    $ 29万
  • 项目类别:
    Grant-in-Aid for Early-Career Scientists
Model theory of analytic functions
解析函数模型论
  • 批准号:
    2881804
  • 财政年份:
    2023
  • 资助金额:
    $ 29万
  • 项目类别:
    Studentship
Effective field theory and Physics Beyond the Standard Model
超越标准模型的有效场论和物理学
  • 批准号:
    2883677
  • 财政年份:
    2023
  • 资助金额:
    $ 29万
  • 项目类别:
    Studentship
Intracranial Investigation of Neural Circuity Underlying Human Mood
人类情绪背后的神经回路的颅内研究
  • 批准号:
    10660355
  • 财政年份:
    2023
  • 资助金额:
    $ 29万
  • 项目类别:
Accurate and Individualized Prediction of Excitation-Inhibition Imbalance in Alzheimer's Disease using Data-driven Neural Model
使用数据驱动的神经模型准确、个性化地预测阿尔茨海默病的兴奋抑制失衡
  • 批准号:
    10727356
  • 财政年份:
    2023
  • 资助金额:
    $ 29万
  • 项目类别:
UTEP FIRST Evaluation Core
UTEP FIRST 评估核心
  • 批准号:
    10664697
  • 财政年份:
    2023
  • 资助金额:
    $ 29万
  • 项目类别:
Functional and behavioral dissection of higher order thalamocortical circuits in schizophrenia.
精神分裂症高阶丘脑皮质回路的功能和行为解剖。
  • 批准号:
    10633810
  • 财政年份:
    2023
  • 资助金额:
    $ 29万
  • 项目类别:
WILDMOD: Model Theory of wild mathematical structures, new perspectives via geometries and positive logic.
WILDMOD:狂野数学结构的模型理论,通过几何和正逻辑的新视角。
  • 批准号:
    EP/Y027833/1
  • 财政年份:
    2023
  • 资助金额:
    $ 29万
  • 项目类别:
    Fellowship
Model theory of operators and noncommutative function theory
算子模型论和非交换函数论
  • 批准号:
    23KJ1070
  • 财政年份:
    2023
  • 资助金额:
    $ 29万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了