Determiniertheit in der Zalhentheorie zweiter Stufe

Wissenschaftsdisziplinen

Mathematik (100%)

Keywords

Second-Order Arithmetic, Reverse Mathematics, Monotone Induction, Beta-Model, Kripke-Platek Set Theory

Abstract

Reverse Mathematics ist die Branche mathematischer Logik, die sich damit befasst, welche Axiome nötig sind, um spezifische mathematische Sätze zu beweisen. Sie findet normaleweise innerhalb Subsysteme der Zahlentheorie zweiter Stufe statt. Anderseits sind Determiniertheitprinzipien Aussagen die behaupten, dass verschiedene unendliche spiele determiniert sind, das heisst ein Spieler eine gewinnende Strategie hat. Diese können sowohl als Axiome als auch Sätze interpretiert werden. Das Ziel dieses Projektes ist, Verhältnis zwischen Determiniertheit und Systeme der Zahlentheorie genau zu untersuchen.