Mathematical logic in the 20th century:
Gespeichert in:
| Format: | Elektronisch E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Singapore
Singapore University Press
©2003
|
| Schlagworte: | |
| Online-Zugang: | FAW01 FAW02 Volltext |
| Beschreibung: | Includes bibliographical references This invaluable book is a collection of 31 important both inideas and results papers published by mathematical logicians inthe 20th Century. The papers have been selected by Professor Gerald ESacks. Some of the authors are Gdel, Kleene, Tarski, A Robinson, Kreisel, Cohen, Morley, Shelah, Hrushovski and Woodin THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS; THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS, II*; MARGINALIA TO A THEOREM OF SILVER; THREE THEOREMS ON RECURSIVE ENUMERATION. I. DECOMPOSITION. II. MAXIMAL SET. III. ENUMERATION WITHOUT DUPLICATION; HIGHER SET THEORY AND MATHEMATICAL PRACTICE *; INTRODUCTION TO -LOGIC; CONSISTENCY-PROOF FOR THE GENERALIZED CONTINUUM-HYPOTHESIS¹; THE MORDELL-LANG CONJECTURE FOR FUNCTION FIELDS; MODEL-THEORETIC INVARIANTS: APPLICATIONS TO RECURSIVE AND HYPERARITHMETIC OPERATIONS; RECURSIVE FUNCTIONALS AND QUANTIFIERS OF FINITE TYPES I. |
| Beschreibung: | 1 Online-Ressource (xiii, 693 pages) |
| ISBN: | 1281876941 9781281876942 9789810247362 9789812564894 9810247362 9812564896 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV043138510 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151126s2003 |||| o||u| ||||||eng d | ||
| 020 | |a 1281876941 |9 1-281-87694-1 | ||
| 020 | |a 9781281876942 |9 978-1-281-87694-2 | ||
| 020 | |a 9789810247362 |9 978-981-02-4736-2 | ||
| 020 | |a 9789812564894 |c electronic bk. |9 978-981-256-489-4 | ||
| 020 | |a 9810247362 |9 981-02-4736-2 | ||
| 020 | |a 9810247362 |9 981-02-4736-2 | ||
| 020 | |a 9812564896 |c electronic bk. |9 981-256-489-6 | ||
| 035 | |a (OCoLC)62715985 | ||
| 035 | |a (DE-599)BVBBV043138510 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 |a DE-1047 | ||
| 082 | 0 | |a 511.3 |2 22 | |
| 245 | 1 | 0 | |a Mathematical logic in the 20th century |c [edited by] Gerald E. Sacks |
| 246 | 1 | 3 | |a Mathematical logic in the twentieth century |
| 264 | 1 | |a Singapore |b Singapore University Press |c ©2003 | |
| 300 | |a 1 Online-Ressource (xiii, 693 pages) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a Includes bibliographical references | ||
| 500 | |a This invaluable book is a collection of 31 important both inideas and results papers published by mathematical logicians inthe 20th Century. The papers have been selected by Professor Gerald ESacks. Some of the authors are Gdel, Kleene, Tarski, A Robinson, Kreisel, Cohen, Morley, Shelah, Hrushovski and Woodin | ||
| 500 | |a THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS; THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS, II*; MARGINALIA TO A THEOREM OF SILVER; THREE THEOREMS ON RECURSIVE ENUMERATION. I. DECOMPOSITION. II. MAXIMAL SET. III. ENUMERATION WITHOUT DUPLICATION; HIGHER SET THEORY AND MATHEMATICAL PRACTICE *; INTRODUCTION TO -LOGIC; CONSISTENCY-PROOF FOR THE GENERALIZED CONTINUUM-HYPOTHESIS¹; THE MORDELL-LANG CONJECTURE FOR FUNCTION FIELDS; MODEL-THEORETIC INVARIANTS: APPLICATIONS TO RECURSIVE AND HYPERARITHMETIC OPERATIONS; RECURSIVE FUNCTIONALS AND QUANTIFIERS OF FINITE TYPES I. | ||
| 648 | 7 | |a Geschichte 1900-2000 |2 gnd |9 rswk-swf | |
| 650 | 7 | |a MATHEMATICS / Infinity |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS / Logic |2 bisacsh | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | 1 | |a Geschichte 1900-2000 |A z |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Sacks, Gerald E. |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=135175 |x Aggregator |3 Volltext |
| 912 | |a ZDB-4-EBA | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028562701 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=135175 |l FAW01 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=135175 |l FAW02 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804175585160724480 |
|---|---|
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV043138510 |
| collection | ZDB-4-EBA |
| ctrlnum | (OCoLC)62715985 (DE-599)BVBBV043138510 |
| 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 |
| era | Geschichte 1900-2000 gnd |
| era_facet | Geschichte 1900-2000 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03074nmm a2200541zc 4500</leader><controlfield tag="001">BV043138510</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151126s2003 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1281876941</subfield><subfield code="9">1-281-87694-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781281876942</subfield><subfield code="9">978-1-281-87694-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789810247362</subfield><subfield code="9">978-981-02-4736-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789812564894</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-981-256-489-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9810247362</subfield><subfield code="9">981-02-4736-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9810247362</subfield><subfield code="9">981-02-4736-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9812564896</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">981-256-489-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)62715985</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043138510</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-1046</subfield><subfield code="a">DE-1047</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">22</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Mathematical logic in the 20th century</subfield><subfield code="c">[edited by] Gerald E. Sacks</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Mathematical logic in the twentieth century</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Singapore</subfield><subfield code="b">Singapore University Press</subfield><subfield code="c">©2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xiii, 693 pages)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">This invaluable book is a collection of 31 important both inideas and results papers published by mathematical logicians inthe 20th Century. The papers have been selected by Professor Gerald ESacks. Some of the authors are Gdel, Kleene, Tarski, A Robinson, Kreisel, Cohen, Morley, Shelah, Hrushovski and Woodin</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS; THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS, II*; MARGINALIA TO A THEOREM OF SILVER; THREE THEOREMS ON RECURSIVE ENUMERATION. I. DECOMPOSITION. II. MAXIMAL SET. III. ENUMERATION WITHOUT DUPLICATION; HIGHER SET THEORY AND MATHEMATICAL PRACTICE *; INTRODUCTION TO -LOGIC; CONSISTENCY-PROOF FOR THE GENERALIZED CONTINUUM-HYPOTHESIS¹; THE MORDELL-LANG CONJECTURE FOR FUNCTION FIELDS; MODEL-THEORETIC INVARIANTS: APPLICATIONS TO RECURSIVE AND HYPERARITHMETIC OPERATIONS; RECURSIVE FUNCTIONALS AND QUANTIFIERS OF FINITE TYPES I.</subfield></datafield><datafield tag="648" ind1=" " ind2="7"><subfield code="a">Geschichte 1900-2000</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / Infinity</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / Logic</subfield><subfield code="2">bisacsh</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="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">Geschichte 1900-2000</subfield><subfield code="A">z</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Sacks, Gerald E.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=135175</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028562701</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="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=135175</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=135175</subfield><subfield code="l">FAW02</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV043138510 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:18:37Z |
| institution | BVB |
| isbn | 1281876941 9781281876942 9789810247362 9789812564894 9810247362 9812564896 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028562701 |
| oclc_num | 62715985 |
| open_access_boolean | |
| owner | DE-1046 DE-1047 |
| owner_facet | DE-1046 DE-1047 |
| physical | 1 Online-Ressource (xiii, 693 pages) |
| psigel | ZDB-4-EBA ZDB-4-EBA FAW_PDA_EBA |
| publishDate | 2003 |
| publishDateSearch | 2003 |
| publishDateSort | 2003 |
| publisher | Singapore University Press |
| record_format | marc |
| spelling | Mathematical logic in the 20th century [edited by] Gerald E. Sacks Mathematical logic in the twentieth century Singapore Singapore University Press ©2003 1 Online-Ressource (xiii, 693 pages) txt rdacontent c rdamedia cr rdacarrier Includes bibliographical references This invaluable book is a collection of 31 important both inideas and results papers published by mathematical logicians inthe 20th Century. The papers have been selected by Professor Gerald ESacks. Some of the authors are Gdel, Kleene, Tarski, A Robinson, Kreisel, Cohen, Morley, Shelah, Hrushovski and Woodin THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS; THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS, II*; MARGINALIA TO A THEOREM OF SILVER; THREE THEOREMS ON RECURSIVE ENUMERATION. I. DECOMPOSITION. II. MAXIMAL SET. III. ENUMERATION WITHOUT DUPLICATION; HIGHER SET THEORY AND MATHEMATICAL PRACTICE *; INTRODUCTION TO -LOGIC; CONSISTENCY-PROOF FOR THE GENERALIZED CONTINUUM-HYPOTHESIS¹; THE MORDELL-LANG CONJECTURE FOR FUNCTION FIELDS; MODEL-THEORETIC INVARIANTS: APPLICATIONS TO RECURSIVE AND HYPERARITHMETIC OPERATIONS; RECURSIVE FUNCTIONALS AND QUANTIFIERS OF FINITE TYPES I. Geschichte 1900-2000 gnd rswk-swf MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 s Geschichte 1900-2000 z 1\p DE-604 Sacks, Gerald E. Sonstige oth http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=135175 Aggregator Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Mathematical logic in the 20th century MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4037951-6 |
| title | Mathematical logic in the 20th century |
| title_alt | Mathematical logic in the twentieth century |
| title_auth | Mathematical logic in the 20th century |
| title_exact_search | Mathematical logic in the 20th century |
| title_full | Mathematical logic in the 20th century [edited by] Gerald E. Sacks |
| title_fullStr | Mathematical logic in the 20th century [edited by] Gerald E. Sacks |
| title_full_unstemmed | Mathematical logic in the 20th century [edited by] Gerald E. Sacks |
| title_short | Mathematical logic in the 20th century |
| title_sort | mathematical logic in the 20th century |
| topic | MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | MATHEMATICS / Infinity MATHEMATICS / Logic Logic, Symbolic and mathematical Mathematische Logik |
| url | http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=135175 |
| work_keys_str_mv | AT sacksgeralde mathematicallogicinthe20thcentury AT sacksgeralde mathematicallogicinthetwentiethcentury |