On sentences provable in impredicative extensions of theories

Zygmunt Ratajczyk

  • Publisher: Instytut Matematyczny Polskiej Akademi Nauk(Warszawa), 1979

Abstract

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

How to cite

top

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 -

NotesEmbed ?

top

You must be logged in to post comments.