rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Set theory
    sub title: an introduction to large cardinals
  name:
    name part: Drake, F. R. (Frank Robert)
    role:
      role term: creator
  name:
    name part: ScienceDirect (Online service)
  type of resource: text
  genre: bibliography
  genre: Electronic books.
  genre: Large cardinals.
  origin info:
    place:
      place term: ne
    place:
      place term: Amsterdam
    place:
      place term: New York
    publisher: North-Holland Pub. Co.
    publisher: American Elsevier Pub. Co.
    date issued: 1974
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: remote
    extent: 1 online resource (xii, 351 pages)
  abstract: Provability, Computability and Reflection.
  table of contents: 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
  table of contents: 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
  table of contents: 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
  table of contents: 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
  note: Frank R. Drake.
  note: 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. http://purl.oclc.org/DLF/benchrepro0212 MiAaHDL
  note: digitized 2011 HathiTrust Digital Library committed to preserve pda MiAaHDL
  note: Includes bibliographical references and index.
  note: English.
  subject:
    topic: Set theory
  subject:
    topic: Cardinal numbers
  subject:
    topic: Number theory
  subject:
    topic: Théorie des ensembles
  subject:
    topic: Théorie des nombres
  subject:
    topic: Nombres cardinaux
  subject:
    topic: MATHEMATICS
    topic: Number Theory
  subject:
    topic: Number theory
  subject:
    topic: Cardinal numbers
  subject:
    topic: Set theory
  subject:
    topic: Kardinalzahl
  subject:
    topic: Mengenlehre
  subject:
    topic: Zahlentheorie
  subject:
    topic: Verzamelingen (wiskunde)
  subject:
    topic: Kardinaalgetallen
  subject:
    topic: Ensembles, Théorie des
  classification: QA248 .D73 1974
  classification: 512/.72
  classification: 31.10
  classification: SK 130
  classification: SK 150
  related item:
    title info:
      title: Set theory
    name:
      name part: Drake, F.R. (Frank Robert).
    origin info:
      publisher: Amsterdam : North-Holland Pub. Co. ; New York : American Elsevier Pub. Co., 1974
    identifier: (DLC) 75305311
    identifier: (OCoLC)1123102
  related item:
    title info:
      title: Studies in logic and the foundations of mathematics ; v. 76
  identifier: 9780080954868
  identifier: 0080954863
  identifier: 1283525607
  identifier: 9781283525602
  identifier: 9786613838056
  identifier: 6613838055
  identifier: 9780444105356
  identifier: 0444105352
  identifier: 0720422000
  identifier: 9780720422009
  identifier: 0720422795
  identifier: 9780720422795
  identifier: 1093294:10878841 Elsevier Science & Technology
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: OPELS
    record creation date: 090728
    record change date: 20260326162723.1
    record identifier: in00005738300
    language of cataloging:
      language term: eng