Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
Cover of the book
Tytuł książki

On sentences provable in impredicative extensions of theories

Seria
Rozprawy Matematyczne tom/nr w serii: 178 wydano: 1979
Zawartość
Warianty tytułu
Abstrakty
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
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
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

rozwiń roczniki

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ć.