3 Treffer für Personen = "Pohlers, Wolfram"
Klassifikation
Schliessen
Filter

zu den Filteroptionen

Ordinal proof theory of Kripke-Platek set theory augmented by strong reflection principles
Stegert, Jan-Carl
2010
Pi 1 2 -comprehension and the property of Ramsey
Heinatsch, Christoph
2007
Thinning Operators and Pi 4 -Reflection
Duchhardt, Christoph
2008