Finitary reductions for local predicativity, I: recursively regular ordinals

TitleFinitary reductions for local predicativity, I: recursively regular ordinals
Publication TypeConference Paper
Year of Publication2000
AuthorsTupailo, S
EditorBuss, SS, Hajek, P, Pudlak, P
Conference NameProceedings of Logic Colloquium '98
Pagination465-499
PublisherAK Peters