Elements of mathematical logic: (model theory)
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam
North-Holland
1971
|
| Ausgabe: | 2., rev. print. |
| Schriftenreihe: | Studies in logic and the foundations of mathematics
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XVII, 231 S. |
| ISBN: | 0720422655 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV005708052 | ||
| 003 | DE-604 | ||
| 005 | 20050427 | ||
| 007 | t | ||
| 008 | 921028s1971 |||| 00||| eng d | ||
| 020 | |a 0720422655 |9 0-7204-2265-5 | ||
| 035 | |a (OCoLC)520058 | ||
| 035 | |a (DE-599)BVBBV005708052 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-703 |a DE-355 |a DE-20 |a DE-M468 |a DE-83 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a QA9 | |
| 082 | 0 | |a 510.1 | |
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a 03-01 |2 msc | ||
| 100 | 1 | |a Kreisel, Georg |d 1923-2015 |e Verfasser |0 (DE-588)119528592 |4 aut | |
| 245 | 1 | 0 | |a Elements of mathematical logic |b (model theory) |c G. Kreisel ; J. L. Krivine |
| 250 | |a 2., rev. print. | ||
| 264 | 1 | |a Amsterdam |b North-Holland |c 1971 | |
| 300 | |a XVII, 231 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Studies in logic and the foundations of mathematics | |
| 650 | 4 | |a Logique symbolique et mathématique | |
| 650 | 4 | |a Modèles mathématiques | |
| 650 | 4 | |a Modèles, Théorie des | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Grundlage |0 (DE-588)4158388-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Modelltheorie |0 (DE-588)4114617-7 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | 1 | |a Grundlage |0 (DE-588)4158388-7 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 689 | 1 | 0 | |a Modelltheorie |0 (DE-588)4114617-7 |D s |
| 689 | 1 | |8 2\p |5 DE-604 | |
| 700 | 1 | |a Krivine, Jean-Louis |e Verfasser |4 aut | |
| 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=003565793&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 940 | 1 | |q HUB-ZB011201002 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-003565793 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804119894560604160 |
|---|---|
| adam_text | CONTENTS
page
0. Preliminaries : Definition schemas 1
1. Propositional calculus 4
Exercises 8
2. Predicate calculus 15
Exercises 29
3. Predicate calculus with equality 34
Exercises 41
4. Elimination of quantifiers 49
Dense orders with first and last element 51
Discrete orders without first or last element 53
Some commutative groups with discrete total orderings ... 54
Algebraically closed fields 57
Real closed fields 60
Seperable Boolean rings 65
Exercises 71
5. Predicate calculus with several types of objects: the
hierarchy of finite types 80
Predicate calculus with equality, with k types of objects, without
function symbols 89
Predicate calculus with equality, with k types of objects, including
function symbols 93
Finite type structure 95
Hierarchy of finite types ... 96
Principal models 98
Exercises 101
xvi contents
6. Definability 115
Invariance and stability 116
Invariance and stability: hierarchy of finite types 118
Rigidity 120
Definability in C realizations 122
Exercises 125
7. Principal models: models of infinite formulas .... 136
Principal models: formulas of finite order 137
Principal models: some formulas of second order .... 140
Infinite formulas which define finitary relations 142
Countable languages: countable sets of infinite formulas . . 144
Exercises 145
Appendix i. The axiomatic method 154
Appendix ii. Foundations of mathematics 160
Part A. Set theoretic semantic foundations 170
1. Analysis of intuitive mathematics in set theoretic terms 171
Intuitive notion of ordinal 174
2. Formulation of laws for the basic set theoretic notions 175
Zermelo s axioms 180
Simple incompleteness results 181
Godel s incompleteness theorem 183
3. New axioms for the set theoretic notions: axioms of
infinity 192
4. Analysis of the intuitive notion of logical validity . . 195
First order languages: Godel s completeness theorem . 195
Second order languages 196
A privileged position for finite first order formulas and
first order consequence? 197
Part B. Combinatorial foundations 203
0. Combinatorial reasoning 205
Translation into set theoretic terms 212
CONTENTS XVII
1. Analysis of intuitive mathematics in combinatorial terms 214
Hilbert s consistency problem 215
Positive results on Hilbert s problem 217
2. Formulation of laws for the basic combinatorial notions 220
Incompleteness results 222
Consequences for Hilbert s problem 223
3. Developments of the theory 224
4. Critical discussion 226
Defects of doctrinaire foundations 227
Defects of crude formalism 228
Open problems 229
5. Current directions of research 229
Part C. Semantic versus syntactic (combinatorial) introduction
mathematical logic 232
|
| any_adam_object | 1 |
| author | Kreisel, Georg 1923-2015 Krivine, Jean-Louis |
| author_GND | (DE-588)119528592 |
| author_facet | Kreisel, Georg 1923-2015 Krivine, Jean-Louis |
| author_role | aut aut |
| author_sort | Kreisel, Georg 1923-2015 |
| author_variant | g k gk j l k jlk |
| building | Verbundindex |
| bvnumber | BV005708052 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9 |
| callnumber-search | QA9 |
| callnumber-sort | QA 19 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | CC 2600 SK 130 |
| ctrlnum | (OCoLC)520058 (DE-599)BVBBV005708052 |
| dewey-full | 510.1 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 510 - Mathematics |
| dewey-raw | 510.1 |
| dewey-search | 510.1 |
| dewey-sort | 3510.1 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik Philosophie |
| edition | 2., rev. print. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02137nam a2200541 c 4500</leader><controlfield tag="001">BV005708052</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20050427 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">921028s1971 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0720422655</subfield><subfield code="9">0-7204-2265-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)520058</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV005708052</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-703</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-M468</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</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">510.1</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</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">03-01</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Kreisel, Georg</subfield><subfield code="d">1923-2015</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)119528592</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Elements of mathematical logic</subfield><subfield code="b">(model theory)</subfield><subfield code="c">G. Kreisel ; J. L. Krivine</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2., rev. print.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">North-Holland</subfield><subfield code="c">1971</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVII, 231 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="0" ind2=" "><subfield code="a">Studies in logic and the foundations of mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique symbolique et mathématique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Modèles mathématiques</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Modèles, Théorie des</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Grundlage</subfield><subfield code="0">(DE-588)4158388-7</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="689" ind1="0" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Grundlage</subfield><subfield code="0">(DE-588)4158388-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Modelltheorie</subfield><subfield code="0">(DE-588)4114617-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Krivine, Jean-Louis</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</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=003565793&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">HUB-ZB011201002</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-003565793</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| id | DE-604.BV005708052 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T16:33:27Z |
| institution | BVB |
| isbn | 0720422655 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-003565793 |
| oclc_num | 520058 |
| open_access_boolean | |
| owner | DE-703 DE-355 DE-BY-UBR DE-20 DE-M468 DE-83 DE-11 DE-188 |
| owner_facet | DE-703 DE-355 DE-BY-UBR DE-20 DE-M468 DE-83 DE-11 DE-188 |
| physical | XVII, 231 S. |
| psigel | HUB-ZB011201002 |
| publishDate | 1971 |
| publishDateSearch | 1971 |
| publishDateSort | 1971 |
| publisher | North-Holland |
| record_format | marc |
| series2 | Studies in logic and the foundations of mathematics |
| spelling | Kreisel, Georg 1923-2015 Verfasser (DE-588)119528592 aut Elements of mathematical logic (model theory) G. Kreisel ; J. L. Krivine 2., rev. print. Amsterdam North-Holland 1971 XVII, 231 S. txt rdacontent n rdamedia nc rdacarrier Studies in logic and the foundations of mathematics Logique symbolique et mathématique Modèles mathématiques Modèles, Théorie des Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Grundlage (DE-588)4158388-7 gnd rswk-swf Modelltheorie (DE-588)4114617-7 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 s Grundlage (DE-588)4158388-7 s 1\p DE-604 Modelltheorie (DE-588)4114617-7 s 2\p DE-604 Krivine, Jean-Louis Verfasser aut HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003565793&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Kreisel, Georg 1923-2015 Krivine, Jean-Louis Elements of mathematical logic (model theory) Logique symbolique et mathématique Modèles mathématiques Modèles, Théorie des Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd Grundlage (DE-588)4158388-7 gnd Modelltheorie (DE-588)4114617-7 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4158388-7 (DE-588)4114617-7 |
| title | Elements of mathematical logic (model theory) |
| title_auth | Elements of mathematical logic (model theory) |
| title_exact_search | Elements of mathematical logic (model theory) |
| title_full | Elements of mathematical logic (model theory) G. Kreisel ; J. L. Krivine |
| title_fullStr | Elements of mathematical logic (model theory) G. Kreisel ; J. L. Krivine |
| title_full_unstemmed | Elements of mathematical logic (model theory) G. Kreisel ; J. L. Krivine |
| title_short | Elements of mathematical logic |
| title_sort | elements of mathematical logic model theory |
| title_sub | (model theory) |
| topic | Logique symbolique et mathématique Modèles mathématiques Modèles, Théorie des Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd Grundlage (DE-588)4158388-7 gnd Modelltheorie (DE-588)4114617-7 gnd |
| topic_facet | Logique symbolique et mathématique Modèles mathématiques Modèles, Théorie des Logic, Symbolic and mathematical Mathematische Logik Grundlage Modelltheorie |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003565793&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT kreiselgeorg elementsofmathematicallogicmodeltheory AT krivinejeanlouis elementsofmathematicallogicmodeltheory |