Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl
Zapraszamy na https://bibliotekanauki.pl
Zawartość
Pełne teksty:
Warianty tytułu
Abstrakty
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
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
Słowa kluczowe
Tematy
Miejsce publikacji
Warszawa
Copyright
Seria
Rozprawy Matematyczne
tom/nr w serii:
178
Liczba stron
40
Liczba rozdzia³ów
Opis fizyczny
Dissertationes Mathematicae, Tom CLXXVIII
Daty
wydano
1979
Twórcy
autor
Bibliografia
- [1] J. W. Addison, Some consequences of the axiom of constructibility, Fund. Math. 46 (1959), pp. 337-357.
- [2] W. Craig, On axiomatizability within a system, J. Symbolic Logic 18 (1900), pp. 30-32.
- [3] W. Guzicki, Ph. D. thesis, Warszawa 1973.
- [4] S. Krajewski, Predicative expansions of axiomatic theories, Z. Math. Logik Grundlagen Math. 20 (1947), pp. 435-452.
- [5] W. Marek, On the metamathematics of impredicative set theory, Dissertationes Math. 48 (1973).
- [6] W. Marek, A. Mostowski, On extendability of models of ZF set theory to the models of KM theory of classes, in: Logic Colloquium 1974. Kiel, Lecture Notes on Mathematics 499, Springer-Verlag, Berlin 1975.
- [7] R. Montague, Semantic closure and non-finite axiomatizability, in: Infinitistic methods, PWN, Warszawa 1960.
- [8] R. L. Vaught, Axiomatizability by a schema, J. Symbolic Logic 32 (1967), pp. 473-479.
Języki publikacji
| EN |
Uwagi
Identyfikator YADDA
bwmeta1.element.zamlynska-f08dc3cd-a425-4c54-a3fc-7f6c28a8da64
Identyfikatory
ISBN
83-01-01114-9
ISBN
0012-3862
Kolekcja
DML-PL
Zawartość książki
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ć.