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.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.