RUI: Model Theory and Structural Ramsey Theory

RUI:模型理论和结构拉姆齐理论

基本信息

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

项目摘要

In a large enough data set, a certain amount of uniformity is guaranteed. Variations on this theme are called "Ramsey theorems" after the groundbreaking work of Frank Ramsey in the early 20th century. Ramsey theorems have been used most recently in computer science to design efficient algorithms on certain types of data sets. This project concerns structural Ramsey theory, which uses tools from model theory to describe the objects under study. Model theory is an area of foundations of mathematics that studies properties holding generally on large sets of mathematical objects, across different areas of mathematics. This research project will extend the contribution of model theory to structural Ramsey theory. Methods from saturated model theory, pseudofinite model theory, category theory, and topological dynamics will be applied to create new knowledge pathways across these different areas of mathematics. This project will also provide increased training opportunities for students at California State University, San Bernardino.This research project studies how certain maps between two infinite structures in possibly different first-order languages can transfer information about the automorphism groups of these structures and, ultimately, the Ramsey properties of the finitely-generated structures embeddable in these infinite structures. In particular, this project studies a pair of maps between two infinite structures called a "semi-retraction" that induces a retraction of the type space of one structure onto the type space of the other. This project also studies which Ramsey theorems transfer from a class of finite structures to ultraproducts of these finite structures. This project will identify notions of tame partitions and investigate the classes of structures which have a Ramsey theorem for these tame partitions, but perhaps not in general. Many test cases are available as a result of a confluence of recent results in the calculation of finite big Ramsey degrees. This work is anticipated to have applications in classification theory in model theory, as well as in topological dynamics.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.
在足够大的数据集中,可以保证一定数量的均匀性。 在20世纪初的弗兰克·拉姆西(Frank Ramsey)开创性的作品之后,该主题的变化称为“拉姆齐定理”。 Ramsey定理最近在计算机科学中用于设计某些类型的数据集的有效算法。 该项目涉及结构性拉姆齐理论,该理论使用模型理论的工具来描述所研究的对象。 模型理论是数学基础的一个领域,该区域研究通常在数学领域跨越大量数学对象的属性。 该研究项目将扩展模型理论对结构性拉姆齐理论的贡献。 将采用饱和模型理论,假芬仪模型理论,类别理论和拓扑动态的方法来在这些不同的数学领域中创建新的知识途径。 该项目还将为加州州立大学圣贝纳迪诺大学的学生提供更多的培训机会。本研究项目研究了如何在可能不同的一阶语言中的两个无限结构之间的某些地图可以转移有关这些结构的自动形态群体的信息,并最终,最终,这些无限生成的结构的Ramsey属性在这些无限结构中嵌入了这些结构。 特别是,该项目研究了两个无限结构之间的一对图,称为“半撤退”,该结构引起了一个结构的类型空间的缩回,以缩回另一个结构的类型空间。 该项目还研究了Ramsey定理从一类有限结构转移到这些有限结构的超副作用。 该项目将确定驯服分区的概念,并研究具有这些驯服分区的Ramsey定理的结构类别,但通常不是。 由于有限的大拉姆西学位的计算,由于最近的结果汇合而获得了许多测试用例。预计这项工作将在模型理论以及拓扑动力学中具有分类理论中的应用。该奖项反映了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 }}

Lynn Scow其他文献

Characterization Theorems by Generalized Indiscernibles
广义不可分辨的表征定理
  • DOI:
  • 发表时间:
    2010
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Lynn Scow
  • 通讯作者:
    Lynn Scow
Products of Classes of Finite Structures
有限结构类的乘积
  • DOI:
  • 发表时间:
    2021
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Vincent Guingona;Miriam Parnes;Lynn Scow
  • 通讯作者:
    Lynn Scow
Categorical Constructions and the Ramsey Property
分类构造和拉姆齐性质
  • DOI:
  • 发表时间:
    2015
  • 期刊:
  • 影响因子:
    0
  • 作者:
    D. Mašulović;Lynn Scow
  • 通讯作者:
    Lynn Scow
Tree indiscernibilities, revisited
重新审视树木的不可辨别性
Indiscernibles, EM-Types, and Ramsey Classes of Trees
不可辨别树、EM 类型树和 Ramsey 树类
  • DOI:
    10.1215/00294527-3132797
  • 发表时间:
    2012
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Lynn Scow
  • 通讯作者:
    Lynn Scow

Lynn Scow的其他文献

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

相似国自然基金

属性与标签噪声并存情况下的鲁棒学习理论与方法
  • 批准号:
    62306103
  • 批准年份:
    2023
  • 资助金额:
    30.00 万元
  • 项目类别:
    青年科学基金项目
可逆鲁棒水印理论模型构建及高性能算法设计
  • 批准号:
    62172165
  • 批准年份:
    2021
  • 资助金额:
    58 万元
  • 项目类别:
    面上项目
基于多视图空间一致性的鲁棒模型拟合理论研究及应用
  • 批准号:
    62072223
  • 批准年份:
    2020
  • 资助金额:
    57 万元
  • 项目类别:
    面上项目
基于稀疏优化的鲁棒多示例学习方法研究
  • 批准号:
    61906201
  • 批准年份:
    2019
  • 资助金额:
    27.0 万元
  • 项目类别:
    青年科学基金项目
基于鲁棒优化的时间不一致性偏好下最优投资-再保险策略研究
  • 批准号:
    71701068
  • 批准年份:
    2017
  • 资助金额:
    19.0 万元
  • 项目类别:
    青年科学基金项目

相似海外基金

Integrating theory and data to model evolution under a changing climate
整合理论和数据来模拟气候变化下的进化
  • 批准号:
    DP230102431
  • 财政年份:
    2024
  • 资助金额:
    $ 29.21万
  • 项目类别:
    Discovery Projects
Computable model theory and invariant descriptive computability theory
可计算模型理论和不变描述可计算性理论
  • 批准号:
    2348792
  • 财政年份:
    2024
  • 资助金额:
    $ 29.21万
  • 项目类别:
    Standard Grant
Neural circuitry of predictions and prediction errors in the auditory system
听觉系统中预测和预测误差的神经回路
  • 批准号:
    23K14298
  • 财政年份:
    2023
  • 资助金额:
    $ 29.21万
  • 项目类别:
    Grant-in-Aid for Early-Career Scientists
Model theory of analytic functions
解析函数模型论
  • 批准号:
    2881804
  • 财政年份:
    2023
  • 资助金额:
    $ 29.21万
  • 项目类别:
    Studentship
Effective field theory and Physics Beyond the Standard Model
超越标准模型的有效场论和物理学
  • 批准号:
    2883677
  • 财政年份:
    2023
  • 资助金额:
    $ 29.21万
  • 项目类别:
    Studentship
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了