On sentences provable in impredicative extensions of theories
Zygmunt Ratajczyk
GDML_Books, (1979), p.

CONTENTS0. Introduction.......................................................................... 51. Preliminaries............................................................................... 72. Basic facts to be used in the sequel....................................... 113. Predicates OD(.,.) and CL(.,.).................................................... 174. Predicate Sels............................................................................. 185. Strong ∑n1-collection........................................................ 236. Inner models in KMn........................................................... 267. Axiomatization of ZFKM........................................................ 298. Basis theorems in KMn + (∀X) r.a(X)............................... 309. KMn and reflexivity................................................................ 3310. Axiomatization of ZFKMn................................................. 35References....................................................................................... 40

EUDML-ID : urn:eudml:doc:268423 
@book{bwmeta1.element.zamlynska-f08dc3cd-a425-4c54-a3fc-7f6c28a8da64,
     author = {Zygmunt Ratajczyk},
     title = {On sentences provable in impredicative extensions of theories},
     series = {GDML\_Books},
     publisher = {Instytut Matematyczny Polskiej Akademi Nauk},
     address = {Warszawa},
     year = {1979},
     zbl = {0427.03041},
     language = {en},
     url = {http://dml.mathdoc.fr/item/bwmeta1.element.zamlynska-f08dc3cd-a425-4c54-a3fc-7f6c28a8da64}
}

Zygmunt Ratajczyk. On sentences provable in impredicative extensions of theories. GDML_Books (1979),  http://gdmltest.u-ga.fr/item/bwmeta1.element.zamlynska-f08dc3cd-a425-4c54-a3fc-7f6c28a8da64/