Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników
Cover of the book
Tytuł książki

Set theories incorporating Hilbert's ε-symbol

Autorzy

T. B. Flannagan

Seria

Rozprawy Matematyczne tom/nr w serii: 114 wydano: 1974

Zawartość

Pełne teksty:
rm114_01.pdf

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

Wydawca

Instytut Matematyczny Polskiej Akademii Nauk

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

autor
T. B. Flannagan

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