Definable reducibility (A06)

可定义的还原性 (A06)

• 批准号: 196209432
• 金额: --
• 依托单位: Kurt Gödel Research Center
• 依托单位国家: 德国
• 项目类别: Collaborative Research Centres
• 财政年份: 2011
• 资助国家: 德国
• 起止时间: 2010-12-31 至 2017-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/196209432?language=en
• 关键词: Definable; reducibility; A06

Das Ziel dieses Projekts ist die Erkundung der Hierarchie der definierbaren Kardinalzahlen. Zentrale Anliegen sind: (1) die Erweiterung von Resultaten bzgl. abzählbarer Borel-Äquivalenzrelationen in der Nähe der Hierarchiebasis mit Hilfe ergodentheoretischer Starrheitsargumente, (2) die Erweiterung von Resultaten bzgl. analytischer Äquivalenzrelationen in der Nähe der Hierarchiebasis durch Verknüpfung topologischer Argumente mit graphentheoretischen Dichotomiesätzen, und (3) die Erweiterung von Resultaten jenseits analytischer Äquivalenzrelationen mit Hilfe von Skalen und Ideen der Theorie der Inneren Modelle.

这两个项目是由确定的Kardinalzahlen的等级决定的。中心分析包括：（1）结果分析。在层次基础的新层次中，用Hilfe ergodentheoretischer Starrheitsargumente，（2）对Borel的等价关系进行分析。通过图论二分法的拓扑论证分析了层次基础中的等价关系，并（3）利用Skalen的Hilfe和内在模型理论的思想对结果进行了等价分析。