Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik

On sentences provable in impredicative extensions of theories

100%

Ratajczyk Z.

Instytut Matematyczny Polskiej Akademii Nauk

CONTENTS 0. Introduction.......................................................................... 5 1. Preliminaries............................................................................... 7 2. Basic facts to be used in the sequel....................................... 11 3. Predicates OD(.,.) and CL(.,.).................................................... 17 4. Predicate Sels............................................................................. 18 5. Strong $∑^1_n$-collection........................................................ 23 6. Inner models in $KM_n$........................................................... 26 7. Axiomatization of $ZF^KM$........................................................ 29 8. Basis theorems in $KM_n$ + (∀X) r.a(X)............................... 30 9. $KM_n$ and reflexivity................................................................ 33 10. Axiomatization of $ZF^KM_n$................................................. 35 References....................................................................................... 40

A characterization of expandability of models for ZF to models for KM

49%

Ratajczyk Z.

Fundamenta Mathematicae

1981

tom 113

nr 1

9-19

Ograniczanie wyników

1 Fundamenta Mathematicae

2 Ratajczyk Z.

1 1981

1 1979

Wyniki wyszukiwania

On sentences provable in impredicative extensions of theories

A characterization of expandability of models for ZF to models for KM