Set theory:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2003
|
| Edition: | 3. millenium ed, rev. and expanded |
| Series: | Springer monographs in mathematics
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Hier auch später erschienene, unveränderte Nachdrucke |
| Physical Description: | XIII, 769 S. |
| ISBN: | 3540440852 9783540440857 |
Staff View
MARC
| LEADER | 00000nam a22000008c 4500 | ||
|---|---|---|---|
| 001 | BV014685961 | ||
| 003 | DE-604 | ||
| 005 | 20130821 | ||
| 007 | t | ||
| 008 | 020827s2003 gw |||| 00||| eng d | ||
| 016 | 7 | |a 964990253 |2 DE-101 | |
| 020 | |a 3540440852 |9 3-540-44085-2 | ||
| 020 | |a 9783540440857 |9 978-3-540-44085-7 | ||
| 035 | |a (OCoLC)248757901 | ||
| 035 | |a (DE-599)BVBBV014685961 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-355 |a DE-91G |a DE-19 |a DE-706 |a DE-634 |a DE-11 |a DE-188 |a DE-83 | ||
| 050 | 0 | |a QA248 | |
| 082 | 0 | |a 511.322 | |
| 084 | |a SK 150 |0 (DE-625)143218: |2 rvk | ||
| 084 | |a 04-01 |2 msc | ||
| 084 | |a 03Exx |2 msc | ||
| 084 | |a MAT 040f |2 stub | ||
| 100 | 1 | |a Jech, Thomas J. |d 1944- |e Verfasser |0 (DE-588)107482673 |4 aut | |
| 245 | 1 | 0 | |a Set theory |c Thomas Jech |
| 250 | |a 3. millenium ed, rev. and expanded | ||
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2003 | |
| 300 | |a XIII, 769 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Springer monographs in mathematics | |
| 500 | |a Hier auch später erschienene, unveränderte Nachdrucke | ||
| 650 | 4 | |a Mengenlehre | |
| 650 | 4 | |a Set theory | |
| 650 | 0 | 7 | |a Axiomatische Mengenlehre |0 (DE-588)4143743-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mengenlehre |0 (DE-588)4074715-3 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Mengenlehre |0 (DE-588)4074715-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Axiomatische Mengenlehre |0 (DE-588)4143743-3 |D s |
| 689 | 1 | |8 1\p |5 DE-604 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009959885&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-009959885 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Record in the Search Index
| _version_ | 1804129432249565184 |
|---|---|
| adam_text | Table of Contents
Part I. Basic Set Theory
1. Axioms of Set Theory 3
Axioms of Zermelo Praenkel. Why Axiomatic Set Theory? Language of Set
Theory, Formulas. Classes. Extensionality. Pairing. Separation Schema.
Union. Power Set. Infinity. Replacement Schema. Exercises. Historical Notes.
2. Ordinal Numbers 17
Linear and Partial Ordering. Well Ordering. Ordinal Numbers. Induction and
Recursion. Ordinal Arithmetic. Well Founded Relations. Exercises. Historical
Notes.
3. Cardinal Numbers 27
Cardinality. Alephs. The Canonical Well Ordering of a x a. Cofinality. Ex¬
ercises. Historical Notes.
4. Real Numbers 37
The Cardinality of the Continuum. The Ordering of R. Suslin s Problem. The
Topology of the Real Line. Borel Sets. Lebesgue Measure. The Baire Space.
Polish Spaces. Exercises. Historical Notes.
5. The Axiom of Choice and Cardinal Arithmetic 47
The Axiom of Choice. Using the Axiom of Choice in Mathematics. The Count¬
able Axiom of Choice. Cardinal Arithmetic. Infinite Sums and Products. The
Continuum Function. Cardinal Exponentiation. The Singular Cardinal Hy¬
pothesis. Exercises. Historical Notes.
6. The Axiom of Regularity 63
The Cumulative Hierarchy of Sets. e Induction. Well Founded Relations. The
Bernays Godel Axiomatic Set Theory. Exercises. Historical Notes.
7. Filters, Ultrafilters and Boolean Algebras 73
Filters and Ultrafilters. Ultrafilters on w. K Complete Filters and Ideals.
Boolean Algebras. Ideals and Filters on Boolean Algebras. Complete Boolean
Algebras. Complete and Regular Subalgebras. Saturation. Distributivity of
Complete Boolean Algebras. Exercises. Historical Notes.
X Table of Contents
8. Stationary Sets 91
Closed Unbounded Sets. Mahlo Cardinals. Normal Filters. Silver s Theo¬
rem. A Hierarchy of Stationary Sets. The Closed Unbounded Filter on PK(X).
Exercises. Historical Notes.
9. Combinatorial Set Theory 107
Partition Properties. Weakly Compact Cardinals. Trees. Almost Disjoint Sets
and Functions. The Tree Property and Weakly Compact Cardinals. Ramsey
Cardinals. Exercises. Historical Notes.
10. Measurable Cardinals 125
The Measure Problem. Measurable and Real Valued Measurable Cardinals.
Measurable Cardinals. Normal Measures. Strongly Compact and Supercom
pact Cardinals. Exercises. Historical Notes.
11. Borel and Analytic Sets 139
Borel Sets. Analytic Sets. The Suslin Operation A.. The Hierarchy of Projective
Sets. Lebesgue Measure. The Property of Baire. Analytic Sets: Measure,
Category, and the Perfect Set Property. Exercises. Historical Notes.
12. Models of Set Theory 155
Review of Model Theory. Godel s Theorems. Direct Limits of Models. Re¬
duced Products and Ultraproducts. Models of Set Theory and Relativization.
Relative Consistency. Transitive Models and Ao Formulas. Consistency of
the Axiom of Regularity. Inaccessibility of Inaccessible Cardinals. Reflection
Principle. Exercises. Historical Notes.
Part II. Advanced Set Theory
13. Constructible Sets 175
The Hierarchy of Constructible Sets. Godel Operations. Inner Models of ZF.
The Levy Hierarchy. Absoluteness of Constructibility. Consistency of the Ax¬
iom of Choice. Consistency of the Generalized Continuum Hypothesis. Relative
Constructibility. Ordinal Definable Sets. More on Inner Models. Exercises.
Historical Notes.
14. Forcing 201
Forcing Conditions and Generic Sets. Separative Quotients and Complete
Boolean Algebras. Boolean Valued Models. The Boolean Valued Model VB.
The Forcing Relation. The Forcing Theorem and the Generic Model Theorem.
Consistency Proofs. Independence of the Continuum Hypothesis. Indepen¬
dence of the Axiom of Choice. Exercises. Historical Notes.
15. Applications of Forcing 225
Cohen Reals. Adding Subsets of Regular Cardinals. The K Chain Condition.
Distributivity. Product Forcing. Easton s Theorem. Forcing with a Class of
Conditions. The Levy Collapse. Suslin Trees. Random Reals. Forcing with
Perfect Trees. More on Generic Extensions. Symmetric Submodels of Generic
Models. Exercises. Historical Notes.
Table of Contents XI
16. Iterated Forcing and Martin s Axiom 267
Two Step Iteration. Iteration with Finite Support. Martin s Axiom. Indepen¬
dence of Suslin s Hypothesis. More Applications of Martin s Axiom. Iterated
Forcing. Exercises. Historical Notes.
17. Large Cardinals 285
Ultrapowers and Elementary Embeddings. Weak Compactness. Indescribabil
ity. Partitions and Models. Exercises. Historical Notes.
18. Large Cardinals and L 311
Silver Indiscernibles. Models with Indiscernibles. Proof of Silver s Theorem
and 0 . Elementary Embeddings of L. Jensen s Covering Theorem. Exercises.
Historical Notes.
19. Iterated Ultrapowers and L[U] 339
The Model L[U]. Iterated Ultrapowers. Representation of Iterated Ultrapow¬
ers. Uniqueness of the Model L[D]. Indiscernibles for L[D . General Iterations.
The Mitchell Order. The Models L[U]. Exercises. Historical Notes.
20. Very Large Cardinals 365
Strongly Compact Cardinals. Supercompact Cardinals. Beyond Supercom
pactness. Extenders and Strong Cardinals. Exercises. Historical Notes.
21. Large Cardinals and Forcing 389
Mild Extensions. Kunen Paris Forcing. Silver s Forcing. Prikry Forcing. Mea
surability of Ni in ZF. Exercises. Historical Notes.
22. Saturated Ideals 409
Real Valued Measurable Cardinals. Generic Ultrapowers. Precipitous Ideals.
Saturated Ideals. Consistency Strength of Precipitousness. Exercises. Histor¬
ical Notes.
23. The Nonstationary Ideal 441
Some Combinatorial Principles. Stationary Sets in Generic Extensions. Pre¬
cipitousness of the Nonstationary Ideal. Saturation of the Nonstationary Ideal.
Reflection. Exercises. Historical Notes.
24. The Singular Cardinal Problem 457
The Galvin Hajnal Theorem. Ordinal Functions and Scales. The pcf Theory.
The Structure of pcf. Transitive Generators and Localization. Shelah s Bound
on 2* . Exercises. Historical Notes.
25. Descriptive Set Theory 479
The Hierarchy of Projective Sets, n} Sets. Trees, Well Founded Relations
and K Suslin Sets. £2 Sets. Projective Sets and Constructibility. Scales and
Uniformization. £2 Well Orderings and Eg Well Founded Relations. Borel
Codes. Exercises. Historical Notes.
XII Table of Contents
26. The Real Line 511
Random and Cohen reals. Solovay Sets of Reals. The Levy Collapse. Solo
vay s Theorem. Lebesgue Measurability of S2 Sets. Ramsey Sets of Reals and
Mathias Forcing. Measure and Category. Exercises. Historical Notes.
Part III. Selected Topics
27. Combinatorial Principles in I 545
The Fine Structure Theory. The Principle ?«. The Jensen Hierarchy. Projecta,
Standard Codes and Standard Parameters. Diamond Principles. Trees in L.
Canonical Functions on uii. Exercises. Historical Notes.
28. More Applications of Forcing 557
A Nonconstructible A3 Real. Namba Forcing. A Cohen Real Adds a Suslin
Tree. Consistency of Borel s Conjecture. K+ Aronszajn Trees. Exercises. His¬
torical Notes.
29. More Combinatorial Set Theory 573
Ramsey Theory. Gaps in u . The Open Coloring Axiom. Almost Disjoint
Subsets of wj. Functions from wi into w. Exercises. Historical Notes.
30. Complete Boolean Algebras 585
Measure Algebras. Cohen Algebras. Suslin Algebras. Simple Algebras. Infinite
Games on Boolean Algebras. Exercises. Historical Notes.
31. Proper Forcing 601
Definition and Examples. Iteration of Proper Forcing. The Proper Forcing
Axiom. Applications of PFA. Exercises. Historical Notes.
32. More Descriptive Set Theory 615
III Equivalence Relations. S| Equivalence Relations. Constructible Reals
and Perfect Sets. Projective Sets and Large Cardinals. Universally Baire sets.
Exercises. Historical Notes.
33. Determinacy 627
Determinacy and Choice. Some Consequences of AD. AD and Large Cardinals.
Projective Determinacy. Consistency of AD. Exercises. Historical Notes.
34. Supercompact Cardinals and the Real Line 647
Woodin Cardinals. Semiproper Forcing. The Model L(R). Stationary Tower
Forcing. Weakly Homogeneous Trees. Exercises. Historical Notes.
35. Inner Models for Large Cardinals 659
The Core Model. The Covering Theorem for K. The Covering Theorem
for L U . The Core Model for Sequences of Measures. Up to a Strong Cardinal.
Inner Models for Woodin Cardinals. Exercises. Historical Notes.
Table of Contents XIII
36. Forcing and Large Cardinals 669
Violating GCH at a Measurable Cardinal. The Singular Cardinal Problem.
Violating SCH at Ku,. Radin Forcing. Stationary Tower Forcing. Exercises.
Historical Notes.
37. Martin s Maximum 681
RCS iteration of semiproper forcing. Consistency of MM. Applications of MM.
Reflection Principles. Forcing Axioms. Exercises. Historical Notes.
38. More on Stationary Sets 695
The Nonstationary Ideal on Ni. Saturation and Precipitousness. Reflection.
Stationary Sets in PK(A). Mutually Stationary Sets. Weak Squares. Exercises.
Historical Notes.
Bibliography 707
Notation 733
Name Index 743
Index 749
|
| any_adam_object | 1 |
| author | Jech, Thomas J. 1944- |
| author_GND | (DE-588)107482673 |
| author_facet | Jech, Thomas J. 1944- |
| author_role | aut |
| author_sort | Jech, Thomas J. 1944- |
| author_variant | t j j tj tjj |
| building | Verbundindex |
| bvnumber | BV014685961 |
| callnumber-first | Q - Science |
| callnumber-label | QA248 |
| callnumber-raw | QA248 |
| callnumber-search | QA248 |
| callnumber-sort | QA 3248 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SK 150 |
| classification_tum | MAT 040f |
| ctrlnum | (OCoLC)248757901 (DE-599)BVBBV014685961 |
| dewey-full | 511.322 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.322 |
| dewey-search | 511.322 |
| dewey-sort | 3511.322 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| edition | 3. millenium ed, rev. and expanded |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01893nam a22005178c 4500</leader><controlfield tag="001">BV014685961</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20130821 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">020827s2003 gw |||| 00||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">964990253</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540440852</subfield><subfield code="9">3-540-44085-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540440857</subfield><subfield code="9">978-3-540-44085-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)248757901</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV014685961</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-355</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA248</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.322</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 150</subfield><subfield code="0">(DE-625)143218:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">04-01</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03Exx</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 040f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Jech, Thomas J.</subfield><subfield code="d">1944-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)107482673</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Set theory</subfield><subfield code="c">Thomas Jech</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">3. millenium ed, rev. and expanded</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 769 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Springer monographs in mathematics</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Hier auch später erschienene, unveränderte Nachdrucke</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mengenlehre</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Set theory</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Axiomatische Mengenlehre</subfield><subfield code="0">(DE-588)4143743-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mengenlehre</subfield><subfield code="0">(DE-588)4074715-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mengenlehre</subfield><subfield code="0">(DE-588)4074715-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Axiomatische Mengenlehre</subfield><subfield code="0">(DE-588)4143743-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009959885&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009959885</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| id | DE-604.BV014685961 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T19:05:02Z |
| institution | BVB |
| isbn | 3540440852 9783540440857 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009959885 |
| oclc_num | 248757901 |
| open_access_boolean | |
| owner | DE-355 DE-BY-UBR DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-706 DE-634 DE-11 DE-188 DE-83 |
| owner_facet | DE-355 DE-BY-UBR DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-706 DE-634 DE-11 DE-188 DE-83 |
| physical | XIII, 769 S. |
| publishDate | 2003 |
| publishDateSearch | 2003 |
| publishDateSort | 2003 |
| publisher | Springer |
| record_format | marc |
| series2 | Springer monographs in mathematics |
| spelling | Jech, Thomas J. 1944- Verfasser (DE-588)107482673 aut Set theory Thomas Jech 3. millenium ed, rev. and expanded Berlin [u.a.] Springer 2003 XIII, 769 S. txt rdacontent n rdamedia nc rdacarrier Springer monographs in mathematics Hier auch später erschienene, unveränderte Nachdrucke Mengenlehre Set theory Axiomatische Mengenlehre (DE-588)4143743-3 gnd rswk-swf Mengenlehre (DE-588)4074715-3 gnd rswk-swf Mengenlehre (DE-588)4074715-3 s DE-604 Axiomatische Mengenlehre (DE-588)4143743-3 s 1\p DE-604 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009959885&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Jech, Thomas J. 1944- Set theory Mengenlehre Set theory Axiomatische Mengenlehre (DE-588)4143743-3 gnd Mengenlehre (DE-588)4074715-3 gnd |
| subject_GND | (DE-588)4143743-3 (DE-588)4074715-3 |
| title | Set theory |
| title_auth | Set theory |
| title_exact_search | Set theory |
| title_full | Set theory Thomas Jech |
| title_fullStr | Set theory Thomas Jech |
| title_full_unstemmed | Set theory Thomas Jech |
| title_short | Set theory |
| title_sort | set theory |
| topic | Mengenlehre Set theory Axiomatische Mengenlehre (DE-588)4143743-3 gnd Mengenlehre (DE-588)4074715-3 gnd |
| topic_facet | Mengenlehre Set theory Axiomatische Mengenlehre |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009959885&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT jechthomasj settheory |