Aspects of incompleteness:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
1997
|
| Series: | Lecture notes in logic
10 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | X, 132 S. |
| ISBN: | 3540632131 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV011386440 | ||
| 003 | DE-604 | ||
| 005 | 20100702 | ||
| 007 | t | ||
| 008 | 970610s1997 gw |||| 00||| eng d | ||
| 016 | 7 | |a 950582115 |2 DE-101 | |
| 020 | |a 3540632131 |9 3-540-63213-1 | ||
| 035 | |a (OCoLC)37220735 | ||
| 035 | |a (DE-599)BVBBV011386440 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-91G |a DE-739 |a DE-19 |a DE-706 |a DE-634 |a DE-83 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a QA9.65 | |
| 082 | 0 | |a 511.3 |2 21 | |
| 084 | |a CC 2500 |0 (DE-625)17609: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a MAT 030f |2 stub | ||
| 100 | 1 | |a Lindström, Per |d 1936-2009 |e Verfasser |0 (DE-588)115434836 |4 aut | |
| 245 | 1 | 0 | |a Aspects of incompleteness |c Per Lindström |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1997 | |
| 300 | |a X, 132 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in logic |v 10 | |
| 650 | 7 | |a Bewijstheorie |2 gtt | |
| 650 | 7 | |a Onvolledigheidsstelling |2 gtt | |
| 650 | 4 | |a Recursivité, Théorie de la | |
| 650 | 4 | |a Théorèmes d'incomplétude | |
| 650 | 4 | |a Incompleteness theorems | |
| 650 | 4 | |a Recursion theory | |
| 650 | 0 | 7 | |a Rekursionstheorie |0 (DE-588)4122329-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Gödelscher Unvollständigkeitssatz |0 (DE-588)4021417-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Peano-Arithmetik |0 (DE-588)4290970-3 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Gödelscher Unvollständigkeitssatz |0 (DE-588)4021417-5 |D s |
| 689 | 0 | 1 | |a Peano-Arithmetik |0 (DE-588)4290970-3 |D s |
| 689 | 0 | 2 | |a Rekursionstheorie |0 (DE-588)4122329-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 830 | 0 | |a Lecture notes in logic |v 10 |w (DE-604)BV008909514 |9 10 | |
| 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=007653094&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007653094 | ||
Record in the Search Index
| _version_ | 1804125898296786944 |
|---|---|
| adam_text | CONTENTS
CHAPTER 0. Introduction 1
CHAPTER 1. Preliminaries 5
Exercises 20
Notes 22
CHAPTER 2. Incompleteness 23
§1. Incompleteness 23
§2. Consistency statements 25
§3. Independent formulas 31
§4. The length of proofs 33
Exercises 35
Notes 40
CHAPTER 3. Numerations of r.e. sets 42
§1. Numerations of r.e. sets 42
§2. Types of independence 45
Exercises 50
Notes 51
CHAPTER 4. Axiomatizations 52
§1. Finite and bounded axiomatizability; reflection principles 52
§2. Irredundant axiomatizability 57
Exercises 59
Notes 61
CHAPTER 5. Partial conservativity 62
Exercises 70
Notes 73
CHAPTER 6. Interpretability 75
§1. Interpretability 75
§2. Faithful interpretability 84
Exercises 88
Notes 91
CHAPTER 7. Degrees of interpretabilty 94
§1. Algebraic properties 94
§2. A classification of degrees 102
x Contents
§3. lx and na degrees 104
Exercises 114
Notes 117
CHAPTER 8. Generalizations 119
§1. Incompleteness 119
§2. Axiomatizations 121
§3. Interpretability 122
Notes 124
REFERENCES 125
INDEX 130
NOTATION 132
|
| any_adam_object | 1 |
| author | Lindström, Per 1936-2009 |
| author_GND | (DE-588)115434836 |
| author_facet | Lindström, Per 1936-2009 |
| author_role | aut |
| author_sort | Lindström, Per 1936-2009 |
| author_variant | p l pl |
| building | Verbundindex |
| bvnumber | BV011386440 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.65 |
| callnumber-search | QA9.65 |
| callnumber-sort | QA 19.65 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | CC 2500 SK 130 |
| classification_tum | MAT 030f |
| ctrlnum | (OCoLC)37220735 (DE-599)BVBBV011386440 |
| 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 Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02016nam a2200529 cb4500</leader><controlfield tag="001">BV011386440</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100702 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">970610s1997 gw |||| 00||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">950582115</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540632131</subfield><subfield code="9">3-540-63213-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)37220735</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011386440</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-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-706</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.65</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2500</subfield><subfield code="0">(DE-625)17609:</subfield><subfield code="2">rvk</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">MAT 030f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Lindström, Per</subfield><subfield code="d">1936-2009</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)115434836</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Aspects of incompleteness</subfield><subfield code="c">Per Lindström</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1997</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 132 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">10</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Bewijstheorie</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Onvolledigheidsstelling</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Recursivité, Théorie de la</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Théorèmes d'incomplétude</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Incompleteness theorems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Recursion theory</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">Gödelscher Unvollständigkeitssatz</subfield><subfield code="0">(DE-588)4021417-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Peano-Arithmetik</subfield><subfield code="0">(DE-588)4290970-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Gödelscher Unvollständigkeitssatz</subfield><subfield code="0">(DE-588)4021417-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Peano-Arithmetik</subfield><subfield code="0">(DE-588)4290970-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in logic</subfield><subfield code="v">10</subfield><subfield code="w">(DE-604)BV008909514</subfield><subfield code="9">10</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=007653094&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-007653094</subfield></datafield></record></collection> |
| id | DE-604.BV011386440 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:08:52Z |
| institution | BVB |
| isbn | 3540632131 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007653094 |
| oclc_num | 37220735 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-739 DE-19 DE-BY-UBM DE-706 DE-634 DE-83 DE-11 DE-188 |
| owner_facet | DE-91G DE-BY-TUM DE-739 DE-19 DE-BY-UBM DE-706 DE-634 DE-83 DE-11 DE-188 |
| physical | X, 132 S. |
| publishDate | 1997 |
| publishDateSearch | 1997 |
| publishDateSort | 1997 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in logic |
| series2 | Lecture notes in logic |
| spelling | Lindström, Per 1936-2009 Verfasser (DE-588)115434836 aut Aspects of incompleteness Per Lindström Berlin [u.a.] Springer 1997 X, 132 S. txt rdacontent n rdamedia nc rdacarrier Lecture notes in logic 10 Bewijstheorie gtt Onvolledigheidsstelling gtt Recursivité, Théorie de la Théorèmes d'incomplétude Incompleteness theorems Recursion theory Rekursionstheorie (DE-588)4122329-9 gnd rswk-swf Gödelscher Unvollständigkeitssatz (DE-588)4021417-5 gnd rswk-swf Peano-Arithmetik (DE-588)4290970-3 gnd rswk-swf Gödelscher Unvollständigkeitssatz (DE-588)4021417-5 s Peano-Arithmetik (DE-588)4290970-3 s Rekursionstheorie (DE-588)4122329-9 s DE-604 Lecture notes in logic 10 (DE-604)BV008909514 10 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007653094&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Lindström, Per 1936-2009 Aspects of incompleteness Lecture notes in logic Bewijstheorie gtt Onvolledigheidsstelling gtt Recursivité, Théorie de la Théorèmes d'incomplétude Incompleteness theorems Recursion theory Rekursionstheorie (DE-588)4122329-9 gnd Gödelscher Unvollständigkeitssatz (DE-588)4021417-5 gnd Peano-Arithmetik (DE-588)4290970-3 gnd |
| subject_GND | (DE-588)4122329-9 (DE-588)4021417-5 (DE-588)4290970-3 |
| title | Aspects of incompleteness |
| title_auth | Aspects of incompleteness |
| title_exact_search | Aspects of incompleteness |
| title_full | Aspects of incompleteness Per Lindström |
| title_fullStr | Aspects of incompleteness Per Lindström |
| title_full_unstemmed | Aspects of incompleteness Per Lindström |
| title_short | Aspects of incompleteness |
| title_sort | aspects of incompleteness |
| topic | Bewijstheorie gtt Onvolledigheidsstelling gtt Recursivité, Théorie de la Théorèmes d'incomplétude Incompleteness theorems Recursion theory Rekursionstheorie (DE-588)4122329-9 gnd Gödelscher Unvollständigkeitssatz (DE-588)4021417-5 gnd Peano-Arithmetik (DE-588)4290970-3 gnd |
| topic_facet | Bewijstheorie Onvolledigheidsstelling Recursivité, Théorie de la Théorèmes d'incomplétude Incompleteness theorems Recursion theory Rekursionstheorie Gödelscher Unvollständigkeitssatz Peano-Arithmetik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007653094&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV008909514 |
| work_keys_str_mv | AT lindstromper aspectsofincompleteness |