Sets and computations:
Gespeichert in:
Weitere Verfasser: | , , |
---|---|
Format: | Buch |
Sprache: | English |
Veröffentlicht: |
New Jersey ; London ; Singapore ; Beijing ; Shanghai ; Hong Kong ; Taipei ; Chennai ; Tokyo
World Scientific
[2018]
|
Schriftenreihe: | Lecture notes series, Institute for Mathematical Sciences, National University of Singapore
volume 33 |
Schlagworte: | |
Online-Zugang: | Inhaltsverzeichnis |
Beschreibung: | Includes bibliographical references |
Beschreibung: | x, 269 Seiten 24 cm |
ISBN: | 9789813223516 |
Internformat
MARC
LEADER | 00000nam a2200000 cb4500 | ||
---|---|---|---|
001 | BV044556057 | ||
003 | DE-604 | ||
005 | 20240202 | ||
007 | t | ||
008 | 171025s2018 xxu |||| 00||| eng d | ||
010 | |a 017012609 | ||
020 | |a 9789813223516 |c hardcover |9 978-981-3223-51-6 | ||
035 | |a (OCoLC)984127405 | ||
035 | |a (DE-599)BVBBV044556057 | ||
040 | |a DE-604 |b ger |e rda | ||
041 | 0 | |a eng | |
044 | |a xxu |c US | ||
049 | |a DE-19 |a DE-703 |a DE-473 |a DE-83 | ||
050 | 0 | |a QA248 | |
082 | 0 | |a 511.3/22 |2 23 | |
084 | |a SK 150 |0 (DE-625)143218: |2 rvk | ||
084 | |a 68-06 |2 msc | ||
084 | |a 03-06 |2 msc | ||
245 | 1 | 0 | |a Sets and computations |c editors Sy-David Friedman (Universität Wien, Austria), Dilip Raghavan (National University of Singapore, Singapore), Yue Yang (National University of Singapore, Singapore) |
264 | 1 | |a New Jersey ; London ; Singapore ; Beijing ; Shanghai ; Hong Kong ; Taipei ; Chennai ; Tokyo |b World Scientific |c [2018] | |
264 | 4 | |c © 2018 | |
300 | |a x, 269 Seiten |c 24 cm | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
490 | 1 | |a Lecture notes series, Institute for Mathematical Sciences, National University of Singapore |v volume 33 | |
500 | |a Includes bibliographical references | ||
650 | 4 | |a Set theory | |
650 | 4 | |a Computational complexity | |
650 | 0 | 7 | |a Komplexitätstheorie |0 (DE-588)4120591-1 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Mengenlehre |0 (DE-588)4074715-3 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Berechnungstheorie |0 (DE-588)4005581-4 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Modelltheorie |0 (DE-588)4114617-7 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Kontinuumshypothese |0 (DE-588)4481570-0 |2 gnd |9 rswk-swf |
655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
689 | 0 | 0 | |a Mengenlehre |0 (DE-588)4074715-3 |D s |
689 | 0 | 1 | |a Berechnungstheorie |0 (DE-588)4005581-4 |D s |
689 | 0 | 2 | |a Komplexitätstheorie |0 (DE-588)4120591-1 |D s |
689 | 0 | 3 | |a Kontinuumshypothese |0 (DE-588)4481570-0 |D s |
689 | 0 | 4 | |a Modelltheorie |0 (DE-588)4114617-7 |D s |
689 | 0 | |5 DE-604 | |
700 | 1 | |a Friedman, Sy-David |d 1953- |0 (DE-588)122113950 |4 edt |4 edt |4 ctb | |
700 | 1 | |a Raghavan, Dilip |d 1980- |0 (DE-588)1147404402 |4 edt |4 ctb | |
700 | 1 | |a Yang, Yue |d 1964- |0 (DE-588)1143617754 |4 edt | |
776 | 0 | 8 | |i Erscheint auch als |n Onlineausgabe |z 978-981-3223-52-3 |
830 | 0 | |a Lecture notes series, Institute for Mathematical Sciences, National University of Singapore |v volume 33 |w (DE-604)BV017225650 |9 33 | |
856 | 4 | 2 | |m Digitalisierung UB Bamberg - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=029954796&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
999 | |a oai:aleph.bib-bvb.de:BVB01-029954796 |
Datensatz im Suchindex
_version_ | 1804177923843817472 |
---|---|
adam_text | CONTENTS
Foreword vii
Preface ix
Part I. Set Theory
1. Q 1
Jörg Brendle
2. A Fraisse Approach to the Poulsen Simplex 11
Clinton Conley and Asger Törnquist
3. On the Set-Generic Multiverse 25
Sy-David Friedman, Sakae Fuchino and Hiroshi Sakai
4. Real Games and Strategically Selective Coideals 45
Paul B. Larson and Dilip Raghavan
Part II. Interactions
5. Cobham Recursive Set Functions and Weak Set Theories 55
Arnold Beckmann, Sam Buss, Sy-David Friedman,
Moritz Müller and Neil Thapen
6. Higher Randomness and lim-sup Forcing Within and
Beyond Hyperarithmetic 117
Takayuki Kihara
VI
Contents
7. Ackermannian Goodstein Principles for First Order
Peano Arithmetic 157
Andreas Weiermann
8. Tracking Chains Revisited 183
Gunnar Wilken
Part III. Computation Theory
9. Groups with Orderings of Arbitrary Algorithmic Complexity 221
Jennifer Chubb, Mieczyslaw K. Dabkowski and
Valentina Harizanov
10. Measure Theory and Hilbert’s Tenth Problem inside Q 253
Russell Miller
|
any_adam_object | 1 |
author2 | Friedman, Sy-David 1953- Friedman, Sy-David 1953- Raghavan, Dilip 1980- Raghavan, Dilip 1980- Yang, Yue 1964- |
author2_role | edt ctb edt ctb edt |
author2_variant | s d f sdf s d f sdf d r dr d r dr y y yy |
author_GND | (DE-588)122113950 (DE-588)1147404402 (DE-588)1143617754 |
author_facet | Friedman, Sy-David 1953- Friedman, Sy-David 1953- Raghavan, Dilip 1980- Raghavan, Dilip 1980- Yang, Yue 1964- |
building | Verbundindex |
bvnumber | BV044556057 |
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 |
ctrlnum | (OCoLC)984127405 (DE-599)BVBBV044556057 |
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>02781nam a2200601 cb4500</leader><controlfield tag="001">BV044556057</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20240202 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">171025s2018 xxu |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">017012609</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789813223516</subfield><subfield code="c">hardcover</subfield><subfield code="9">978-981-3223-51-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)984127405</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044556057</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="044" ind1=" " ind2=" "><subfield code="a">xxu</subfield><subfield code="c">US</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-19</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-473</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.3/22</subfield><subfield code="2">23</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">68-06</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03-06</subfield><subfield code="2">msc</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Sets and computations</subfield><subfield code="c">editors Sy-David Friedman (Universität Wien, Austria), Dilip Raghavan (National University of Singapore, Singapore), Yue Yang (National University of Singapore, Singapore)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New Jersey ; London ; Singapore ; Beijing ; Shanghai ; Hong Kong ; Taipei ; Chennai ; Tokyo</subfield><subfield code="b">World Scientific</subfield><subfield code="c">[2018]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2018</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">x, 269 Seiten</subfield><subfield code="c">24 cm</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 series, Institute for Mathematical Sciences, National University of Singapore</subfield><subfield code="v">volume 33</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Set theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computational complexity</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Komplexitätstheorie</subfield><subfield code="0">(DE-588)4120591-1</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="650" ind1="0" ind2="7"><subfield code="a">Berechnungstheorie</subfield><subfield code="0">(DE-588)4005581-4</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="650" ind1="0" ind2="7"><subfield code="a">Kontinuumshypothese</subfield><subfield code="0">(DE-588)4481570-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</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="1"><subfield code="a">Berechnungstheorie</subfield><subfield code="0">(DE-588)4005581-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Komplexitätstheorie</subfield><subfield code="0">(DE-588)4120591-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Kontinuumshypothese</subfield><subfield code="0">(DE-588)4481570-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Friedman, Sy-David</subfield><subfield code="d">1953-</subfield><subfield code="0">(DE-588)122113950</subfield><subfield code="4">edt</subfield><subfield code="4">edt</subfield><subfield code="4">ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Raghavan, Dilip</subfield><subfield code="d">1980-</subfield><subfield code="0">(DE-588)1147404402</subfield><subfield code="4">edt</subfield><subfield code="4">ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Yang, Yue</subfield><subfield code="d">1964-</subfield><subfield code="0">(DE-588)1143617754</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Onlineausgabe</subfield><subfield code="z">978-981-3223-52-3</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes series, Institute for Mathematical Sciences, National University of Singapore</subfield><subfield code="v">volume 33</subfield><subfield code="w">(DE-604)BV017225650</subfield><subfield code="9">33</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Bamberg - ADAM Catalogue Enrichment</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=029954796&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-029954796</subfield></datafield></record></collection> |
genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content |
genre_facet | Aufsatzsammlung |
id | DE-604.BV044556057 |
illustrated | Not Illustrated |
indexdate | 2024-07-10T07:55:48Z |
institution | BVB |
isbn | 9789813223516 |
language | English |
lccn | 017012609 |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029954796 |
oclc_num | 984127405 |
open_access_boolean | |
owner | DE-19 DE-BY-UBM DE-703 DE-473 DE-BY-UBG DE-83 |
owner_facet | DE-19 DE-BY-UBM DE-703 DE-473 DE-BY-UBG DE-83 |
physical | x, 269 Seiten 24 cm |
publishDate | 2018 |
publishDateSearch | 2018 |
publishDateSort | 2018 |
publisher | World Scientific |
record_format | marc |
series | Lecture notes series, Institute for Mathematical Sciences, National University of Singapore |
series2 | Lecture notes series, Institute for Mathematical Sciences, National University of Singapore |
spelling | Sets and computations editors Sy-David Friedman (Universität Wien, Austria), Dilip Raghavan (National University of Singapore, Singapore), Yue Yang (National University of Singapore, Singapore) New Jersey ; London ; Singapore ; Beijing ; Shanghai ; Hong Kong ; Taipei ; Chennai ; Tokyo World Scientific [2018] © 2018 x, 269 Seiten 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes series, Institute for Mathematical Sciences, National University of Singapore volume 33 Includes bibliographical references Set theory Computational complexity Komplexitätstheorie (DE-588)4120591-1 gnd rswk-swf Mengenlehre (DE-588)4074715-3 gnd rswk-swf Berechnungstheorie (DE-588)4005581-4 gnd rswk-swf Modelltheorie (DE-588)4114617-7 gnd rswk-swf Kontinuumshypothese (DE-588)4481570-0 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content Mengenlehre (DE-588)4074715-3 s Berechnungstheorie (DE-588)4005581-4 s Komplexitätstheorie (DE-588)4120591-1 s Kontinuumshypothese (DE-588)4481570-0 s Modelltheorie (DE-588)4114617-7 s DE-604 Friedman, Sy-David 1953- (DE-588)122113950 edt edt ctb Raghavan, Dilip 1980- (DE-588)1147404402 edt ctb Yang, Yue 1964- (DE-588)1143617754 edt Erscheint auch als Onlineausgabe 978-981-3223-52-3 Lecture notes series, Institute for Mathematical Sciences, National University of Singapore volume 33 (DE-604)BV017225650 33 Digitalisierung UB Bamberg - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=029954796&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
spellingShingle | Sets and computations Lecture notes series, Institute for Mathematical Sciences, National University of Singapore Set theory Computational complexity Komplexitätstheorie (DE-588)4120591-1 gnd Mengenlehre (DE-588)4074715-3 gnd Berechnungstheorie (DE-588)4005581-4 gnd Modelltheorie (DE-588)4114617-7 gnd Kontinuumshypothese (DE-588)4481570-0 gnd |
subject_GND | (DE-588)4120591-1 (DE-588)4074715-3 (DE-588)4005581-4 (DE-588)4114617-7 (DE-588)4481570-0 (DE-588)4143413-4 |
title | Sets and computations |
title_auth | Sets and computations |
title_exact_search | Sets and computations |
title_full | Sets and computations editors Sy-David Friedman (Universität Wien, Austria), Dilip Raghavan (National University of Singapore, Singapore), Yue Yang (National University of Singapore, Singapore) |
title_fullStr | Sets and computations editors Sy-David Friedman (Universität Wien, Austria), Dilip Raghavan (National University of Singapore, Singapore), Yue Yang (National University of Singapore, Singapore) |
title_full_unstemmed | Sets and computations editors Sy-David Friedman (Universität Wien, Austria), Dilip Raghavan (National University of Singapore, Singapore), Yue Yang (National University of Singapore, Singapore) |
title_short | Sets and computations |
title_sort | sets and computations |
topic | Set theory Computational complexity Komplexitätstheorie (DE-588)4120591-1 gnd Mengenlehre (DE-588)4074715-3 gnd Berechnungstheorie (DE-588)4005581-4 gnd Modelltheorie (DE-588)4114617-7 gnd Kontinuumshypothese (DE-588)4481570-0 gnd |
topic_facet | Set theory Computational complexity Komplexitätstheorie Mengenlehre Berechnungstheorie Modelltheorie Kontinuumshypothese Aufsatzsammlung |
url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=029954796&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
volume_link | (DE-604)BV017225650 |
work_keys_str_mv | AT friedmansydavid setsandcomputations AT raghavandilip setsandcomputations AT yangyue setsandcomputations |