The role of true finiteness in the admissible recursively enumerable degrees:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Providence, R.I.
American Mathematical Society
2006
|
| Schriftenreihe: | Memoirs of the American Mathematical Society
854 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | "Volume 181, number 854 (third of 5 numbers)." Includes bibliographical references |
| Beschreibung: | VI, 99 S. graph. Darst. |
| ISBN: | 0821838857 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV021567114 | ||
| 003 | DE-604 | ||
| 005 | 20150326 | ||
| 007 | t | ||
| 008 | 060503s2006 xxud||| |||| 00||| eng d | ||
| 010 | |a 2006040677 | ||
| 020 | |a 0821838857 |c alk. paper |9 0-8218-3885-7 | ||
| 035 | |a (OCoLC)63108467 | ||
| 035 | |a (DE-599)BVBBV021567114 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 044 | |a xxu |c US | ||
| 049 | |a DE-355 |a DE-29T |a DE-11 |a DE-188 |a DE-83 | ||
| 050 | 0 | |a QA3 | |
| 050 | 0 | |a QA9.6 | |
| 082 | 0 | |a 510 |2 22 | |
| 082 | 0 | |a 511.3/5 |2 22 | |
| 100 | 1 | |a Greenberg, Noam |d 1974- |e Verfasser |0 (DE-588)173835864 |4 aut | |
| 245 | 1 | 0 | |a The role of true finiteness in the admissible recursively enumerable degrees |c Noam Greenberg |
| 264 | 1 | |a Providence, R.I. |b American Mathematical Society |c 2006 | |
| 300 | |a VI, 99 S. |b graph. Darst. | ||
| 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 854 | |
| 500 | |a "Volume 181, number 854 (third of 5 numbers)." | ||
| 500 | |a Includes bibliographical references | ||
| 650 | 7 | |a Eindigheid |2 gtt | |
| 650 | 7 | |a Lógica matemática |2 larpcal | |
| 650 | 7 | |a Recursie |2 gtt | |
| 650 | 7 | |a Teoria da recursão |2 larpcal | |
| 650 | 4 | |a Recursion theory | |
| 650 | 4 | |a Recursively enumerable sets | |
| 650 | 4 | |a Finite, The | |
| 650 | 0 | 7 | |a Rekursionstheorie |0 (DE-588)4122329-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Rekursiv aufzählbare Menge |0 (DE-588)4135763-2 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Rekursionstheorie |0 (DE-588)4122329-9 |D s |
| 689 | 0 | 1 | |a Rekursiv aufzählbare Menge |0 (DE-588)4135763-2 |D s |
| 689 | 0 | |C b |5 DE-604 | |
| 830 | 0 | |a Memoirs of the American Mathematical Society |v 854 |w (DE-604)BV008000141 |9 854 | |
| 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=014782981&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-014782981 | ||
Datensatz im Suchindex
| _version_ | 1804135331527655424 |
|---|---|
| adam_text | Contents
Chapter 1. Introduction 1
1. The Results 4
Chapter 2. Coding Into the R.E. Degrees 9
1. The Coding 9
2. A Template for the Constructions 13
3. Various Constructions 25
Chapter 3. Coding Effective Successor Models 33
1. Construction 34
2. Verifications 43
Chapter 4. A Negative Result Concerning Effective Successor Models 59
1. Preparation: Some Complexity Calculations 59
2. More on Effective Models 60
3. Examples of a and U 61
Chapter 5. A Nonembedding Result 63
Chapter 6. Embedding the 1 3 1 Lattice 65
1. Preparation 65
2. The Embedding 66
Appendix A. Basics 79
Appendix B. The Jump 85
Appendix C. The Projectum 89
Appendix D. The Admissible Collapse 91
Appendix E. Prompt Permission 95
Appendix. Bibliography 97
V
|
| adam_txt |
Contents
Chapter 1. Introduction 1
1. The Results 4
Chapter 2. Coding Into the R.E. Degrees 9
1. The Coding 9
2. A Template for the Constructions 13
3. Various Constructions 25
Chapter 3. Coding Effective Successor Models 33
1. Construction 34
2. Verifications 43
Chapter 4. A Negative Result Concerning Effective Successor Models 59
1. Preparation: Some Complexity Calculations 59
2. More on Effective Models 60
3. Examples of a and U 61
Chapter 5. A Nonembedding Result 63
Chapter 6. Embedding the 1 3 1 Lattice 65
1. Preparation 65
2. The Embedding 66
Appendix A. Basics 79
Appendix B. The Jump 85
Appendix C. The Projectum 89
Appendix D. The Admissible Collapse 91
Appendix E. Prompt Permission 95
Appendix. Bibliography 97
V |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author | Greenberg, Noam 1974- |
| author_GND | (DE-588)173835864 |
| author_facet | Greenberg, Noam 1974- |
| author_role | aut |
| author_sort | Greenberg, Noam 1974- |
| author_variant | n g ng |
| building | Verbundindex |
| bvnumber | BV021567114 |
| callnumber-first | Q - Science |
| callnumber-label | QA3 |
| callnumber-raw | QA3 QA9.6 |
| callnumber-search | QA3 QA9.6 |
| callnumber-sort | QA 13 |
| callnumber-subject | QA - Mathematics |
| ctrlnum | (OCoLC)63108467 (DE-599)BVBBV021567114 |
| dewey-full | 510 511.3/5 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 510 - Mathematics 511 - General principles of mathematics |
| dewey-raw | 510 511.3/5 |
| dewey-search | 510 511.3/5 |
| dewey-sort | 3510 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| discipline_str_mv | Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02054nam a2200529 cb4500</leader><controlfield tag="001">BV021567114</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150326 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">060503s2006 xxud||| |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2006040677</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0821838857</subfield><subfield code="c">alk. paper</subfield><subfield code="9">0-8218-3885-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)63108467</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV021567114</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</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-355</subfield><subfield code="a">DE-29T</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">QA3</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.6</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">510</subfield><subfield code="2">22</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3/5</subfield><subfield code="2">22</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Greenberg, Noam</subfield><subfield code="d">1974-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)173835864</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The role of true finiteness in the admissible recursively enumerable degrees</subfield><subfield code="c">Noam Greenberg</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Providence, R.I.</subfield><subfield code="b">American Mathematical Society</subfield><subfield code="c">2006</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VI, 99 S.</subfield><subfield code="b">graph. Darst.</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">854</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">"Volume 181, number 854 (third of 5 numbers)."</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Eindigheid</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Lógica matemática</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Recursie</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Teoria da recursão</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Recursion theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Recursively enumerable sets</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Finite, The</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Rekursionstheorie</subfield><subfield code="0">(DE-588)4122329-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Rekursiv aufzählbare Menge</subfield><subfield code="0">(DE-588)4135763-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Rekursionstheorie</subfield><subfield code="0">(DE-588)4122329-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Rekursiv aufzählbare Menge</subfield><subfield code="0">(DE-588)4135763-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="C">b</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Memoirs of the American Mathematical Society</subfield><subfield code="v">854</subfield><subfield code="w">(DE-604)BV008000141</subfield><subfield code="9">854</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=014782981&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-014782981</subfield></datafield></record></collection> |
| id | DE-604.BV021567114 |
| illustrated | Illustrated |
| index_date | 2024-07-02T14:36:57Z |
| indexdate | 2024-07-09T20:38:48Z |
| institution | BVB |
| isbn | 0821838857 |
| language | English |
| lccn | 2006040677 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-014782981 |
| oclc_num | 63108467 |
| open_access_boolean | |
| owner | DE-355 DE-BY-UBR DE-29T DE-11 DE-188 DE-83 |
| owner_facet | DE-355 DE-BY-UBR DE-29T DE-11 DE-188 DE-83 |
| physical | VI, 99 S. graph. Darst. |
| publishDate | 2006 |
| publishDateSearch | 2006 |
| publishDateSort | 2006 |
| publisher | American Mathematical Society |
| record_format | marc |
| series | Memoirs of the American Mathematical Society |
| series2 | Memoirs of the American Mathematical Society |
| spelling | Greenberg, Noam 1974- Verfasser (DE-588)173835864 aut The role of true finiteness in the admissible recursively enumerable degrees Noam Greenberg Providence, R.I. American Mathematical Society 2006 VI, 99 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Memoirs of the American Mathematical Society 854 "Volume 181, number 854 (third of 5 numbers)." Includes bibliographical references Eindigheid gtt Lógica matemática larpcal Recursie gtt Teoria da recursão larpcal Recursion theory Recursively enumerable sets Finite, The Rekursionstheorie (DE-588)4122329-9 gnd rswk-swf Rekursiv aufzählbare Menge (DE-588)4135763-2 gnd rswk-swf Rekursionstheorie (DE-588)4122329-9 s Rekursiv aufzählbare Menge (DE-588)4135763-2 s b DE-604 Memoirs of the American Mathematical Society 854 (DE-604)BV008000141 854 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014782981&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Greenberg, Noam 1974- The role of true finiteness in the admissible recursively enumerable degrees Memoirs of the American Mathematical Society Eindigheid gtt Lógica matemática larpcal Recursie gtt Teoria da recursão larpcal Recursion theory Recursively enumerable sets Finite, The Rekursionstheorie (DE-588)4122329-9 gnd Rekursiv aufzählbare Menge (DE-588)4135763-2 gnd |
| subject_GND | (DE-588)4122329-9 (DE-588)4135763-2 |
| title | The role of true finiteness in the admissible recursively enumerable degrees |
| title_auth | The role of true finiteness in the admissible recursively enumerable degrees |
| title_exact_search | The role of true finiteness in the admissible recursively enumerable degrees |
| title_exact_search_txtP | The role of true finiteness in the admissible recursively enumerable degrees |
| title_full | The role of true finiteness in the admissible recursively enumerable degrees Noam Greenberg |
| title_fullStr | The role of true finiteness in the admissible recursively enumerable degrees Noam Greenberg |
| title_full_unstemmed | The role of true finiteness in the admissible recursively enumerable degrees Noam Greenberg |
| title_short | The role of true finiteness in the admissible recursively enumerable degrees |
| title_sort | the role of true finiteness in the admissible recursively enumerable degrees |
| topic | Eindigheid gtt Lógica matemática larpcal Recursie gtt Teoria da recursão larpcal Recursion theory Recursively enumerable sets Finite, The Rekursionstheorie (DE-588)4122329-9 gnd Rekursiv aufzählbare Menge (DE-588)4135763-2 gnd |
| topic_facet | Eindigheid Lógica matemática Recursie Teoria da recursão Recursion theory Recursively enumerable sets Finite, The Rekursionstheorie Rekursiv aufzählbare Menge |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014782981&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV008000141 |
| work_keys_str_mv | AT greenbergnoam theroleoftruefinitenessintheadmissiblerecursivelyenumerabledegrees |