Model-theoretic dividing lines in the context of finite structures

有限结构背景下的模型理论分界线

• 批准号: 2882659
• 金额: --
• 依托单位: University of Cambridge
• 依托单位国家: 英国
• 项目类别: Studentship
• 财政年份: 2023
• 资助国家: 英国
• 起止时间: 2023 至 无数据
• 项目状态: 未结题
• 来源: https://gtr.ukri.org/projects?ref=studentship-2882659
• 关键词: Model; theoretic; dividing; lines; context

This project concerns the study of model-theoretic dividing lines in the context of finite structures, including graphs, hypergraphs, and subsets of abelian groups. One focus is the study of the implications of higher-order tameness assumptions, recently formulated by Terry and Wolf, for the so-called Erdos-Hajnal property in hypergraphs, first investigated by Erdos and Hajnal in the late 1980s.

该项目涉及有限结构背景下的模型理论分界线的研究，包括图、超图和阿贝尔群的子集。其中一个重点是研究高阶驯服假设的含义，该假设最近由 Terry 和 Wolf 提出，对于超图中所谓的 Erdos-Hajnal 性质，该假设由 Erdos 和 Hajnal 在 20 世纪 80 年代末首次研究。