BIBLIOPOLIS, EDIZIONI DI FILOSOFIA E SCIENZE
Via Arangio Ruiz 83-80122 Napoli-Italy
Telephone +39-081-664606
Fax +39-081-7616273

G. Jäger, Theories for admissible sets. A unifying approach to Proof Theory, pp. VIII-168, 1986.
ISBN 88-7088-149-0     € 26,00

STUDIES IN PROOF THEORY - LECTURE NOTES

CO N T E N T S

Introduction

Preliminaries

Admissible sets

The admissible cover and extension of a theory

The theory KPu and its restrictions

Theories for iterated admissible sets without foundation

Hyperarithmetic sets in ATR o

r0 revisited

n11 comprehension, (Lim) and (I E)

Theories for recursively inaccessible universes 137

Appendix

References