Treffer
1 - 1
Treffer von
1
für Suche '
'
Weiter zum Inhalt
Toggle navigation
Hilfe
de
en
de
miami
Publikationsserver der Universität Münster
Einfache Suche
Erweiterte Suche
Suchen
Behalte die Filtereinstellungen.
topic_facet:"Beweistheorie"
topic_facet:"Ordinalzahlanalyse"
ulb_ResourceType_facet:"Text"
ulb_affiliation_facet:"FB 10: Mathematik und Informatik"
ulb_openAccess:"Open Access"
ulb_person_facet:"Pohlers, Wolfram"
ulb_person_facet:"Stegert, Jan-Carl"
Scroll
Suche:
Treffer
1 - 1
Treffer von
1
für Suche '
'
, Suchdauer: 0,03s
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
Ordinal proof theory of Kripke-Platek set theory augmented by strong reflection principles
Stegert, Jan-Carl
2010
Volltext
Alles auswählen
Auswahl:
Suchwerkzeuge:
RSS-Feed abonnieren
Suche einschränken
Suchfilter entfernen
Filter aufheben
Schlagwörter: Beweistheorie
Filter aufheben
Schlagwörter: Ordinalzahlanalyse
Filter aufheben
Medientypen: Text
Filter aufheben
FB/Einrichtung: FB 10: Mathematik und Informatik
Filter aufheben
OpenAccess: Open Access
Filter aufheben
Personen: Pohlers, Wolfram
Filter aufheben
Personen: Stegert, Jan-Carl
OpenAccess
Open Access
Dokumenttypen
Dissertation/Habilitation
1
Personen
Pohlers, Wolfram
Stegert, Jan-Carl
FB/Einrichtung
FB 10: Mathematik und Informatik
Schlagwörter
Beweistheorie
Kripke-Platek Mengenlehre
1
Mathematische Logik
1
Ordinalzahlanalyse
Stabilitäts-Axiom
1
imprädikativ
1
subrekursive Hierarchien
1
Fachgebiete
Mathematik
1
Erscheinungsjahr
2010
1
Medientypen
Text
×
Wird geladen...