Fine structure and iteration trees:
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
1994
|
| Schriftenreihe: | Lecture notes in logic
3 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | 130 S. |
| ISBN: | 3540574948 0387574948 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV008885499 | ||
| 003 | DE-604 | ||
| 005 | 20160707 | ||
| 007 | t | ||
| 008 | 940207s1994 gw |||| 00||| eng d | ||
| 016 | 7 | |a 940293722 |2 DE-101 | |
| 020 | |a 3540574948 |9 3-540-57494-8 | ||
| 020 | |a 0387574948 |9 0-387-57494-8 | ||
| 035 | |a (OCoLC)29913772 | ||
| 035 | |a (DE-599)BVBBV008885499 | ||
| 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 | ||
| 050 | 0 | |a QA9.56 | |
| 082 | 0 | |a 511.3 |2 20 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a SK 150 |0 (DE-625)143218: |2 rvk | ||
| 084 | |a SK 155 |0 (DE-625)143219: |2 rvk | ||
| 084 | |a 03E45 |2 msc | ||
| 084 | |a MAT 030f |2 stub | ||
| 100 | 1 | |a Mitchell, William J. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Fine structure and iteration trees |c William J. Mitchell ; John R. Steel |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1994 | |
| 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 3 | |
| 650 | 4 | |a Ensembles, Théorie des | |
| 650 | 4 | |a Mathématiques constructives | |
| 650 | 4 | |a Constructive mathematics | |
| 650 | 4 | |a Set theory | |
| 650 | 0 | 7 | |a Feinstruktur |g Mengenlehre |0 (DE-588)4344261-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Woodin-Kardinalzahl |0 (DE-588)4344260-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Inneres Modell |0 (DE-588)4344259-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Inneres Modell |0 (DE-588)4344259-6 |D s |
| 689 | 0 | 1 | |a Woodin-Kardinalzahl |0 (DE-588)4344260-2 |D s |
| 689 | 0 | 2 | |a Feinstruktur |g Mengenlehre |0 (DE-588)4344261-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Steel, John R. |d 1948- |e Verfasser |0 (DE-588)1103857118 |4 aut | |
| 830 | 0 | |a Lecture notes in logic |v 3 |w (DE-604)BV008909514 |9 3 | |
| 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=005878296&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-005878296 | ||
Datensatz im Suchindex
| _version_ | 1804123242939547648 |
|---|---|
| adam_text | Contents
Section ^gc
0. Introduction 1
1. Good Extender Sequences 5
2. Fine Structure 10
3. Squashed Mice 28
4. Ultrapowers 34
5. Iteration Trees 47
6. Uniqueness of Wellfounded Branches 58
7. The Comparison Process 69
8. Solidity and Condensation 74
9. Uniqueness of the Next Extender 89
10. Closure under Initial Segment 96
11. The Construction 99
12. Iterability 108
References 125
Index of Definitions 26
Index 128
|
| any_adam_object | 1 |
| author | Mitchell, William J. Steel, John R. 1948- |
| author_GND | (DE-588)1103857118 |
| author_facet | Mitchell, William J. Steel, John R. 1948- |
| author_role | aut aut |
| author_sort | Mitchell, William J. |
| author_variant | w j m wj wjm j r s jr jrs |
| building | Verbundindex |
| bvnumber | BV008885499 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.56 |
| callnumber-search | QA9.56 |
| callnumber-sort | QA 19.56 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SK 130 SK 150 SK 155 |
| classification_tum | MAT 030f |
| ctrlnum | (OCoLC)29913772 (DE-599)BVBBV008885499 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| 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>02101nam a2200553 cb4500</leader><controlfield tag="001">BV008885499</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160707 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940207s1994 gw |||| 00||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">940293722</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540574948</subfield><subfield code="9">3-540-57494-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387574948</subfield><subfield code="9">0-387-57494-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)29913772</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008885499</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="050" ind1=" " ind2="0"><subfield code="a">QA9.56</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</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">03E45</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 030f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Mitchell, William J.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Fine structure and iteration trees</subfield><subfield code="c">William J. Mitchell ; John R. Steel</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1994</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">3</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ensembles, Théorie des</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathématiques constructives</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Constructive mathematics</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">Feinstruktur</subfield><subfield code="g">Mengenlehre</subfield><subfield code="0">(DE-588)4344261-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Woodin-Kardinalzahl</subfield><subfield code="0">(DE-588)4344260-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Inneres Modell</subfield><subfield code="0">(DE-588)4344259-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Inneres Modell</subfield><subfield code="0">(DE-588)4344259-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Woodin-Kardinalzahl</subfield><subfield code="0">(DE-588)4344260-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Feinstruktur</subfield><subfield code="g">Mengenlehre</subfield><subfield code="0">(DE-588)4344261-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Steel, John R.</subfield><subfield code="d">1948-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1103857118</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in logic</subfield><subfield code="v">3</subfield><subfield code="w">(DE-604)BV008909514</subfield><subfield code="9">3</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=005878296&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-005878296</subfield></datafield></record></collection> |
| id | DE-604.BV008885499 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:26:40Z |
| institution | BVB |
| isbn | 3540574948 0387574948 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005878296 |
| oclc_num | 29913772 |
| 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 | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in logic |
| series2 | Lecture notes in logic |
| spelling | Mitchell, William J. Verfasser aut Fine structure and iteration trees William J. Mitchell ; John R. Steel Berlin [u.a.] Springer 1994 130 S. txt rdacontent n rdamedia nc rdacarrier Lecture notes in logic 3 Ensembles, Théorie des Mathématiques constructives Constructive mathematics Set theory Feinstruktur Mengenlehre (DE-588)4344261-4 gnd rswk-swf Woodin-Kardinalzahl (DE-588)4344260-2 gnd rswk-swf Inneres Modell (DE-588)4344259-6 gnd rswk-swf Inneres Modell (DE-588)4344259-6 s Woodin-Kardinalzahl (DE-588)4344260-2 s Feinstruktur Mengenlehre (DE-588)4344261-4 s DE-604 Steel, John R. 1948- Verfasser (DE-588)1103857118 aut Lecture notes in logic 3 (DE-604)BV008909514 3 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005878296&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Mitchell, William J. Steel, John R. 1948- Fine structure and iteration trees Lecture notes in logic Ensembles, Théorie des Mathématiques constructives Constructive mathematics Set theory Feinstruktur Mengenlehre (DE-588)4344261-4 gnd Woodin-Kardinalzahl (DE-588)4344260-2 gnd Inneres Modell (DE-588)4344259-6 gnd |
| subject_GND | (DE-588)4344261-4 (DE-588)4344260-2 (DE-588)4344259-6 |
| title | Fine structure and iteration trees |
| title_auth | Fine structure and iteration trees |
| title_exact_search | Fine structure and iteration trees |
| title_full | Fine structure and iteration trees William J. Mitchell ; John R. Steel |
| title_fullStr | Fine structure and iteration trees William J. Mitchell ; John R. Steel |
| title_full_unstemmed | Fine structure and iteration trees William J. Mitchell ; John R. Steel |
| title_short | Fine structure and iteration trees |
| title_sort | fine structure and iteration trees |
| topic | Ensembles, Théorie des Mathématiques constructives Constructive mathematics Set theory Feinstruktur Mengenlehre (DE-588)4344261-4 gnd Woodin-Kardinalzahl (DE-588)4344260-2 gnd Inneres Modell (DE-588)4344259-6 gnd |
| topic_facet | Ensembles, Théorie des Mathématiques constructives Constructive mathematics Set theory Feinstruktur Mengenlehre Woodin-Kardinalzahl Inneres Modell |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005878296&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV008909514 |
| work_keys_str_mv | AT mitchellwilliamj finestructureanditerationtrees AT steeljohnr finestructureanditerationtrees |