Schlagwörter
Beweistheorie
2
Mathematische Logik
2
Ordinalzahlanalyse
2
imprädikativ
2
Generalized Recursion Theory
1
Kripke-Platek Mengenlehre
1
Kripke-Platek-Mengenlehre
1
Proof Theory
1
Reflexionsschema
1
Satz von Ramsey
1
Schnittelimination
1
Stabilitäts-Axiom
1
Zahlentheorie der schwachen zweiten Stufe
1
reverse Mathematik
1
subrekursive Hierarchien
1