KOBV-Portal

Treffer pro Seite

Treffer 1 - 4 | 4 Treffer

Sortierung

Buch

Intermediate set theory (1996)

Drake, F. R. [Verfasser] 1936- ; Singh, Dasharath [Verfasser]

Chichester [u.a.] : Wiley

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

b3kat_BV011077707

Umfang: X, 234 S.

ISBN: 0471964948 , 0471964964

Sprache: Englisch

Fachgebiete: Mathematik

RVK:

SK 155

RVK:

SK 150

Schlagwort(e): Mengenlehre

URL: Inhaltsverzeichnis

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Buch

Fernleihwunsch

HU Berlin

EUV Frankfurt

BTU Cottbus

Buch

Global warming : the science of climate change (2000)

Drake, F. R. [Verfasser] 1936-

London : Arnold [u.a.]

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

b3kat_BV013020149

Umfang: XII, 273 S. , Ill., graph. Darst., Kt.

Ausgabe: 1. publ.

ISBN: 0340653027 , 0340653019

Sprache: Englisch

Fachgebiete: Physik , Geographie

RVK:

RB 10438

RVK:

UT 8900

Schlagwort(e): Treibhauseffekt ; Klimaänderung

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Buch

Fernleihwunsch

FU Berlin

BTU Cottbus

TU Berlin

Online-Ressource

Set theory : an introduction to large cardinals (2011)

Drake, F. R. 1936-

Amsterdam : North-Holland Pub. Co

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

gbv_878888454

Umfang: Online Ressource (xii, 351 pages)

Ausgabe: Online-Ausg. [S.l.] HathiTrust Digital Library Online-Ausg. [S.l.] : HathiTrust Digital Library

ISBN: 9780080954868 , 0080954863 , 9780444105356

Serie: Studies in logic and the foundations of mathematics v. 76

Inhalt: 1. pai nm and Sigma nm-indescribables2. Enforceable classes; 3. Indescribability of measurable cardinals; 4. v-indescribable cardinals; Notes to Chapter 9; Chapter 10. Infinitarylanguages and Large Cardinals; 1. The languages Laß; 2. Weakly compact cardinals; 3. Strongly compact cardinals; 4. Summary of large cardinals; Notes to Chapter 10; Bibliography; Index; List of Symbols and Abbreviations Used and Page Where Introduced

Inhalt: 7. The generalized continuum hypothesis inaccessible cardinals; 8. Ramsey's theorem; Notes to Chapter 2; Chapter 3. The Lévy Hierarchy And The Reflection Principle; 1. Transitive €-structures; 2. Lévy's hierarchy; 3. Delta and transfinite induction; 4. Absoluteness; 5. Delta-definability of the satisfaction relation; 6. The reflection principle of ZF; 7. Cardinality and Sigma-formulas; Notes to Chapter 3; Chapter 4. Inaccessible and Mahlocardinals; 1. Properties of Va; 2. Normal functions; 3. Mahlo cardinals; 4. Reflection principles for Mahlo cardinals; Notes to Chapter 4

Inhalt: Chapter 5. The Constructible Universe1. Constructible sets; 2. Gödel's theorems on L: AC and GCH; 3. Constructible orders; 4. On reducing proofs to ZFC; 5. The minimal model of ZF; 6. Relative constructibility; 7. The analytical hierarchy and constructible sets; 8. Ordinal definable sets; Notes to Chapter 5; Chapter 6. Measurable Cardinals; 1. Measures: classical properties; 2. The ultrapower construction for measurable cardinals; 3. Normal measures; 4. Measurable cardinals and constructible sets; 5. Measurable cardinals and the GCH; Notes to Chapter 6

Inhalt: Front Cover; Set Theory: An Introduction to Large Cardinals; Copyright Page; Contents; Preface; Chapter 1. Introduction: Sets and Languages; 1. What are sets?-The cumulative type structure; 2. The first-order language of set theory; 3. The Zermelo-Fraenkel axioms; 4. A note on paradoxes; 5. More general languages; 6. The hereditarily finite sets-an example; Notes to Chapter 1; Chapter 2. Thedevelopment of ZFC; 1. Elementary definitions; 2. Ordinals; 3. Transfinite induction; 4. Cardinals: introduction; 5. Cardinal arithmetic; 6. The axiom of choice

Inhalt: Provability, Computability and Reflection

Anmerkung: Includes bibliographical references and index. - 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 0444105352

Weitere Ausg.: ISBN 0720422000

Weitere Ausg.: ISBN 0720422795

Weitere Ausg.: Erscheint auch als Druck-Ausgabe Drake, F. R. (Frank Robert) Set theory Amsterdam : North-Holland Pub. Co. ; New York : American Elsevier Pub. Co, 1974

Sprache: Englisch

Fachgebiete: Mathematik

RVK:

SK 150

RVK:

SK 130

Schlagwort(e): Kardinalzahl ; Electronic books ; Electronic books

URL: lizenzpflichtig

URL: Volltext

URL: lizenzpflichtig

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Online-Ressource

Online Zugang

Stabi Berlin

UB Potsdam

Online-Ressource

Logic Colloquium '86 : proceedings of the colloquium held in Hull, U.K. July 13-19, 1986 (2010)

Logic Colloquium (1986, Hull, Humberside) ; Drake, F. R. 1936-

Amsterdam : North-Holland

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

gbv_878889515

Umfang: Online Ressource (ix, 342 pages) , illustrations.

Ausgabe: Online-Ausg. [S.l.] HathiTrust Digital Library Online-Ausg. [S.l.] : HathiTrust Digital Library

ISBN: 9780444535832 , 0444535837

Serie: Studies in logic and the foundations of mathematics v. 124

Inhalt: The result of the European Summer Meeting of the Association for Symbolic Logic, this volume gives an overview of the latest developments in most of the major fields of logic being actively pursued today. Important new developments in the applications of logic in computer science are presented. Other areas examined include model theory, set theory, recursion theory, proof theory, and the history of logic. This volume contains the texts of ten of the invited lectures and six of the contributed papers

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 0444703268

Weitere Ausg.: Erscheint auch als Druck-Ausgabe Logic Colloquium (1986 : Hull, Humberside) Logic Colloquium '86 Amsterdam ; New York : North-Holland, c1988

Sprache: Englisch

Fachgebiete: Mathematik , Philosophie

RVK:

CC 2500

RVK:

SD 1986

Schlagwort(e): Electronic books ; Electronic books ; Konferenzschrift

URL: lizenzpflichtig

URL: Volltext

URL: Inhaltstext

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Online-Ressource

Online Zugang

Stabi Berlin

UB Potsdam

Treffer 1 - 4 | 4 Treffer

Nichts oder nicht das Richtige gefunden? Bitte überprüfen Sie Ihre Suchanfrage oder benutzen Sie den Fernleihindex.

Kooperativer Bibliotheksverbund

Berlin Brandenburg