Zur endlichen Behandlung der Beweistheorie schwacher Fragmente der Mengenlehre : KP + [Pi]3-Reflexion

Originalpublikation

Michelbrink, Markus: Zur endlichen Behandlung der Beweistheorie schwacher Fragmente der Mengenlehre : KP + [Pi]3-Reflexion. Hannover : Universität, Diss., 2001, 96 S.

Version im Repositorium

Zum Zitieren der Version im Repositorium verwenden Sie bitte diesen DOI: https://doi.org/10.15488/5878

Thumbnail
Name: 328002437.pdf
Größe: 538.9Kb
Format: PDF
Öffnen
Zusammenfassung:
[no abstract]
Lizenzbestimmungen: Es gilt deutsches Urheberrecht. Das Dokument darf zum eigenen Gebrauch kostenfrei genutzt, aber nicht im Internet bereitgestellt oder an Außenstehende weitergegeben werden.
Publikationstyp: DoctoralThesis
Publikationsstatus: publishedVersion
Erstveröffentlichung: 2001
Schlagwörter (englisch): Finitary proof theory, ordinal analysis, impredicative theories
Fachliche Zuordnung (DDC): 510 | Mathematik

Downloadstatistik

Zur Langanzeige

Die Publikation erscheint in Sammlung(en):

 

Suche im Repositorium


Durchblättern

Mein Nutzer/innenkonto

Nutzungsstatistiken