Treffer
1 - 2
Treffer von
2
für Suche '
"Kripke-Platek Mengenlehre"
'
Weiter zum Inhalt
Toggle navigation
Hilfe
de
en
de
miami
Publikationsserver der Universität Münster
Einfache Suche
Erweiterte Suche
Suchen
Scroll
Suche: "Kripke-Platek Mengenlehre"
Treffer
1 - 2
Treffer von
2
für Suche '
"Kripke-Platek Mengenlehre"
'
, Suchdauer: 0,05s
Sortieren
Relevanz
Nach Datum, absteigend
Nach Datum, aufsteigend
Person/Institution
Titel
Nach miami-Publikationsdatum, absteigend
Nach miami-Publikationsdatum, aufsteigend
Alles auswählen
Auswahl:
1
Dissertation/Habilitation
Thinning Operators and Pi 4 -Reflection
Duchhardt, Christoph
2008
Schlagwörter:
“
...Mathematische Logik Beweistheorie Ordinalzahlanalyse
Kripke
-
Platek
-
Mengenlehre
Reflexionsschema...
”
Volltext
2
Dissertation/Habilitation
Ordinal proof theory of Kripke-Platek set theory augmented by strong reflection principles
Stegert, Jan-Carl
2010
Schlagwörter:
“
...Mathematische Logik Beweistheorie Ordinalzahlanalyse subrekursive Hierarchien
Kripke
-
Platek
...
”
Volltext
Alles auswählen
Auswahl:
Suchwerkzeuge:
RSS-Feed abonnieren
Suche einschränken
OpenAccess
Open Access
2
Dokumenttypen
Dissertation/Habilitation
2
Personen
Pohlers, Wolfram
2
Duchhardt, Christoph
1
Stegert, Jan-Carl
1
FB/Einrichtung
FB 10: Mathematik und Informatik
2
Schlagwörter
Beweistheorie
2
Mathematische Logik
2
Ordinalzahlanalyse
2
imprädikativ
2
Kripke-Platek Mengenlehre
1
Kripke-Platek-Mengenlehre
1
Reflexionsschema
1
Schnittelimination
1
Stabilitäts-Axiom
1
subrekursive Hierarchien
1
Fachgebiete
Mathematik
2
Erscheinungsjahr
2010
1
2008
1
Medientypen
Text
2
×
Wird geladen...
