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

Set theories incorporating Hilbert's ε-symbol

Seria
Rozprawy Matematyczne tom/nr w serii: 114 wydano: 1974
Zawartość
Warianty tytułu
Abstrakty
EN


CONTENTS
§ 1. Introduction ............................................................................................................ 5
§ 2. The ε-calculus for {є}............................................................................................ 6
§ 3. Reflection principles in e-set theories.............................................................. 6
§ 4. [E]-elementary chains.......................................................................................... 11
§ 5. Forcing and reflection .......................................................................................... 14
§ 6. $\hat{ε}$-deductions and the main result........................................................ 23
§ 7. Appendix: on Zermelo's set theory with the axiom of choice........................ 24
References ................................................................................................................... 27
Słowa kluczowe
Tematy
Miejsce publikacji
Warszawa
Copyright
Seria
Rozprawy Matematyczne tom/nr w serii: 114
Liczba stron
27
Liczba rozdzia³ów
Opis fizyczny
Set theories incorporating Hilbert's ε-symbol
Daty
wydano
1974
Twórcy
Bibliografia
  • [1] M. Boffa, Forcing and reflection, Bull, Acad. Polon. Sci. 19 (1971), pp. 181-183.
  • [2] M. Boffa, Graphes extensionnels et axiome d'universalité, Zeit. f. match. Logik u. Gr. d. Math. 14 (1968), pp. 329-334.
  • [3] N. Bourbaki, Éléments de Mathématique, livre 1 (Théorie des Ensembles), Paris 1954.
  • [4] R. Carnap, On the use of Hilbert's ε-operator in scientific theories; in Essays on. the Foundations of Mathematics, Jerusalem 1961.
  • [5] U. Felgner, Comparison of the axioms of local and universal choice, Fund. Math. 71 (1971), pp. 43-62.
  • [6] U. Felgner, Her Hilbert'sche ε-Operator in der ZF-Mengenlehre, unpublished.
  • [7] U. Felgner, and T. Jech, Variants of the axiom of choice in set theory with atoms, to appear.
  • [8] H. Hermes, Term Logic with Choice Operator, Lecture Notes in Mathematics, vol. 6, Berlin 1970.
  • [9] J. L. Krivine, Théorie Axiomatique des Ensembles, 1969.
  • [10] J. L. Krivine, Unpublished paper comparing the axioms of universal and local choice in ZF-set theory, 1971.
  • [11] A. C. Leisenring, Mathematical Logic and Hilbert's ε-Symbol, London 1969.
  • [12] A. Levy, Comparing the axioms of local and universal choice, in Essays on the Foundations of Mathematics, Jerusalem 1961.
  • [13] A. Levy, Axiom schemata of strong infinity in axiomatic set theory, Pacific J. Math. 10 (1960), pp. 223-238.
  • [14] R. Montague and R. L. Vaught, Natural models of set theories, Fund. Math. 47 (1959), pp. 219-241.
  • [15] R. Stoll, Set Theory and Logic, San Francisco 1963.
Języki publikacji
EN
Uwagi
Identyfikator YADDA
bwmeta1.element.zamlynska-dae8bbf9-b76c-47aa-8469-9d69474a0418
Identyfikatory
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ć.