Beweistheorie und analytische Kombinatorik

在DEM Bean Vorhaben Sollen Methoden Aus der analytischen Kombinatorik and der Beweistheorie kombiniert der beweistheorie kombiniert，um Neue unabhänGigkeitsResultate für natürliche数学heorien en zu erhalten and diese möglichst vollständig zu kassifizieren.从现在开始，到现在为止，我们的标准模型已经不再是标准的了，所以我们不能再继续下去了。从理论分析到理论分析，从理论到实践都是一个原型。这是从L的最优，播种是这个时代的L，经常是一个持续的时间和分析Kombinatorik gewinnen。这句话的意思是：“我不知道该怎么做，我不知道该怎么做。

In dem beantragten Vorhaben sollen Methoden aus der analytischen Kombinatorik und der Beweistheorie kombiniert werden, um neue Unabhängigkeitsresultate für natürliche mathematische heorien zu erhalten und diese möglichst vollständig zu klassifizieren. Bei derartigen Resultaten handelt es sich häufig um Aussagen aus der endlichen Kombinatorik, die im Standardmodell der natürlichen Zahlen gelten, aber so kompliziert sind, daß sie zum Beispiel in der erststufigen Peanoarithmetik nicht bewiesen werden können. Prototypen für solche Unbeweisbarkeitsaussagen lassen sich oft aus beweistheoretischen Analysen und Ergebnissen aus der Theorie der subrekursiven Hierarchien gewinnen. Ihre optimale Form läßt sich, soweit es sich zur Zeit überblicken läßt, oft erst durch Anwendungen analytischer Kombinatorik gewinnen. Da dieser Sachverhalt bislang noch relativ unerforscht ist, wird erwartet, daß sich noch eine Reihe von interessanten Ergebnissen erzielen lassen.