X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Book
    Book
    Intermediate set theory / (1996)
    Chichester [u.a.] :Wiley,
    Details
    UID:
    almahu_BV011077707
    Format: X, 234 S.
    ISBN: 0-471-96494-8 , 0-471-96496-4
    Language: English
    Subjects: Mathematics
    RVK:
    SK 155
    RVK:
    SK 150
    Keywords: Mengenlehre
    URL: http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007421268&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
    URL: Inhaltsverzeichnis
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    HU Berlin get availability status
    EUV Frankfurt get availability status
    BTU Cottbus get availability status
  • 2
    Book
    Book
    Global warming : the science of climate change (2000)
    London :Arnold [u.a.],
    Details
    UID:
    almafu_BV013020149
    Format: XII, 273 S. : , Ill., graph. Darst., Kt.
    Edition: 1. publ.
    ISBN: 0-340-65302-7 , 0-340-65301-9
    Language: English
    Subjects: Physics , Geography
    RVK:
    RB 10438
    RVK:
    UT 8900
    Keywords: Treibhauseffekt ; Klimaänderung
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    FU Berlin get availability status
    BTU Cottbus get availability status
    TU Berlin get availability status
  • 3
    Online Resource
    Online Resource
    Logic Colloquium '86 : proceedings of the colloquium held in Hull, U.K. July 13-19, 1986 (1988)
    Amsterdam ; : North-Holland,
    Details
    UID:
    almahu_9947367742202882
    Format: 1 online resource (352 p.)
    ISBN: 1-283-60829-4 , 0-444-53583-7 , 9786613920744
    Series Statement: Studies in logic and the foundations of mathematics ;
    Content: 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.
    Note: Description based upon print version of record. , Front Cover; Studies in Logic and the Foundations of Mathematics, Volume 124; Copyright Page; Preface; CONTENTS; Chapter 1 Parameter-Free Induction, the Matiyasevic Theorem and BΣ]; Chapter 2 A Laver-Type Indestructability for Accessible Cardinals; Chapter 3 A Complete Inference System for Regular Processes with Silent Moves; Chapter 4 Cumulative Logic Programs and Modelling; Chapter 5 What is Negation in a System?; Chapter 6 Teaching Logic by Computer : a Hacker's Guide; Chapter 7 On the Role of O' in Recursion Theory; Chapter 8 The Origins of Forcing , Chapter 9 How to obtain Interpolation for L K + KChapter 10 The Craig Interpolation Lemma for Certain Modal Logics; Chapter 11 Model Theory and Representation Type of Algebras; Chapter 12 The Knuth-Bendix Completion Procedure, the Growth Function, and Polycyclic Groups; Chapter 13 Introduction to the Theory of Logic Programming; Chapter 14 A Complete Class of Restricted Logic Programs; Chapter 15 Oscillations of Real Numbers; Chapter 16 Doing without Determinacy-Aspects of Inner Models , English
    Additional Edition: ISBN 0-444-70326-8
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    HU Berlin
    FU Berlin
    Charité
  • 4
    Online Resource
    Online Resource
    Set theory : an introduction to large cardinals (1974)
    Amsterdam :North-Holland Pub. Co. ;
    Details
    UID:
    almahu_9949697337202882
    Format: 1 online resource (365 p.)
    ISBN: 1-283-52560-7 , 9786613838056 , 0-08-095486-3
    Series Statement: Studies in logic and the foundations of mathematics ; v. 76
    Content: Provability, Computability and Reflection
    Note: Description based upon print version of record. , 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 , 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 , 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 , Chapter 7. Trees and Partition Properties1. Trees; 2. Generalizations of Ramsey's theorem; 3. Partition cardinals: K ?( K )squre; 4. Partition cardinals: K ?(a)〈w; 5. Souslin and Kurepa trees; Notes to Chapter 7; Chapter 8. Partition Cardinals and Model Theory: Silver's Results; 1. Indiscernibles in a structure; 2. K (a)〈w and indiscernibles; 3. Constructing models using indiscernibles; 4. Implications for the constructible universe; 5. A delta non-constructible set; 6. Further properties of Lμ; Notes to Chapter 8; Chapter 9.Indescribable Cardinals , 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 , English
    Additional Edition: ISBN 0-444-10535-2
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    HU Berlin
    FU Berlin
    Charité
  • 5
    Online Resource
    Online Resource
    Logic Colloquium '86 : proceedings of the colloquium held in Hull, U.K. July 13-19, 1986 (2010)
    Amsterdam : North-Holland
    Details
    UID:
    gbv_878889515
    Format: Online Ressource (ix, 342 pages) , illustrations.
    Edition: Online-Ausg. [S.l.] HathiTrust Digital Library Online-Ausg. [S.l.] : HathiTrust Digital Library
    ISBN: 9780444535832 , 0444535837
    Series Statement: Studies in logic and the foundations of mathematics v. 124
    Content: 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
    Note: 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
    Additional Edition: ISBN 0444703268
    Additional Edition: Erscheint auch als Druck-Ausgabe Logic Colloquium (1986 : Hull, Humberside) Logic Colloquium '86 Amsterdam ; New York : North-Holland, c1988
    Language: English
    Subjects: Mathematics , Philosophy
    RVK:
    CC 2500
    RVK:
    SD 1986
    Keywords: Electronic books ; Electronic books ; Konferenzschrift
    URL: lizenzpflichtig
    URL: lizenzpflichtig
    URL: Volltext
    URL: Volltext
    URL: Inhaltstext
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Online Access
    Stabi Berlin
    UB Potsdam
  • 6
    Online Resource
    Online Resource
    Set theory : an introduction to large cardinals (2011)
    Amsterdam : North-Holland Pub. Co
    Details
    UID:
    gbv_878888454
    Format: Online Ressource (xii, 351 pages)
    Edition: Online-Ausg. [S.l.] HathiTrust Digital Library Online-Ausg. [S.l.] : HathiTrust Digital Library
    ISBN: 9780080954868 , 0080954863 , 9780444105356
    Series Statement: Studies in logic and the foundations of mathematics v. 76
    Content: 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
    Content: 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
    Content: 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
    Content: 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
    Content: Provability, Computability and Reflection
    Note: 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
    Additional Edition: ISBN 0444105352
    Additional Edition: ISBN 0720422000
    Additional Edition: ISBN 0720422795
    Additional Edition: Erscheint auch als Druck-Ausgabe Drake, F. R. (Frank Robert) Set theory Amsterdam : North-Holland Pub. Co. ; New York : American Elsevier Pub. Co, 1974
    Language: English
    Subjects: Mathematics
    RVK:
    SK 150
    RVK:
    SK 130
    Keywords: Kardinalzahl ; Electronic books ; Electronic books
    URL: lizenzpflichtig
    URL: Volltext
    URL: lizenzpflichtig
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Online Access
    Stabi Berlin
    UB Potsdam
  • 7
    Online Resource
    Online Resource
    Recursion theory : its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979 (1980)
    Cambridge :Cambridge University Press,
    Details
    UID:
    almahu_9948234262902882
    Format: 1 online resource (319 pages) : , digital, PDF file(s).
    ISBN: 9780511629181 (ebook)
    Series Statement: London Mathematical Society lecture note series ; 45
    Content: Recursion theory - now a well-established branch of pure mathematics, having grown rapidly over the last 35 years - deals with the general (abstract) theory of those operations which we conceive as being `computable' by idealized machines. The theory grew out of, and is usually still regarded, as a branch of mathematical logic. This book is a collection of advanced research/survey papers by eminent research workers in the field, based on their lectures given at the Leeds Logic Colloquium 1979. As such it provides an up-to-date view of current ideas and developments in the field of recursion theory as a whole. The individual contributions fit together naturally so as to provide an overview of all the main areas of research in the field. It will therefore be an important and invaluable source for advanced researchers and research students in mathematics and computer science (particularly in Europe, USA and USSR).
    Note: Title from publisher's bibliographic system (viewed on 05 Oct 2015).
    Additional Edition: Print version: ISBN 9780521235433
    Language: English
    URL: https://doi.org/10.1017/CBO9780511629181
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    HU Berlin
    FU Berlin
Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages