Descriptive set theory and forcing: how to prove theorems about Borel sets the hard way
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
1995
|
| Series: | Lecture notes in logic
4 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Literaturverz. S. 121 - 127 |
| Physical Description: | 130 S. |
| ISBN: | 3540600590 0387600590 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010332055 | ||
| 003 | DE-604 | ||
| 005 | 20150115 | ||
| 007 | t | ||
| 008 | 950731s1995 gw |||| 00||| eng d | ||
| 016 | 7 | |a 944624553 |2 DE-101 | |
| 020 | |a 3540600590 |9 3-540-60059-0 | ||
| 020 | |a 0387600590 |9 0-387-60059-0 | ||
| 035 | |a (OCoLC)243811854 | ||
| 035 | |a (DE-599)BVBBV010332055 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-12 |a DE-91G |a DE-739 |a DE-703 |a DE-19 |a DE-634 |a DE-83 |a DE-11 |a DE-188 | ||
| 082 | 0 | |a 511.3/22 | |
| 084 | |a SK 150 |0 (DE-625)143218: |2 rvk | ||
| 084 | |a SK 155 |0 (DE-625)143219: |2 rvk | ||
| 084 | |a SK 430 |0 (DE-625)143239: |2 rvk | ||
| 100 | 1 | |a Miller, Arnold W. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Descriptive set theory and forcing |b how to prove theorems about Borel sets the hard way |c Arnold W. Miller |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1995 | |
| 300 | |a 130 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in logic |v 4 | |
| 500 | |a Literaturverz. S. 121 - 127 | ||
| 650 | 0 | 7 | |a Borel-Menge |0 (DE-588)4146323-7 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Borel-Menge |0 (DE-588)4146323-7 |D s |
| 689 | 0 | |5 DE-604 | |
| 830 | 0 | |a Lecture notes in logic |v 4 |w (DE-604)BV008909514 |9 4 | |
| 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=006876649&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006876649 | ||
Record in the Search Index
| _version_ | 1804124753200414720 |
|---|---|
| adam_text | Contents
1 What are the reals, anyway? 5
1 On the length of Borel hierarchies 7
2 Borel Hierarchy 7
3 Abstract Borel hierarchies 11
4 Characteristic function of a sequence 13
5 Martin s Axiom 16
6 Generic G6 18
7 a forcing 21
8 Boolean algebras 26
9 Borel order of a field of sets 30
10 CH and orders of separable metric spaces 32
11 Martin Solovay Theorem 34
12 Boolean algebra of order wi 38
13 Luzin sets 42
14 Cohen real model 46
15 The random real model 57
16 Covering number of an ideal 64
II Analytic sets 68
17 Analytic sets 68
18 Constructible well orderings 71
19 Hereditarily countable sets 72
20 Shoenfield Absoluteness 74
21 Mansfield Solovay Theorem 76
4
22 Uniformity and Scales 78
23 Martin s axiom and Constructibility 82
24 £j well orderings 84
25 Large U^ sets 85
III Classical Separation Theorems 88
26 Souslin Luzin Separation Theorem 88
27 Kleene Separation Theorem 90
28 IlJ Reduction 93
29 A} codes 95
IV Gandy Forcing 98
30 II} equivalence relations 98
31 Borel metric spaces and lines in the plane 103
32 E} equivalence relations 107
33 Louveau s Theorem 111
34 Proof of Louveau s Theorem 117
References 121
Index 128
Elephant Sandwiches 130
|
| any_adam_object | 1 |
| author | Miller, Arnold W. |
| author_facet | Miller, Arnold W. |
| author_role | aut |
| author_sort | Miller, Arnold W. |
| author_variant | a w m aw awm |
| building | Verbundindex |
| bvnumber | BV010332055 |
| classification_rvk | SK 150 SK 155 SK 430 |
| ctrlnum | (OCoLC)243811854 (DE-599)BVBBV010332055 |
| dewey-full | 511.3/22 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3/22 |
| dewey-search | 511.3/22 |
| dewey-sort | 3511.3 222 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01594nam a2200421 cb4500</leader><controlfield tag="001">BV010332055</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150115 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">950731s1995 gw |||| 00||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">944624553</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540600590</subfield><subfield code="9">3-540-60059-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387600590</subfield><subfield code="9">0-387-60059-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)243811854</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010332055</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">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3/22</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">SK 155</subfield><subfield code="0">(DE-625)143219:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 430</subfield><subfield code="0">(DE-625)143239:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Miller, Arnold W.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Descriptive set theory and forcing</subfield><subfield code="b">how to prove theorems about Borel sets the hard way</subfield><subfield code="c">Arnold W. Miller</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">130 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="1" ind2=" "><subfield code="a">Lecture notes in logic</subfield><subfield code="v">4</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. 121 - 127</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Borel-Menge</subfield><subfield code="0">(DE-588)4146323-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Borel-Menge</subfield><subfield code="0">(DE-588)4146323-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in logic</subfield><subfield code="v">4</subfield><subfield code="w">(DE-604)BV008909514</subfield><subfield code="9">4</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=006876649&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-006876649</subfield></datafield></record></collection> |
| id | DE-604.BV010332055 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:50:40Z |
| institution | BVB |
| isbn | 3540600590 0387600590 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006876649 |
| oclc_num | 243811854 |
| open_access_boolean | |
| owner | DE-12 DE-91G DE-BY-TUM DE-739 DE-703 DE-19 DE-BY-UBM DE-634 DE-83 DE-11 DE-188 |
| owner_facet | DE-12 DE-91G DE-BY-TUM DE-739 DE-703 DE-19 DE-BY-UBM DE-634 DE-83 DE-11 DE-188 |
| physical | 130 S. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in logic |
| series2 | Lecture notes in logic |
| spelling | Miller, Arnold W. Verfasser aut Descriptive set theory and forcing how to prove theorems about Borel sets the hard way Arnold W. Miller Berlin [u.a.] Springer 1995 130 S. txt rdacontent n rdamedia nc rdacarrier Lecture notes in logic 4 Literaturverz. S. 121 - 127 Borel-Menge (DE-588)4146323-7 gnd rswk-swf Borel-Menge (DE-588)4146323-7 s DE-604 Lecture notes in logic 4 (DE-604)BV008909514 4 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006876649&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Miller, Arnold W. Descriptive set theory and forcing how to prove theorems about Borel sets the hard way Lecture notes in logic Borel-Menge (DE-588)4146323-7 gnd |
| subject_GND | (DE-588)4146323-7 |
| title | Descriptive set theory and forcing how to prove theorems about Borel sets the hard way |
| title_auth | Descriptive set theory and forcing how to prove theorems about Borel sets the hard way |
| title_exact_search | Descriptive set theory and forcing how to prove theorems about Borel sets the hard way |
| title_full | Descriptive set theory and forcing how to prove theorems about Borel sets the hard way Arnold W. Miller |
| title_fullStr | Descriptive set theory and forcing how to prove theorems about Borel sets the hard way Arnold W. Miller |
| title_full_unstemmed | Descriptive set theory and forcing how to prove theorems about Borel sets the hard way Arnold W. Miller |
| title_short | Descriptive set theory and forcing |
| title_sort | descriptive set theory and forcing how to prove theorems about borel sets the hard way |
| title_sub | how to prove theorems about Borel sets the hard way |
| topic | Borel-Menge (DE-588)4146323-7 gnd |
| topic_facet | Borel-Menge |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006876649&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV008909514 |
| work_keys_str_mv | AT millerarnoldw descriptivesettheoryandforcinghowtoprovetheoremsaboutborelsetsthehardway |