top
CONTENTS0. Introduction.......................................................................... 51. Preliminaries............................................................................... 72. Basic facts to be used in the sequel....................................... 113. Predicates OD(.,.) and CL(.,.).................................................... 174. Predicate Sels............................................................................. 185. Strong -collection........................................................ 236. Inner models in ........................................................... 267. Axiomatization of ........................................................ 298. Basis theorems in + (∀X) r.a(X)............................... 309. and reflexivity................................................................ 3310. Axiomatization of ................................................. 35References....................................................................................... 40
Zygmunt Ratajczyk. On sentences provable in impredicative extensions of theories. Warszawa: Instytut Matematyczny Polskiej Akademi Nauk, 1979. <http://eudml.org/doc/268423>.
@book{ZygmuntRatajczyk1979, abstract = {CONTENTS0. Introduction.......................................................................... 51. Preliminaries............................................................................... 72. Basic facts to be used in the sequel....................................... 113. Predicates OD(.,.) and CL(.,.).................................................... 174. Predicate Sels............................................................................. 185. Strong $∑^1_n$-collection........................................................ 236. Inner models in $KM_n$........................................................... 267. Axiomatization of $ZF^KM$........................................................ 298. Basis theorems in $KM_n$ + (∀X) r.a(X)............................... 309. $KM_n$ and reflexivity................................................................ 3310. Axiomatization of $ZF^KM_n$................................................. 35References....................................................................................... 40}, author = {Zygmunt Ratajczyk}, keywords = {Kelley-Morse set theory; comprehension schema; impredicative theory of classes}, language = {eng}, location = {Warszawa}, publisher = {Instytut Matematyczny Polskiej Akademi Nauk}, title = {On sentences provable in impredicative extensions of theories}, url = {http://eudml.org/doc/268423}, year = {1979}, }
TY - BOOK AU - Zygmunt Ratajczyk TI - On sentences provable in impredicative extensions of theories PY - 1979 CY - Warszawa PB - Instytut Matematyczny Polskiej Akademi Nauk AB - CONTENTS0. Introduction.......................................................................... 51. Preliminaries............................................................................... 72. Basic facts to be used in the sequel....................................... 113. Predicates OD(.,.) and CL(.,.).................................................... 174. Predicate Sels............................................................................. 185. Strong $∑^1_n$-collection........................................................ 236. Inner models in $KM_n$........................................................... 267. Axiomatization of $ZF^KM$........................................................ 298. Basis theorems in $KM_n$ + (∀X) r.a(X)............................... 309. $KM_n$ and reflexivity................................................................ 3310. Axiomatization of $ZF^KM_n$................................................. 35References....................................................................................... 40 LA - eng KW - Kelley-Morse set theory; comprehension schema; impredicative theory of classes UR - http://eudml.org/doc/268423 ER -