Mathematical logic: a course with exercises 2 Recursion theory, Gödel's theorems, set theory, model theory
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Oxford [u.a.]
Oxford Univ. Press
2001
|
| Ausgabe: | 1. publ. in English |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XX, 331 S. graph. Darst. |
| ISBN: | 0198500513 0198500505 |
Internformat
MARC
| LEADER | 00000nam a2200000 cc4500 | ||
|---|---|---|---|
| 001 | BV014021639 | ||
| 003 | DE-604 | ||
| 005 | 20090617 | ||
| 007 | t | ||
| 008 | 011123s2001 d||| |||| 00||| eng d | ||
| 020 | |a 0198500513 |9 0-19-850051-3 | ||
| 020 | |a 0198500505 |9 0-19-850050-5 | ||
| 035 | |a (OCoLC)632877853 | ||
| 035 | |a (DE-599)BVBBV014021639 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T |a DE-355 |a DE-19 |a DE-11 | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 100 | 1 | |a Cori, René |e Verfasser |4 aut | |
| 240 | 1 | 0 | |a Logique mathématique |
| 245 | 1 | 0 | |a Mathematical logic |b a course with exercises |n 2 |p Recursion theory, Gödel's theorems, set theory, model theory |c René Cori and Daniel Lascar |
| 250 | |a 1. publ. in English | ||
| 264 | 1 | |a Oxford [u.a.] |b Oxford Univ. Press |c 2001 | |
| 300 | |a XX, 331 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 700 | 1 | |a Lascar, Daniel |e Verfasser |4 aut | |
| 773 | 0 | 8 | |w (DE-604)BV013052001 |g 2 |
| 856 | 4 | 2 | |m HEBIS Datenaustausch Darmstadt |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009601389&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-009601389 | ||
Datensatz im Suchindex
| _version_ | 1804128880773038080 |
|---|---|
| adam_text | MATHEMATICAL LOGIC A COURSE WITH EXERCISES PART II: RECURSION THEORY,
GODEL S THEOREMS, SET THEORY, MODEL THEORY RENE CORI AND DANIEL LASCAR
EQUIPE DE LOGIQUE MATHIMATIQUE UNIVERSITY PARIS VII TRANSLATED BY DONALD
H. PELLETIER YORK UNIVERSITY, TORONTO OXFORD UNIVBKMTY PKS8S CONTENTS
CONTENTS OF PART I XIV NOTES FROM THE TRANSLATOR XVII NOTES TO THE
READER XVIII INTRODUCTION 1 5 RECURSION THEORY 7 5.1 PRIMITIVE RECURSIVE
FUNCTIONS AND SETS 8 5.1.1 SOME INITIAL DEFINITIONS 8 5.1.2 EXAMPLES AND
CLOSURE PROPERTIES 10 5.1.3 CODING OF SEQUENCES 15 5.2 RECURSIVE
FUNCTIONS 18 5.2.1 ACKERMAN S FUNCTION 18 5.2.2 THE ^-OPERATOR AND THE
PARTIAL RECURSIVE FUNCTIONS 22 5.3 TURING MACHINES 25 5.3.1 DESCRIPTION
OF TURING MACHINES 25 5.3.2 R-COMPUTABLE FUNCTIONS 27 5.3.3 R-COMPUTABLE
PARTIAL FUNCTIONS ARE RECURSIVE 32 5.3.4 UNIVERSAL TURING MACHINES 36
5.4 RECURSIVELY ENUMERABLE SETS 40 5.4.1 RECURSIVE AND RECURSIVELY
ENUMERABLE SETS 40 5.4.2 THE HALTING PROBLEM 44 5.4.3 THE SMN THEORE M
46 5.4.4 THE FIXED POINT THEOREMS 50 5.5 EXERCISES FOR CHAPTER 5 54 6
FORMALIZATION OF ARITHMETIC, GODEL S THEOREMS 63 6.1 PEANO S AXIOMS 64
6.1.1 THE AXIOMS 64 6.1.2 THE ORDERING ON THE INTEGERS 69 6.2
REPRESENTABLE FUNCTIONS 73 6.3 ARITHMETIZATION OF SYNTAX 78 6.3.1 THE
CODING OF FORMULAS 78 6.3.2 THE CODING OF PROOFS 83 XU CONTENTS 6.4
INCOMPLETENESS AND UNDECIDABILITY THEOREMS 88 6.4.1 UNDECIDABILITY OF
ARITHMETIC AND PREDICATE CALCULUS 88 6.4.2 GODEL S INCOMPLETENESS
THEOREMS 90 6.5 EXERCISES FOR CHAPTER 6 100 7 SET THEORY 108 7.1 THE
THEORIES Z AND ZF 109 7.1.1 THE AXIOMS 109 7.1.2 ORDERED PAIRS,
RELATIONS, AND MAPS 116 7.2 ORDINAL NUMBERS AND INTEGERS 120 7.2.1
WELL-ORDERED SETS 120 7.2.2 THE ORDINALS 122 7.2.3 OPERATIONS ON ORDINAL
NUMBERS 129 7.2.4 THE INTEGERS 133 7.3 INDUCTIVE PROOFS AND DEFINITIONS
134 7.3.1 INDUCTION 134 7.3.2 THE AXIOM OF CHOICE 138 7.4 CARDINALITY
140 7.4.1 CARDINAL EQUIVALENCE CLASSES 140 7.4.2 OPERATIONS ON CARDINAL
EQUIVALENCE CLASSES 143 7.4.3 THE FINITE CARDINALS 146 7.4.4 COUNTABLE
SETS 148 7.4.5 THE CARDINAL NUMBERS 151 7.5 THE AXIOM OF FOUNDATION AND
THE REFLECTION SCHEMES 157 7.5.1 THE AXIOM OF FOUNDATION 157 7.5.2 SOME
RELATIVE CONSISTENCY RESULTS 160 7.5.3 INACCESSIBLE CARDINALS 164 7.5.4
THE REFLECTION SCHEME 166 7.6 EXERCISES FOR CHAPTER 7 171 8 SOME MODEL
THEORY 179 8.1 ELEMENTARY SUBSTRUCTURES AND EXTENSIONS 180 8.1.1
ELEMENTARY SUBSTRUCTURES 180 8.1.2 THE TARSKI-VAUGHT TEST 183 8.2
CONSTRUCTION OF ELEMENTARY EXTENSIONS 186 8.2.1 ELEMENTARY MAPS 186
8.2.2 THE METHOD OF DIAGRAMS 187 8.3 THE INTERPOLATION AND DEFINABILITY
THEOREMS 193 8.4 REDUCED PRODUCTS AND ULTRAPRODUCTS 199 8.5 PRESERVATION
THEOREMS 205 8.5.1 PRESERVATION BY SUBSTRUCTURES 205 8.5.2 PRESERVATION
BY UNIONS OF CHAINS 208 8.5.3 PRESERVATION BY REDUCED PRODUCTS 211
CONTENTS XIIL 8.6 KO-CATEGORICAL THEORIES 217 8.6.1 THE OMITTING TYPES
THEOREM 217 8.6.2 KO-CATEGORICAL STRUCTURES 222 8.7 EXERCISES FOR
CHAPTER 8 229 SOLUTIONS TO THE EXERCISES OF PART II CHAPTER 5 240
CHAPTER 6 260 CHAPTER 7 277 CHAPTER 8 298 BIBLIOGRAPHY 325 INDEX 327
|
| any_adam_object | 1 |
| author | Cori, René Lascar, Daniel |
| author_facet | Cori, René Lascar, Daniel |
| author_role | aut aut |
| author_sort | Cori, René |
| author_variant | r c rc d l dl |
| building | Verbundindex |
| bvnumber | BV014021639 |
| classification_rvk | SK 130 |
| ctrlnum | (OCoLC)632877853 (DE-599)BVBBV014021639 |
| discipline | Mathematik |
| edition | 1. publ. in English |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01325nam a2200337 cc4500</leader><controlfield tag="001">BV014021639</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090617 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">011123s2001 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0198500513</subfield><subfield code="9">0-19-850051-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0198500505</subfield><subfield code="9">0-19-850050-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)632877853</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV014021639</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="049" ind1=" " ind2=" "><subfield code="a">DE-29T</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-11</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="100" ind1="1" ind2=" "><subfield code="a">Cori, René</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="240" ind1="1" ind2="0"><subfield code="a">Logique mathématique</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Mathematical logic</subfield><subfield code="b">a course with exercises</subfield><subfield code="n">2</subfield><subfield code="p">Recursion theory, Gödel's theorems, set theory, model theory</subfield><subfield code="c">René Cori and Daniel Lascar</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ. in English</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Oxford [u.a.]</subfield><subfield code="b">Oxford Univ. Press</subfield><subfield code="c">2001</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XX, 331 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="700" ind1="1" ind2=" "><subfield code="a">Lascar, Daniel</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="w">(DE-604)BV013052001</subfield><subfield code="g">2</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS Datenaustausch Darmstadt</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=009601389&sequence=000001&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-009601389</subfield></datafield></record></collection> |
| id | DE-604.BV014021639 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:56:17Z |
| institution | BVB |
| isbn | 0198500513 0198500505 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009601389 |
| oclc_num | 632877853 |
| open_access_boolean | |
| owner | DE-29T DE-355 DE-BY-UBR DE-19 DE-BY-UBM DE-11 |
| owner_facet | DE-29T DE-355 DE-BY-UBR DE-19 DE-BY-UBM DE-11 |
| physical | XX, 331 S. graph. Darst. |
| publishDate | 2001 |
| publishDateSearch | 2001 |
| publishDateSort | 2001 |
| publisher | Oxford Univ. Press |
| record_format | marc |
| spelling | Cori, René Verfasser aut Logique mathématique Mathematical logic a course with exercises 2 Recursion theory, Gödel's theorems, set theory, model theory René Cori and Daniel Lascar 1. publ. in English Oxford [u.a.] Oxford Univ. Press 2001 XX, 331 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lascar, Daniel Verfasser aut (DE-604)BV013052001 2 HEBIS Datenaustausch Darmstadt application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009601389&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Cori, René Lascar, Daniel Mathematical logic a course with exercises |
| title | Mathematical logic a course with exercises |
| title_alt | Logique mathématique |
| title_auth | Mathematical logic a course with exercises |
| title_exact_search | Mathematical logic a course with exercises |
| title_full | Mathematical logic a course with exercises 2 Recursion theory, Gödel's theorems, set theory, model theory René Cori and Daniel Lascar |
| title_fullStr | Mathematical logic a course with exercises 2 Recursion theory, Gödel's theorems, set theory, model theory René Cori and Daniel Lascar |
| title_full_unstemmed | Mathematical logic a course with exercises 2 Recursion theory, Gödel's theorems, set theory, model theory René Cori and Daniel Lascar |
| title_short | Mathematical logic |
| title_sort | mathematical logic a course with exercises recursion theory godel s theorems set theory model theory |
| title_sub | a course with exercises |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009601389&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV013052001 |
| work_keys_str_mv | AT corirene logiquemathematique AT lascardaniel logiquemathematique AT corirene mathematicallogicacoursewithexercises2 AT lascardaniel mathematicallogicacoursewithexercises2 |