Subrecursion: functions and hierarchies
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Oxford [u.a.]
Clarendon Press
1984
|
| Series: | Oxford logic guides
9 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XIII, 189 S. |
| ISBN: | 0198531893 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV002036936 | ||
| 003 | DE-604 | ||
| 005 | 20130418 | ||
| 007 | t | ||
| 008 | 890928s1984 |||| 00||| eng d | ||
| 020 | |a 0198531893 |9 0-19-853189-3 | ||
| 035 | |a (OCoLC)9830850 | ||
| 035 | |a (DE-599)BVBBV002036936 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-384 |a DE-739 |a DE-29T |a DE-19 |a DE-83 |a DE-188 |a DE-11 | ||
| 050 | 0 | |a QA9.615 | |
| 082 | 0 | |a 511.3/3 |2 19 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a DAT 542f |2 stub | ||
| 084 | |a 03D20 |2 msc | ||
| 100 | 1 | |a Rose, Harvey E. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Subrecursion |b functions and hierarchies |c H. E. Rose |
| 264 | 1 | |a Oxford [u.a.] |b Clarendon Press |c 1984 | |
| 300 | |a XIII, 189 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Oxford logic guides |v 9 | |
| 650 | 7 | |a Exercice logique |2 Jussieu | |
| 650 | 7 | |a Fonction récursive |2 Jussieu | |
| 650 | 4 | |a Fonctions calculables | |
| 650 | 7 | |a Fonctions calculables |2 ram | |
| 650 | 4 | |a Fonctions récursives | |
| 650 | 7 | |a Fonctions récursives |2 ram | |
| 650 | 7 | |a Histoire logique |2 Jussieu | |
| 650 | 7 | |a Recursieve functies |2 gtt | |
| 650 | 4 | |a Récursivité, Théorie de la - Hiérarchies | |
| 650 | 7 | |a Récursivité, Théorie de la |2 ram | |
| 650 | 4 | |a Computable functions | |
| 650 | 4 | |a Recursion theory |x Hierarchies | |
| 650 | 4 | |a Recursive functions | |
| 650 | 0 | 7 | |a Rekursionstheorie |0 (DE-588)4122329-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Rekursive Funktion |0 (DE-588)4138367-9 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Rekursive Funktion |0 (DE-588)4138367-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Rekursionstheorie |0 (DE-588)4122329-9 |D s |
| 689 | 1 | |5 DE-604 | |
| 830 | 0 | |a Oxford logic guides |v 9 |w (DE-604)BV000013997 |9 9 | |
| 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=001331828&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 940 | 1 | |q TUB-www | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-001331828 | ||
Record in the Search Index
| _version_ | 1804116487135297536 |
|---|---|
| adam_text | CONTENTS
Introduction xi
1 The basic functions and definition schemes 1
1. The basic functions 1
2. The elementary functions 3
3. Primitive recursion and some generalizations 10
4. Elimination of parameters 17
5. Examples 1 25
2 Hierarchy theory 29
1. Historical introduction 29
2. Grzegorczyk s original hierarchy 31
3. The basic framework for hierarchy theory 37
4. The hierarchy {^% ae A} 44
5. Hierarchies based on enumeration 48
6. Examples 2 55
3 Ordinal and nested recursion 57
1. Ordinal recursion 57
2. The ordering * 60
3. Nested recursion 62
4. Examples 3 75
4 The extended Grzegorczyk hierarchy 77
1. The Grzegorczyk and Hardy hierarchies 78
2. A system of notation for ordinals less than e0 85
3. The relationship between the main hierarchies 89
4. The class S* 96
5. Examples 4 108
5 The small classes 110
1. Review of the primitive recursive hierarchies 111
2. The small Grzegorczyk type classes 116
3. The small relational classes 121
4. Polynomial time 126
5. Machine versus recursive classes 132
6. The spectral problem 134
7. Examples 5 135
x CONTENTS
6 Sa arithmetic 137
1. Codification of tf2 arithmetic 139
2. Codification of arithmetic 148
3. Consistency of ^ arithmetic 149
4. The Godel incompleteness theorems 159
5. Examples 6 163
7 Transfinite induction 165
1. Some generalizations of the basic induction scheme 165
2. Inductions in Sa arithmetic—Part 1 168
3. Inductions in ^ arithmetic—Part 2 174
4. The Paris Harrington independence results 178
5. Examples 7 181
References 183
Index of notation 187
General index 190
|
| any_adam_object | 1 |
| author | Rose, Harvey E. |
| author_facet | Rose, Harvey E. |
| author_role | aut |
| author_sort | Rose, Harvey E. |
| author_variant | h e r he her |
| building | Verbundindex |
| bvnumber | BV002036936 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.615 |
| callnumber-search | QA9.615 |
| callnumber-sort | QA 19.615 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SK 130 |
| classification_tum | DAT 542f |
| ctrlnum | (OCoLC)9830850 (DE-599)BVBBV002036936 |
| dewey-full | 511.3/3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3/3 |
| dewey-search | 511.3/3 |
| dewey-sort | 3511.3 13 |
| dewey-tens | 510 - Mathematics |
| discipline | Informatik Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02136nam a2200589 cb4500</leader><controlfield tag="001">BV002036936</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20130418 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">890928s1984 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0198531893</subfield><subfield code="9">0-19-853189-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)9830850</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV002036936</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="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.615</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3/3</subfield><subfield code="2">19</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">DAT 542f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03D20</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Rose, Harvey E.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Subrecursion</subfield><subfield code="b">functions and hierarchies</subfield><subfield code="c">H. E. Rose</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Oxford [u.a.]</subfield><subfield code="b">Clarendon Press</subfield><subfield code="c">1984</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 189 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">Oxford logic guides</subfield><subfield code="v">9</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Exercice logique</subfield><subfield code="2">Jussieu</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Fonction récursive</subfield><subfield code="2">Jussieu</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Fonctions calculables</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Fonctions calculables</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Fonctions récursives</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Fonctions récursives</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Histoire logique</subfield><subfield code="2">Jussieu</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Recursieve functies</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Récursivité, Théorie de la - Hiérarchies</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Récursivité, Théorie de la</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computable functions</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Recursion theory</subfield><subfield code="x">Hierarchies</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Recursive functions</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">Rekursive Funktion</subfield><subfield code="0">(DE-588)4138367-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Rekursive Funktion</subfield><subfield code="0">(DE-588)4138367-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Oxford logic guides</subfield><subfield code="v">9</subfield><subfield code="w">(DE-604)BV000013997</subfield><subfield code="9">9</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=001331828&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">TUB-www</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001331828</subfield></datafield></record></collection> |
| id | DE-604.BV002036936 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T15:39:17Z |
| institution | BVB |
| isbn | 0198531893 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001331828 |
| oclc_num | 9830850 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-384 DE-739 DE-29T DE-19 DE-BY-UBM DE-83 DE-188 DE-11 |
| owner_facet | DE-91G DE-BY-TUM DE-384 DE-739 DE-29T DE-19 DE-BY-UBM DE-83 DE-188 DE-11 |
| physical | XIII, 189 S. |
| psigel | TUB-www |
| publishDate | 1984 |
| publishDateSearch | 1984 |
| publishDateSort | 1984 |
| publisher | Clarendon Press |
| record_format | marc |
| series | Oxford logic guides |
| series2 | Oxford logic guides |
| spelling | Rose, Harvey E. Verfasser aut Subrecursion functions and hierarchies H. E. Rose Oxford [u.a.] Clarendon Press 1984 XIII, 189 S. txt rdacontent n rdamedia nc rdacarrier Oxford logic guides 9 Exercice logique Jussieu Fonction récursive Jussieu Fonctions calculables Fonctions calculables ram Fonctions récursives Fonctions récursives ram Histoire logique Jussieu Recursieve functies gtt Récursivité, Théorie de la - Hiérarchies Récursivité, Théorie de la ram Computable functions Recursion theory Hierarchies Recursive functions Rekursionstheorie (DE-588)4122329-9 gnd rswk-swf Rekursive Funktion (DE-588)4138367-9 gnd rswk-swf Rekursive Funktion (DE-588)4138367-9 s DE-604 Rekursionstheorie (DE-588)4122329-9 s Oxford logic guides 9 (DE-604)BV000013997 9 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001331828&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Rose, Harvey E. Subrecursion functions and hierarchies Oxford logic guides Exercice logique Jussieu Fonction récursive Jussieu Fonctions calculables Fonctions calculables ram Fonctions récursives Fonctions récursives ram Histoire logique Jussieu Recursieve functies gtt Récursivité, Théorie de la - Hiérarchies Récursivité, Théorie de la ram Computable functions Recursion theory Hierarchies Recursive functions Rekursionstheorie (DE-588)4122329-9 gnd Rekursive Funktion (DE-588)4138367-9 gnd |
| subject_GND | (DE-588)4122329-9 (DE-588)4138367-9 |
| title | Subrecursion functions and hierarchies |
| title_auth | Subrecursion functions and hierarchies |
| title_exact_search | Subrecursion functions and hierarchies |
| title_full | Subrecursion functions and hierarchies H. E. Rose |
| title_fullStr | Subrecursion functions and hierarchies H. E. Rose |
| title_full_unstemmed | Subrecursion functions and hierarchies H. E. Rose |
| title_short | Subrecursion |
| title_sort | subrecursion functions and hierarchies |
| title_sub | functions and hierarchies |
| topic | Exercice logique Jussieu Fonction récursive Jussieu Fonctions calculables Fonctions calculables ram Fonctions récursives Fonctions récursives ram Histoire logique Jussieu Recursieve functies gtt Récursivité, Théorie de la - Hiérarchies Récursivité, Théorie de la ram Computable functions Recursion theory Hierarchies Recursive functions Rekursionstheorie (DE-588)4122329-9 gnd Rekursive Funktion (DE-588)4138367-9 gnd |
| topic_facet | Exercice logique Fonction récursive Fonctions calculables Fonctions récursives Histoire logique Recursieve functies Récursivité, Théorie de la - Hiérarchies Récursivité, Théorie de la Computable functions Recursion theory Hierarchies Recursive functions Rekursionstheorie Rekursive Funktion |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001331828&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000013997 |
| work_keys_str_mv | AT roseharveye subrecursionfunctionsandhierarchies |