Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
  • 1
    Buch
    Buch
    Amsterdam [u.a.] :North-Holland, | New York :American Elsevier.
    UID:
    almahu_BV003054503
    Umfang: XII, 351 S.
    ISBN: 0-7204-2200-0 , 0-7204-2279-5 , 0-444-10535-2
    Serie: Studies in logic and the foundations of mathematics 76
    Sprache: Englisch
    Fachgebiete: Mathematik
    RVK:
    RVK:
    RVK:
    Schlagwort(e): Kardinalzahl ; Mengenlehre ; Zahlentheorie ; Mengenlehre ; Logik ; Large cardinals ; Large cardinals ; Large cardinals
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 2
    Buch
    Buch
    Amsterdam :North-Holland Publ.,
    UID:
    almafu_BV005116766
    Umfang: XV, 464 S.
    ISBN: 0-444-10622-7 , 0-7204-2200-0 , 0-7204-2281-7
    Serie: Studies in logic and the foundations of mathematics 83
    Sprache: Englisch
    Fachgebiete: Mathematik
    RVK:
    Schlagwort(e): Formale Sprache ; Modelltheorie ; Modelltheorie
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 3
    Buch
    Buch
    Amsterdam [u.a.] :North-Holland Publ.,
    UID:
    almafu_BV002252809
    Umfang: XII, 297 S.
    ISBN: 0-7204-2286-8 , 0-7204-2200-0
    Serie: Studies in logic and the foundations of mathematics 88
    Sprache: Englisch
    Fachgebiete: Mathematik , Philosophie
    RVK:
    RVK:
    Schlagwort(e): Beweistheorie ; Kombinatorik ; Kategorie ; Logik
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 4
    Buch
    Buch
    Amsterdam [u.a.] :North-Holland, | New York :American Elsevier.
    UID:
    almafu_BV002281551
    Umfang: VII, 372 S.
    ISBN: 0-7204-2200-0 , 0-7204-2277-9
    Serie: Studies in logic and the foundations of mathematics 81
    Sprache: Englisch
    Fachgebiete: Mathematik , Philosophie
    RVK:
    RVK:
    Schlagwort(e): Beweistheorie ; Mathematik ; Beweistheorie ; Mathematische Logik
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 5
    Buch
    Buch
    Amsterdam [u.a.] :North-Holland Publ.,
    UID:
    almafu_BV002247428
    Umfang: XVI, 313 S.
    ISBN: 0-444-85401-0 , 0-7204-2200-0
    Serie: Studies in logic and the foundations of mathematics 102
    Sprache: Englisch
    Fachgebiete: Mathematik
    RVK:
    RVK:
    Schlagwort(e): Mengenlehre ; Zahlentheorie ; Kardinalzahl ; Logik
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 6
    Buch
    Buch
    Amsterdam ; Oxford :North-Holland Publishing Company, | New York :American Elsevier Publishing Company, inc.
    UID:
    almafu_BV001958370
    Umfang: V, 214 Seiten.
    ISBN: 0-7204-2200-0 , 0-444-10679-0 , 0-7204-2283-3
    Serie: Studies in logic and the foundations of mathematics volume 82
    Anmerkung: Im Vorwort: The Third Scandinavian Logic Symposium was held at the University of Uppsala, Sweden, April 9-11, 1973.
    Sprache: Englisch
    Fachgebiete: Mathematik , Philosophie
    RVK:
    RVK:
    Schlagwort(e): Mathematische Logik ; Logik ; Konferenzschrift ; Konferenzschrift ; Konferenzschrift ; Konferenzschrift
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 7
    UID:
    almafu_BV024450940
    Umfang: X, 981 S.
    ISBN: 0-7204-2274-4 , 0-7204-2200-0 , 0-444-10491-7
    Serie: Studies in logic and the foundations of mathematics 74
    Sprache: Englisch
    Fachgebiete: Mathematik , Philosophie
    RVK:
    RVK:
    Schlagwort(e): Logik ; Wissenschaftstheorie ; Wissenschaftslehre ; Konferenzschrift ; Konferenzschrift
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 8
    UID:
    gbv_825877407
    Umfang: Online-Ressource (214 pages)
    Ausgabe: Online-Ausg. [S.l.] HathiTrust Digital Library 2010 Electronic reproduction
    Serie: Studies in logic and the foundations of mathematics v. 82
    Anmerkung: Includes bibliographical references and index , Use copy Restrictions unspecified star MiAaHDL , Electronic reproduction , Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. , English
    Weitere Ausg.: ISBN 0720422833
    Weitere Ausg.: ISBN 0720422000
    Weitere Ausg.: ISBN 0444106790
    Weitere Ausg.: ISBN 9780720422832
    Weitere Ausg.: ISBN 9780720422009
    Weitere Ausg.: ISBN 9780444106797
    Weitere Ausg.: Erscheint auch als Druck-Ausgabe Proceedings of the third Scandinavian Logic Symposium
    Sprache: Englisch
    Schlagwort(e): Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    Mehr zum Autor: Kanger, Stig 1924-1988
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 9
    Online-Ressource
    Online-Ressource
    Amsterdam : North-Holland Pub. Co
    UID:
    gbv_1655655566
    Umfang: Online Ressource (vii, 372 pages)
    Ausgabe: Online-Ausg.
    ISBN: 9780080954912 , 008095491X , 9780444104922
    Serie: Studies in logic and the foundations of mathematics v. 81
    Inhalt: Provability, Computability and Reflection
    Anmerkung: Based on a series of lectures given at the Symposium on Intuitionism and Proof Theory held at Buffalo in the summer of 1968. - Includes index. - Print version record , pt. 1. First order systems -- pt. 2. Second order and finite order systems -- pt. 3. Consistency problems. , English
    Weitere Ausg.: ISBN 0444104925
    Weitere Ausg.: ISBN 0720422000
    Weitere Ausg.: ISBN 0720422779
    Weitere Ausg.: Erscheint auch als Druck-Ausgabe Takeuti, Gaisi, 1926- Proof theory Amsterdam : North-Holland Pub. Co. ; New York : American Elsevier Pub. Co, 1975
    Sprache: Englisch
    Schlagwort(e): Beweistheorie ; Electronic books ; Electronic books
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 10
    Online-Ressource
    Online-Ressource
    Amsterdam : North-Holland Pub. Co
    UID:
    gbv_878888470
    Umfang: Online Ressource (xi, 202 pages)
    Ausgabe: Online-Ausg. [S.l.] HathiTrust Digital Library Online-Ausg. [S.l.] : HathiTrust Digital Library
    ISBN: 9780080954851 , 0080954855 , 9780444104847
    Serie: Studies in logic and the foundations of mathematics v. 75
    Inhalt: 3.1. Axiomatic systems and consistency3.2. Axiomatic set theory; 3.3. Transitive models of ZF; 3.4. The constructible universe; 3.5. Problems; 3.6. Historical remarks; Chapter 4. Permutation models; 4.1. Set theory with atoms; 4.2. Permutation models; 4.3. The basic Fraenkel model; 4.4. The second Fraenkel model; 4.5. The ordered Mostowski model; 4.6. Problems; 4.7. Historical remarks; Chapter 5. Independence of the Axiom of Choice; 5.1. Generic models; 5.2. Symmetric submodels of generic models; 5.3. The basic Cohen model; 5.4. The second Cohen model
    Inhalt: 5.5. Independence of the Axiom of Choice from the Ordering Principle5.6. Problems; 5.7. Historical remarks; Chapter 6. Embedding Theorems; 6.1. The First Embedding Theorem; 6.2. Refinements of the First Embedding Theorem; 6.3. Problems; 6.4. Historical remarks; Chapter 7. Models with finite supports; 7.1. Independence of the Axiom of Choice from the Prime Ideal Theorem; 7.2. Independence of the Prime Ideal Theorem from the Ordering Principle; 7.3. Independence of the Ordering Principle from the Axiom of Choice for Finite Sets; 7.4. The Axiom of Choice for Finite Sets; 7.5. Problems
    Inhalt: 7.6. Historical remarksChapter 8. Some weaker versions of the Axiom of Choice; 8.1. The Principle of Dependent Choices and its generalization; 8.2. Independence results concerning the Principle of Dependent Choices; 8.3. Problems; 8.4. Historical remarks; Chapter 9. Nontransferable statements; 9.1. Statements which imply AC in ZF but are weaker than AC in ZFA; 9.2. Independence results in ZFA; 9.3. Problems; 9.4. Historical remarks; Chapter 10. Mathematics without choice; 10.1. Properties of the real line; 10.2. Algebra without choice; 10.3. Problems; 10.4. Historical remarks
    Inhalt: Chapter 11. Cardinal numbers in set theory without choice11.1. Ordering of cardinal numbers; 11.2. Definability of cardinal numbers; 11.3. Arithmetic of cardinal numbers; 11.4. Problems; 11.5. Historical remarks; Chapter 12. Some properties contradicting the Axiom of Choice; 12.1. Measurability of N1; 12.2. Closed unbounded sets and partition properties; 12.3. The Axiom of Determinateness; 12.4. Problems; 12.5. Historical remarks; Appendix; A.1. Equivalents of the Axiom of Choice; A.2. Equivalents of the Prime Ideal Theorem; A.3. Various independence results; A.4. Miscellaneous examples
    Inhalt: Front Cover; The Axiom of Choice; Copyright Page; Preface; Contents; Preface; Chapter 1. Introduction; 1.1. The Axiom of Choice; 1.2. A nonmeasurable set of real numbers; 1.3. A paradoxical decomposition of the sphere; 1.4. Problems; 1.5. Historical remarks; Chapter 2. Use of the Axiom of Choice; 2.1. Equivalents of the Axiom of Choice; 2.2. Some applications of the Axiom of Choice in mathematics; 2.3. The Prime Ideal Theorem; 2.4. The Countable Axiom of Choice; 2.5. Cardinal numbers; 2.6. Problems; 2.7. Historical remarks; Chapter 3. Consistency of the Axiom of Choice
    Inhalt: Provability, Computability and Reflection
    Anmerkung: Includes bibliographical references. - Print version record , Print version record , Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002 , Online-Ausg. [S.l.] : HathiTrust Digital Library , Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. , English
    Weitere Ausg.: ISBN 0444104844
    Weitere Ausg.: ISBN 0720422000
    Weitere Ausg.: ISBN 0720422752
    Weitere Ausg.: Erscheint auch als Druck-Ausgabe Jech, Thomas J Axiom of choice Amsterdam : North-Holland Pub. Co. ; New York : American Elsevier Pub. Co, 1973
    Sprache: Englisch
    Schlagwort(e): Auswahlaxiom ; Entscheidungstheorie ; Axiomatik ; Electronic books ; Electronic books
    Mehr zum Autor: Jech, Thomas J. 1944-
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie auf den KOBV Seiten zum Datenschutz