Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl

Ograniczanie wyników

Czasopisma help

  1. 2 Fundamenta Mathematicae

Autorzy help

  1. 3 Chuaqui R.

Lata help

  1. 1 1980

  2. 2 1971

Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 3

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last

Wyniki wyszukiwania

help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik
Content available

Internal and forcing models for the impredicative theory of classes

100%
Chuaqui R.
Instytut Matematyczny Polskiej Akademii Nauk
EN
CONTENTS Introduction............................................................................................................ 5 I. Axiom system and elementary consequences........................................... 6 1. Axioms........................................................................................................................ 6 2. Definitions and elementary consequences........................................................ 9 II. Principles of definitions by recursion........................................................... 12 3. Monotone operations.............................................................................................. 12 4. Recursion principles............................................................................................... 13 5. The rank function...................................................................................................... 15 III. Well-ordering relations................................................................................... 16 6. Well-ordering relations............................................................................................ 19 7. Ordinals and -well-order types.............................................................................. 20 IV. Models and satisfaction................................................................................. 25 8. Satisfaction................................................................................................................ 25 9. Absoluteness............................................................................................................ 29 10. Models of MT........................................................................................................... 31 V. The axiom of constructibility........................................................................... 32 11. The axiom of constructibility................................................................................. 32 VI. Ordined definability......................................................................................... 37 12. Existence of hierarchies of all classes and relative constructibility............. 37 13. Ordinal definability................................................................................................. 39 VII. Complexity of the axiom system.................................................................. 43 14. Non-finite axiomatizability and non-axiomatizability with sentences of bounded unrestricted quantifier depth.................. 43 15. Complexity of axioms for the predicative sentences....................................... 46 VIII. Forcing models............................................................................................. 47 10. Forcing..................................................................................................................... 47 17. Products of notions of forcing and coherent notions...................................... 55 IX. Independence of axioms of choico.............................................................. 59 18. Automorphisms of notions of forcing................................................................. 59 19. Independence of the local axiom of choico....................................................... 61 20. Independence of the global axiom of choico.................................................... 62 References............................................................................................................ 65
2
Content available remote

A representation theorem for linearly ordered cardinal algebras

43%
Chuaqui R.
Fundamenta Mathematicae
|
1971
|
tom 71
|
nr 1
85-91
3
Content available remote

Cardinal algebras of functions and integration

37%
Chuaqui R.
Fundamenta Mathematicae
|
1971
|
tom 71
|
nr 1
77-84
first rewind previous Strona / 1 next fast forward last
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ć.