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

Original version

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

Repository version

To cite the version in the repository, please use this identifier: https://doi.org/10.15488/5878

Files in this item

Thumbnail
Name: 328002437.pdf
Size: 538.9Kb
Format: PDF
View/Open
Abstract:
[no abstract]
License of this version: Es gilt deutsches Urheberrecht. Das Dokument darf zum eigenen Gebrauch kostenfrei genutzt, aber nicht im Internet bereitgestellt oder an Außenstehende weitergegeben werden.
Publication type: DoctoralThesis
Publishing status: publishedVersion
Publication date: 2001
Keywords english: Finitary proof theory, ordinal analysis, impredicative theories
DDC: 510 | Mathematik

Usage Statistics

Show full item record

This item appears in the following Collection(s):

 

Search the repository


Browse

My Account

Usage Statistics