Przejdź do menu głównego
Przejdź do treści
PL
|
EN
Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na
https://bibliotekanauki.pl
Szukaj
Przeglądaj
Pomoc
O nas
test
Ograniczanie wyników
Czasopisma
1
Fundamenta Mathematicae
Autorzy
2
Ratajczyk Z.
Lata
1
1981
1
1979
Preferencje
Polski
English
Język
Widoczny
[Schowaj]
Abstrakt
10
20
50
100
Liczba wyników
Znaleziono wyników: 2
Liczba wyników na stronie
10
20
50
100
Strona
/ 1
Wyniki wyszukiwania
Sortuj według:
trafności
tytułu publikacji
daty malejąco
daty rosnąco
tytułu czasopisma
nazwiska pierwszego autora
Ogranicz wyniki do:
we wszystkich polach
w tytułach publikacji
w tytułach czasopism
w nazwiskach autorów
w słowach kluczowych
w cytowaniach
Strona
/ 1
1
Dostęp do pełnego tekstu lokalnie
On sentences provable in impredicative extensions of theories
100%
Ratajczyk Z.
Instytut Matematyczny Polskiej Akademii Nauk
EN
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
2
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
A characterization of expandability of models for ZF to models for KM
49%
Ratajczyk Z.
Fundamenta Mathematicae
|
1981
|
tom
113
|
nr
1
9-19
Strona
/ 1
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.