Induction, bounding, weak combinatorial principles, and the homogeneous model theorem:
Gespeichert in:
| Beteiligte Personen: | , , |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Providence, Rhode Island
American Mathematical Society
September 2017
|
| Schriftenreihe: | Memoirs of the American Mathematical Society
1187 |
| Schlagwörter: | |
| Links: | http://digitool.hbz-nrw.de:1801/webclient/DeliveryManager?pid=7419923&custom_att_2=simple_viewer http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=029954613&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| Umfang: | v, 101, 4 ungezählte Seiten |
| ISBN: | 9781470426576 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV044555874 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t| | ||
| 008 | 171025s2017 xx |||| 00||| eng d | ||
| 020 | |a 9781470426576 |9 978-1-4704-2657-6 | ||
| 035 | |a (OCoLC)1015862541 | ||
| 035 | |a (DE-599)HBZHT019469942 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T |a DE-355 |a DE-11 |a DE-83 | ||
| 100 | 1 | |a Hirschfeldt, Denis R. |4 aut | |
| 245 | 1 | 0 | |a Induction, bounding, weak combinatorial principles, and the homogeneous model theorem |c Denis R. Hirschfeldt, Karen Lange, Richard A. Shore |
| 264 | 1 | |a Providence, Rhode Island |b American Mathematical Society |c September 2017 | |
| 300 | |a v, 101, 4 ungezählte Seiten | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Memoirs of the American Mathematical Society |v volume 249, number 1187 (eight of eight numbers) | |
| 650 | 0 | 7 | |a Berechnungskomplexität |0 (DE-588)4134751-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Homogenität |0 (DE-588)4300430-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Modelltheorie |0 (DE-588)4114617-7 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Modelltheorie |0 (DE-588)4114617-7 |D s |
| 689 | 0 | 1 | |a Homogenität |0 (DE-588)4300430-1 |D s |
| 689 | 0 | 2 | |a Berechnungskomplexität |0 (DE-588)4134751-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Lange, Karen |d 1980- |0 (DE-588)1141065037 |4 aut | |
| 700 | 1 | |a Shore, Richard A. |d 1946- |0 (DE-588)172660513 |4 aut | |
| 830 | 0 | |a Memoirs of the American Mathematical Society |v 1187 |w (DE-604)BV008000141 |9 1187 | |
| 856 | 4 | |u http://digitool.hbz-nrw.de:1801/webclient/DeliveryManager?pid=7419923&custom_att_2=simple_viewer |y Induction, bounding, weak combinatorial principles, and the homogeneous model theorem |3 Inhaltsverzeichnis | |
| 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=029954613&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-029954613 | |
Datensatz im Suchindex
| _version_ | 1819367010256027648 |
|---|---|
| adam_text | Titel: Induction, bounding, weak combinatorial principles, and the homogeneous model theorem
Autor: Hirschfeldt, Denis R
Jahr: 2017
Contents
Chapter 1. Introduction 1
1.1. The thematic level 1
1.2. The specifics 5
1.3. An outline of the paper 13
Chapter 2. Definitions 15
2.1. Reverse mathematics . 15
2.2. Model theoretic notions 1G
2.3. Other notions 19
Chapter 3. The Atomic Model Theorem and Related Principles 21
Chapter 4. Defining Homogeneity 27
Chapter 5. Closure Conditions and Model Existence 41
5.1. Type spectra of homogeneous models 41
5.2. Type spectra of general models 43
5.3. Comparing closure conditions 44
5.4. Spectrum enumeration existence theorems 45
5.5. Model existence theorems 48
Chapter G. Extension Functions and Model Existence 51
G.l. Extension functions 51
G.2. The reverse mathematics of extension functions 5G
Chapter 7. The Reverse Mathematics of Model Existence Theorems 75
7.1. Extension function approximations. AMT, and ATT 7G
7.2. Comparing model existence theorems 83
7.3. Computability theoretic equivalences 84
Chapter 8. Open Questions 87
Appendix A. Approximating Generics 89
Appendix 13. Atomic Trees 93
Appendix C. Saturated Models 97
Bibliography 99
|
| any_adam_object | 1 |
| author | Hirschfeldt, Denis R. Lange, Karen 1980- Shore, Richard A. 1946- |
| author_GND | (DE-588)1141065037 (DE-588)172660513 |
| author_facet | Hirschfeldt, Denis R. Lange, Karen 1980- Shore, Richard A. 1946- |
| author_role | aut aut aut |
| author_sort | Hirschfeldt, Denis R. |
| author_variant | d r h dr drh k l kl r a s ra ras |
| building | Verbundindex |
| bvnumber | BV044555874 |
| ctrlnum | (OCoLC)1015862541 (DE-599)HBZHT019469942 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02046nam a2200409 cb4500</leader><controlfield tag="001">BV044555874</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">171025s2017 xx |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781470426576</subfield><subfield code="9">978-1-4704-2657-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1015862541</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)HBZHT019469942</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29T</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Hirschfeldt, Denis R.</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Induction, bounding, weak combinatorial principles, and the homogeneous model theorem</subfield><subfield code="c">Denis R. Hirschfeldt, Karen Lange, Richard A. Shore</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Providence, Rhode Island</subfield><subfield code="b">American Mathematical Society</subfield><subfield code="c">September 2017</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">v, 101, 4 ungezählte Seiten</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">Memoirs of the American Mathematical Society</subfield><subfield code="v">volume 249, number 1187 (eight of eight numbers)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Berechnungskomplexität</subfield><subfield code="0">(DE-588)4134751-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Homogenität</subfield><subfield code="0">(DE-588)4300430-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modelltheorie</subfield><subfield code="0">(DE-588)4114617-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Modelltheorie</subfield><subfield code="0">(DE-588)4114617-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Homogenität</subfield><subfield code="0">(DE-588)4300430-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Berechnungskomplexität</subfield><subfield code="0">(DE-588)4134751-1</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">Lange, Karen</subfield><subfield code="d">1980-</subfield><subfield code="0">(DE-588)1141065037</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Shore, Richard A.</subfield><subfield code="d">1946-</subfield><subfield code="0">(DE-588)172660513</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Memoirs of the American Mathematical Society</subfield><subfield code="v">1187</subfield><subfield code="w">(DE-604)BV008000141</subfield><subfield code="9">1187</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">http://digitool.hbz-nrw.de:1801/webclient/DeliveryManager?pid=7419923&custom_att_2=simple_viewer</subfield><subfield code="y">Induction, bounding, weak combinatorial principles, and the homogeneous model theorem</subfield><subfield code="3">Inhaltsverzeichnis</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=029954613&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029954613</subfield></datafield></record></collection> |
| id | DE-604.BV044555874 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T18:06:00Z |
| institution | BVB |
| isbn | 9781470426576 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029954613 |
| oclc_num | 1015862541 |
| open_access_boolean | |
| owner | DE-29T DE-355 DE-BY-UBR DE-11 DE-83 |
| owner_facet | DE-29T DE-355 DE-BY-UBR DE-11 DE-83 |
| physical | v, 101, 4 ungezählte Seiten |
| publishDate | 2017 |
| publishDateSearch | 2017 |
| publishDateSort | 2017 |
| publisher | American Mathematical Society |
| record_format | marc |
| series | Memoirs of the American Mathematical Society |
| series2 | Memoirs of the American Mathematical Society |
| spellingShingle | Hirschfeldt, Denis R. Lange, Karen 1980- Shore, Richard A. 1946- Induction, bounding, weak combinatorial principles, and the homogeneous model theorem Memoirs of the American Mathematical Society Berechnungskomplexität (DE-588)4134751-1 gnd Homogenität (DE-588)4300430-1 gnd Modelltheorie (DE-588)4114617-7 gnd |
| subject_GND | (DE-588)4134751-1 (DE-588)4300430-1 (DE-588)4114617-7 |
| title | Induction, bounding, weak combinatorial principles, and the homogeneous model theorem |
| title_auth | Induction, bounding, weak combinatorial principles, and the homogeneous model theorem |
| title_exact_search | Induction, bounding, weak combinatorial principles, and the homogeneous model theorem |
| title_full | Induction, bounding, weak combinatorial principles, and the homogeneous model theorem Denis R. Hirschfeldt, Karen Lange, Richard A. Shore |
| title_fullStr | Induction, bounding, weak combinatorial principles, and the homogeneous model theorem Denis R. Hirschfeldt, Karen Lange, Richard A. Shore |
| title_full_unstemmed | Induction, bounding, weak combinatorial principles, and the homogeneous model theorem Denis R. Hirschfeldt, Karen Lange, Richard A. Shore |
| title_short | Induction, bounding, weak combinatorial principles, and the homogeneous model theorem |
| title_sort | induction bounding weak combinatorial principles and the homogeneous model theorem |
| topic | Berechnungskomplexität (DE-588)4134751-1 gnd Homogenität (DE-588)4300430-1 gnd Modelltheorie (DE-588)4114617-7 gnd |
| topic_facet | Berechnungskomplexität Homogenität Modelltheorie |
| url | http://digitool.hbz-nrw.de:1801/webclient/DeliveryManager?pid=7419923&custom_att_2=simple_viewer http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=029954613&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV008000141 |
| work_keys_str_mv | AT hirschfeldtdenisr inductionboundingweakcombinatorialprinciplesandthehomogeneousmodeltheorem AT langekaren inductionboundingweakcombinatorialprinciplesandthehomogeneousmodeltheorem AT shorericharda inductionboundingweakcombinatorialprinciplesandthehomogeneousmodeltheorem |