Development and applications of a new Finestructure theory for the constructible hierarchy

新的可构造层次结构精细结构理论的发展与应用

• 批准号: 5231094
• 负责人: Professor Dr. Peter Koepke
• 金额: --
• 依托单位: Mathematisches Institut (MI)
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2000
• 资助国家: 德国
• 起止时间: 1999-12-31 至 2002-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/5231094?language=en
• 关键词: Development; applications; new; Finestructure; theory

In dem Projekt soll eine vom Antragsteller zusammen mit S.D. Friedman konzipierte Feinstrukturtheorie für das Gödelsche Modell L der konstruktiblen Mengen weiterentwickelt und angewendet werden. Mit der neuen Feinstrukturtheorie ist es bereits gelungen, Kernargumente der Jensenschen Feinstrukturtheorie im Bereich der unendlichen Kombinatorik und im Bereich von Überdeckungssätzen auf vereinfachte Art nachzubilden. Es ist geplant, das Gebiet der Feinstruktur im Hinblick auf Vereinfachungen und neue Resultate systematisch durchzumustern. Darüber hinaus sollen Varianten der neuen Methode untersucht werden, unter anderem mit dem Ziel ihres Einsatzes in der Kernmodelltheorie. Für die Durchführung des Projektes finanziert die DFG eine Mitarbeiterstelle nach BAT IIa.

在这个项目中，有一个来自安特拉斯特拉的人和S. D。Friedman konzipierte Feinstrukturtheorie für das Gödelsche Modell L der konstruktiblen Mengen weiterentwickelt und angewendet韦尔登.新的Feinstrukturtheorie ist es beerits gelungen，Kernargumente der Jenschen Feinstrukturtheorie im Bereich der unendlichen Kombinatorik and im Bereich von Überdeckungssätzen auf vereinfachzubilden.这是一种新的设计方法，它是在联合体和新的结果系统中建立的。在核模型理论中，新方法的变体可以被韦尔登，也可以与Ziel中的Einsatzes结合。为了使DFG的融资项目持续下去，BAT IIa提供了一个Mitarbeiterstelle。