Logic Colloquium 2006 /:
The Annual European Meeting of the Association for Symbolic Logic, also known as the Logic Colloquium, is among the most prestigious annual meetings in the field. The current volume, with contributions from plenary speakers and selected special session speakers, contains both expository and research...
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cambridge ; New York : [Poughkeepsie, N.Y.] :
Cambridge University Press ; Association for Symbolic Logic,
2009.
|
| Schriftenreihe: | Lecture notes in logic ;
32. |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Zusammenfassung: | The Annual European Meeting of the Association for Symbolic Logic, also known as the Logic Colloquium, is among the most prestigious annual meetings in the field. The current volume, with contributions from plenary speakers and selected special session speakers, contains both expository and research papers by some of the best logicians in the world. The most topical areas of current research are covered: valued fields, Hrushovski constructions (from model theory), algorithmic randomness, relative computability (from computability theory), strong forcing axioms and cardinal arithmetic, large cardinals and determinacy (from set theory), as well as foundational topics such as algebraic set theory, reverse mathematics, and unprovability. This volume will be invaluable for experts as well as those interested in an overview of central contemporary themes in mathematical logic. |
| Beschreibung: | 1 online resource (ix, 373 pages) : illustrations |
| Bibliographie: | Includes bibliographical references. |
| ISBN: | 9780511605024 0511605021 0521110815 9780521110815 1107188202 9781107188204 1282317768 9781282317765 9786612317767 6612317760 0511604726 9780511604720 0511604262 9780511604263 0511603487 9780511603488 0511605323 9780511605321 0511602707 9780511602702 |
Internformat
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn465472381 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 091113s2009 enka ob 100 0 eng d | ||
| 040 | |a N$T |b eng |e pn |c N$T |d OCLCQ |d MERUC |d IDEBK |d E7B |d OCLCQ |d REDDC |d OCLCQ |d DEBSZ |d OCLCA |d YDXCP |d OCLCO |d OCLCQ |d OCLCO |d OCLCF |d OCLCO |d OCLCQ |d UAB |d OCLCQ |d OL$ |d QGK |d LUN |d AUD |d UKAHL |d OCLCO |d OCLCQ |d OCLCO |d OCLCL |d SFB | ||
| 019 | |a 503604928 |a 646837422 |a 666999417 |a 956751458 |a 957741074 |a 958085904 |a 960282666 |a 1170777134 |a 1171728295 |a 1241836149 | ||
| 020 | |a 9780511605024 |q (electronic bk.) | ||
| 020 | |a 0511605021 |q (electronic bk.) | ||
| 020 | |a 0521110815 | ||
| 020 | |a 9780521110815 | ||
| 020 | |a 1107188202 | ||
| 020 | |a 9781107188204 | ||
| 020 | |a 1282317768 | ||
| 020 | |a 9781282317765 | ||
| 020 | |a 9786612317767 | ||
| 020 | |a 6612317760 | ||
| 020 | |a 0511604726 | ||
| 020 | |a 9780511604720 | ||
| 020 | |a 0511604262 | ||
| 020 | |a 9780511604263 | ||
| 020 | |a 0511603487 | ||
| 020 | |a 9780511603488 | ||
| 020 | |a 0511605323 | ||
| 020 | |a 9780511605321 | ||
| 020 | |a 0511602707 | ||
| 020 | |a 9780511602702 | ||
| 024 | 8 | |a 9786612317767 | |
| 035 | |a (OCoLC)465472381 |z (OCoLC)503604928 |z (OCoLC)646837422 |z (OCoLC)666999417 |z (OCoLC)956751458 |z (OCoLC)957741074 |z (OCoLC)958085904 |z (OCoLC)960282666 |z (OCoLC)1170777134 |z (OCoLC)1171728295 |z (OCoLC)1241836149 | ||
| 050 | 4 | |a QA9.A1 |b L64 2009eb | |
| 072 | 7 | |a MAT |x 016000 |2 bisacsh | |
| 072 | 7 | |a MAT |x 018000 |2 bisacsh | |
| 082 | 7 | |a 511.3 |2 22 | |
| 084 | |a 31.10 |2 bcl | ||
| 049 | |a MAIN | ||
| 111 | 2 | |a Logic Colloquium |d (2006 : |c Nijmegen, Netherlands) | |
| 245 | 1 | 0 | |a Logic Colloquium 2006 / |c edited by S. Barry Cooper [and others]. |
| 260 | |a Cambridge ; |a New York : |b Cambridge University Press ; |a [Poughkeepsie, N.Y.] : |b Association for Symbolic Logic, |c 2009. | ||
| 300 | |a 1 online resource (ix, 373 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in logic ; |v 32 | |
| 504 | |a Includes bibliographical references. | ||
| 588 | 0 | |a Print version record. | |
| 520 | |a The Annual European Meeting of the Association for Symbolic Logic, also known as the Logic Colloquium, is among the most prestigious annual meetings in the field. The current volume, with contributions from plenary speakers and selected special session speakers, contains both expository and research papers by some of the best logicians in the world. The most topical areas of current research are covered: valued fields, Hrushovski constructions (from model theory), algorithmic randomness, relative computability (from computability theory), strong forcing axioms and cardinal arithmetic, large cardinals and determinacy (from set theory), as well as foundational topics such as algebraic set theory, reverse mathematics, and unprovability. This volume will be invaluable for experts as well as those interested in an overview of central contemporary themes in mathematical logic. | ||
| 505 | 0 | |a COVER; HALF-TITLE; SERIES-TITLE; TITLE; COPYRIGHT; CONTENTS; INTRODUCTION; DEFINABILITY AND ELEMENTARY EQUIVALENCE IN THE ERSHOV DIFFERENCE HIERARCHY; REFERENCES; A UNIFIED APPROACH TO ALGEBRAIC SET THEORY; REFERENCES; BRIEF INTRODUCTION TO UNPROVABILITY; REFERENCES; HIGHER-ORDER ABSTRACT SYNTAX IN TYPE THEORY; REFERENCES; AN INTRODUCTION TO b-MINIMALITY; REFERENCES; THE SIXTH LECTURE ON ALGORITHMIC RANDOMNESS; REFERENCES; THE INEVITABILITY OF LOGICAL STRENGTH: STRICT REVERSE MATHEMATICS; REFERENCES; APPLICATIONS OF LOGIC IN ALGEBRA: EXAMPLES FROM CLONE THEORY; REFERENCES | |
| 505 | 8 | |a ON FINITE IMAGINARIESREFERENCES; STRONG MINIMAL COVERS AND A QUESTION OF YATES: THE STORY SO FAR; REFERENCES; EMBEDDINGS INTO THE TURING DEGREES; REFERENCES; RANDOMNESS -- BEYOND LEBESGUE MEASURE; REFERENCES; THE DERIVED MODEL THEOREM; REFERENCES; FORCING AXIOMS AND CARDINAL ARITHMETIC; REFERENCES; HRUSHOVSKI'S AMALGAMATION CONSTRUCTION; REFERENCES | |
| 546 | |a English. | ||
| 650 | 0 | |a Logic, Symbolic and mathematical |v Congresses. | |
| 650 | 6 | |a Logique symbolique et mathématique |v Congrès. | |
| 650 | 7 | |a MATHEMATICS |x Infinity. |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS |x Logic. |2 bisacsh | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 650 | 1 | 7 | |a Symbolische logica. |2 gtt |
| 650 | 1 | 7 | |a Wiskundige logica. |2 gtt |
| 655 | 0 | |a Electronic books. | |
| 655 | 7 | |a Conference papers and proceedings |2 fast | |
| 700 | 1 | |a Cooper, S. B. |q (S. Barry) |0 http://id.loc.gov/authorities/names/n95107558 | |
| 758 | |i has work: |a Logic Colloquium 2006 (Text) |1 https://id.oclc.org/worldcat/entity/E39PCGW4xhftDt3DvvxtrVygqP |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |a Logic Colloquium (2006 : Nijmegen, Netherlands). |t Logic Colloquium 2006. |d Cambridge ; New York : Cambridge University Press ; [Poughkeepsie, N.Y.] : Association for Symbolic Logic, 2009 |z 9780521110815 |w (OCoLC)319494923 |
| 830 | 0 | |a Lecture notes in logic ; |v 32. |0 http://id.loc.gov/authorities/names/n93082404 | |
| 856 | 4 | 0 | |l FWS01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=289518 |3 Volltext |
| 938 | |a Askews and Holts Library Services |b ASKH |n AH13426247 | ||
| 938 | |a EBSCOhost |b EBSC |n 289518 | ||
| 938 | |a YBP Library Services |b YANK |n 3162856 | ||
| 938 | |a YBP Library Services |b YANK |n 3278379 | ||
| 938 | |a YBP Library Services |b YANK |n 3117194 | ||
| 938 | |a YBP Library Services |b YANK |n 3125602 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn465472381 |
|---|---|
| _version_ | 1816881701189582848 |
| adam_text | |
| any_adam_object | |
| author2 | Cooper, S. B. (S. Barry) |
| author2_role | |
| author2_variant | s b c sb sbc |
| author_GND | http://id.loc.gov/authorities/names/n95107558 |
| author_corporate | Logic Colloquium Nijmegen, Netherlands |
| author_corporate_role | |
| author_facet | Cooper, S. B. (S. Barry) Logic Colloquium Nijmegen, Netherlands |
| author_sort | Logic Colloquium Nijmegen, Netherlands |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.A1 L64 2009eb |
| callnumber-search | QA9.A1 L64 2009eb |
| callnumber-sort | QA 19 A1 L64 42009EB |
| callnumber-subject | QA - Mathematics |
| collection | ZDB-4-EBA |
| contents | COVER; HALF-TITLE; SERIES-TITLE; TITLE; COPYRIGHT; CONTENTS; INTRODUCTION; DEFINABILITY AND ELEMENTARY EQUIVALENCE IN THE ERSHOV DIFFERENCE HIERARCHY; REFERENCES; A UNIFIED APPROACH TO ALGEBRAIC SET THEORY; REFERENCES; BRIEF INTRODUCTION TO UNPROVABILITY; REFERENCES; HIGHER-ORDER ABSTRACT SYNTAX IN TYPE THEORY; REFERENCES; AN INTRODUCTION TO b-MINIMALITY; REFERENCES; THE SIXTH LECTURE ON ALGORITHMIC RANDOMNESS; REFERENCES; THE INEVITABILITY OF LOGICAL STRENGTH: STRICT REVERSE MATHEMATICS; REFERENCES; APPLICATIONS OF LOGIC IN ALGEBRA: EXAMPLES FROM CLONE THEORY; REFERENCES ON FINITE IMAGINARIESREFERENCES; STRONG MINIMAL COVERS AND A QUESTION OF YATES: THE STORY SO FAR; REFERENCES; EMBEDDINGS INTO THE TURING DEGREES; REFERENCES; RANDOMNESS -- BEYOND LEBESGUE MEASURE; REFERENCES; THE DERIVED MODEL THEOREM; REFERENCES; FORCING AXIOMS AND CARDINAL ARITHMETIC; REFERENCES; HRUSHOVSKI'S AMALGAMATION CONSTRUCTION; REFERENCES |
| ctrlnum | (OCoLC)465472381 |
| 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 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>05569cam a2200877 a 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn465472381</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cnu---unuuu</controlfield><controlfield tag="008">091113s2009 enka ob 100 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">N$T</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">N$T</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">MERUC</subfield><subfield code="d">IDEBK</subfield><subfield code="d">E7B</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">REDDC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">DEBSZ</subfield><subfield code="d">OCLCA</subfield><subfield code="d">YDXCP</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCF</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">UAB</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OL$</subfield><subfield code="d">QGK</subfield><subfield code="d">LUN</subfield><subfield code="d">AUD</subfield><subfield code="d">UKAHL</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield><subfield code="d">SFB</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">503604928</subfield><subfield code="a">646837422</subfield><subfield code="a">666999417</subfield><subfield code="a">956751458</subfield><subfield code="a">957741074</subfield><subfield code="a">958085904</subfield><subfield code="a">960282666</subfield><subfield code="a">1170777134</subfield><subfield code="a">1171728295</subfield><subfield code="a">1241836149</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511605024</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0511605021</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521110815</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780521110815</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1107188202</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781107188204</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1282317768</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781282317765</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9786612317767</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">6612317760</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0511604726</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511604720</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0511604262</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511604263</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0511603487</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511603488</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0511605323</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511605321</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0511602707</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511602702</subfield></datafield><datafield tag="024" ind1="8" ind2=" "><subfield code="a">9786612317767</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)465472381</subfield><subfield code="z">(OCoLC)503604928</subfield><subfield code="z">(OCoLC)646837422</subfield><subfield code="z">(OCoLC)666999417</subfield><subfield code="z">(OCoLC)956751458</subfield><subfield code="z">(OCoLC)957741074</subfield><subfield code="z">(OCoLC)958085904</subfield><subfield code="z">(OCoLC)960282666</subfield><subfield code="z">(OCoLC)1170777134</subfield><subfield code="z">(OCoLC)1171728295</subfield><subfield code="z">(OCoLC)1241836149</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA9.A1</subfield><subfield code="b">L64 2009eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT</subfield><subfield code="x">016000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT</subfield><subfield code="x">018000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">31.10</subfield><subfield code="2">bcl</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Logic Colloquium</subfield><subfield code="d">(2006 :</subfield><subfield code="c">Nijmegen, Netherlands)</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic Colloquium 2006 /</subfield><subfield code="c">edited by S. Barry Cooper [and others].</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Cambridge ;</subfield><subfield code="a">New York :</subfield><subfield code="b">Cambridge University Press ;</subfield><subfield code="a">[Poughkeepsie, N.Y.] :</subfield><subfield code="b">Association for Symbolic Logic,</subfield><subfield code="c">2009.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (ix, 373 pages) :</subfield><subfield code="b">illustrations</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in logic ;</subfield><subfield code="v">32</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">The Annual European Meeting of the Association for Symbolic Logic, also known as the Logic Colloquium, is among the most prestigious annual meetings in the field. The current volume, with contributions from plenary speakers and selected special session speakers, contains both expository and research papers by some of the best logicians in the world. The most topical areas of current research are covered: valued fields, Hrushovski constructions (from model theory), algorithmic randomness, relative computability (from computability theory), strong forcing axioms and cardinal arithmetic, large cardinals and determinacy (from set theory), as well as foundational topics such as algebraic set theory, reverse mathematics, and unprovability. This volume will be invaluable for experts as well as those interested in an overview of central contemporary themes in mathematical logic.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">COVER; HALF-TITLE; SERIES-TITLE; TITLE; COPYRIGHT; CONTENTS; INTRODUCTION; DEFINABILITY AND ELEMENTARY EQUIVALENCE IN THE ERSHOV DIFFERENCE HIERARCHY; REFERENCES; A UNIFIED APPROACH TO ALGEBRAIC SET THEORY; REFERENCES; BRIEF INTRODUCTION TO UNPROVABILITY; REFERENCES; HIGHER-ORDER ABSTRACT SYNTAX IN TYPE THEORY; REFERENCES; AN INTRODUCTION TO b-MINIMALITY; REFERENCES; THE SIXTH LECTURE ON ALGORITHMIC RANDOMNESS; REFERENCES; THE INEVITABILITY OF LOGICAL STRENGTH: STRICT REVERSE MATHEMATICS; REFERENCES; APPLICATIONS OF LOGIC IN ALGEBRA: EXAMPLES FROM CLONE THEORY; REFERENCES</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">ON FINITE IMAGINARIESREFERENCES; STRONG MINIMAL COVERS AND A QUESTION OF YATES: THE STORY SO FAR; REFERENCES; EMBEDDINGS INTO THE TURING DEGREES; REFERENCES; RANDOMNESS -- BEYOND LEBESGUE MEASURE; REFERENCES; THE DERIVED MODEL THEOREM; REFERENCES; FORCING AXIOMS AND CARDINAL ARITHMETIC; REFERENCES; HRUSHOVSKI'S AMALGAMATION CONSTRUCTION; REFERENCES</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">English.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Logique symbolique et mathématique</subfield><subfield code="v">Congrès.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS</subfield><subfield code="x">Infinity.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS</subfield><subfield code="x">Logic.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1="1" ind2="7"><subfield code="a">Symbolische logica.</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1="1" ind2="7"><subfield code="a">Wiskundige logica.</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="655" ind1=" " ind2="0"><subfield code="a">Electronic books.</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Conference papers and proceedings</subfield><subfield code="2">fast</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Cooper, S. B.</subfield><subfield code="q">(S. Barry)</subfield><subfield code="0">http://id.loc.gov/authorities/names/n95107558</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">Logic Colloquium 2006 (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCGW4xhftDt3DvvxtrVygqP</subfield><subfield code="4">https://id.oclc.org/worldcat/ontology/hasWork</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">Logic Colloquium (2006 : Nijmegen, Netherlands).</subfield><subfield code="t">Logic Colloquium 2006.</subfield><subfield code="d">Cambridge ; New York : Cambridge University Press ; [Poughkeepsie, N.Y.] : Association for Symbolic Logic, 2009</subfield><subfield code="z">9780521110815</subfield><subfield code="w">(OCoLC)319494923</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in logic ;</subfield><subfield code="v">32.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n93082404</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=289518</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Askews and Holts Library Services</subfield><subfield code="b">ASKH</subfield><subfield code="n">AH13426247</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">289518</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">3162856</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">3278379</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">3117194</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">3125602</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
| genre | Electronic books. Conference papers and proceedings fast |
| genre_facet | Electronic books. Conference papers and proceedings |
| id | ZDB-4-EBA-ocn465472381 |
| illustrated | Illustrated |
| indexdate | 2024-11-27T13:16:54Z |
| institution | BVB |
| isbn | 9780511605024 0511605021 0521110815 9780521110815 1107188202 9781107188204 1282317768 9781282317765 9786612317767 6612317760 0511604726 9780511604720 0511604262 9780511604263 0511603487 9780511603488 0511605323 9780511605321 0511602707 9780511602702 |
| language | English |
| oclc_num | 465472381 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource (ix, 373 pages) : illustrations |
| psigel | ZDB-4-EBA |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | Cambridge University Press ; Association for Symbolic Logic, |
| record_format | marc |
| series | Lecture notes in logic ; |
| series2 | Lecture notes in logic ; |
| spelling | Logic Colloquium (2006 : Nijmegen, Netherlands) Logic Colloquium 2006 / edited by S. Barry Cooper [and others]. Cambridge ; New York : Cambridge University Press ; [Poughkeepsie, N.Y.] : Association for Symbolic Logic, 2009. 1 online resource (ix, 373 pages) : illustrations text txt rdacontent computer c rdamedia online resource cr rdacarrier Lecture notes in logic ; 32 Includes bibliographical references. Print version record. The Annual European Meeting of the Association for Symbolic Logic, also known as the Logic Colloquium, is among the most prestigious annual meetings in the field. The current volume, with contributions from plenary speakers and selected special session speakers, contains both expository and research papers by some of the best logicians in the world. The most topical areas of current research are covered: valued fields, Hrushovski constructions (from model theory), algorithmic randomness, relative computability (from computability theory), strong forcing axioms and cardinal arithmetic, large cardinals and determinacy (from set theory), as well as foundational topics such as algebraic set theory, reverse mathematics, and unprovability. This volume will be invaluable for experts as well as those interested in an overview of central contemporary themes in mathematical logic. COVER; HALF-TITLE; SERIES-TITLE; TITLE; COPYRIGHT; CONTENTS; INTRODUCTION; DEFINABILITY AND ELEMENTARY EQUIVALENCE IN THE ERSHOV DIFFERENCE HIERARCHY; REFERENCES; A UNIFIED APPROACH TO ALGEBRAIC SET THEORY; REFERENCES; BRIEF INTRODUCTION TO UNPROVABILITY; REFERENCES; HIGHER-ORDER ABSTRACT SYNTAX IN TYPE THEORY; REFERENCES; AN INTRODUCTION TO b-MINIMALITY; REFERENCES; THE SIXTH LECTURE ON ALGORITHMIC RANDOMNESS; REFERENCES; THE INEVITABILITY OF LOGICAL STRENGTH: STRICT REVERSE MATHEMATICS; REFERENCES; APPLICATIONS OF LOGIC IN ALGEBRA: EXAMPLES FROM CLONE THEORY; REFERENCES ON FINITE IMAGINARIESREFERENCES; STRONG MINIMAL COVERS AND A QUESTION OF YATES: THE STORY SO FAR; REFERENCES; EMBEDDINGS INTO THE TURING DEGREES; REFERENCES; RANDOMNESS -- BEYOND LEBESGUE MEASURE; REFERENCES; THE DERIVED MODEL THEOREM; REFERENCES; FORCING AXIOMS AND CARDINAL ARITHMETIC; REFERENCES; HRUSHOVSKI'S AMALGAMATION CONSTRUCTION; REFERENCES English. Logic, Symbolic and mathematical Congresses. Logique symbolique et mathématique Congrès. MATHEMATICS Infinity. bisacsh MATHEMATICS Logic. bisacsh Logic, Symbolic and mathematical fast Symbolische logica. gtt Wiskundige logica. gtt Electronic books. Conference papers and proceedings fast Cooper, S. B. (S. Barry) http://id.loc.gov/authorities/names/n95107558 has work: Logic Colloquium 2006 (Text) https://id.oclc.org/worldcat/entity/E39PCGW4xhftDt3DvvxtrVygqP https://id.oclc.org/worldcat/ontology/hasWork Print version: Logic Colloquium (2006 : Nijmegen, Netherlands). Logic Colloquium 2006. Cambridge ; New York : Cambridge University Press ; [Poughkeepsie, N.Y.] : Association for Symbolic Logic, 2009 9780521110815 (OCoLC)319494923 Lecture notes in logic ; 32. http://id.loc.gov/authorities/names/n93082404 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=289518 Volltext |
| spellingShingle | Logic Colloquium 2006 / Lecture notes in logic ; COVER; HALF-TITLE; SERIES-TITLE; TITLE; COPYRIGHT; CONTENTS; INTRODUCTION; DEFINABILITY AND ELEMENTARY EQUIVALENCE IN THE ERSHOV DIFFERENCE HIERARCHY; REFERENCES; A UNIFIED APPROACH TO ALGEBRAIC SET THEORY; REFERENCES; BRIEF INTRODUCTION TO UNPROVABILITY; REFERENCES; HIGHER-ORDER ABSTRACT SYNTAX IN TYPE THEORY; REFERENCES; AN INTRODUCTION TO b-MINIMALITY; REFERENCES; THE SIXTH LECTURE ON ALGORITHMIC RANDOMNESS; REFERENCES; THE INEVITABILITY OF LOGICAL STRENGTH: STRICT REVERSE MATHEMATICS; REFERENCES; APPLICATIONS OF LOGIC IN ALGEBRA: EXAMPLES FROM CLONE THEORY; REFERENCES ON FINITE IMAGINARIESREFERENCES; STRONG MINIMAL COVERS AND A QUESTION OF YATES: THE STORY SO FAR; REFERENCES; EMBEDDINGS INTO THE TURING DEGREES; REFERENCES; RANDOMNESS -- BEYOND LEBESGUE MEASURE; REFERENCES; THE DERIVED MODEL THEOREM; REFERENCES; FORCING AXIOMS AND CARDINAL ARITHMETIC; REFERENCES; HRUSHOVSKI'S AMALGAMATION CONSTRUCTION; REFERENCES Logic, Symbolic and mathematical Congresses. Logique symbolique et mathématique Congrès. MATHEMATICS Infinity. bisacsh MATHEMATICS Logic. bisacsh Logic, Symbolic and mathematical fast Symbolische logica. gtt Wiskundige logica. gtt |
| title | Logic Colloquium 2006 / |
| title_auth | Logic Colloquium 2006 / |
| title_exact_search | Logic Colloquium 2006 / |
| title_full | Logic Colloquium 2006 / edited by S. Barry Cooper [and others]. |
| title_fullStr | Logic Colloquium 2006 / edited by S. Barry Cooper [and others]. |
| title_full_unstemmed | Logic Colloquium 2006 / edited by S. Barry Cooper [and others]. |
| title_short | Logic Colloquium 2006 / |
| title_sort | logic colloquium 2006 |
| topic | Logic, Symbolic and mathematical Congresses. Logique symbolique et mathématique Congrès. MATHEMATICS Infinity. bisacsh MATHEMATICS Logic. bisacsh Logic, Symbolic and mathematical fast Symbolische logica. gtt Wiskundige logica. gtt |
| topic_facet | Logic, Symbolic and mathematical Congresses. Logique symbolique et mathématique Congrès. MATHEMATICS Infinity. MATHEMATICS Logic. Logic, Symbolic and mathematical Symbolische logica. Wiskundige logica. Electronic books. Conference papers and proceedings |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=289518 |
| work_keys_str_mv | AT logiccolloquiumnijmegennetherlands logiccolloquium2006 AT coopersb logiccolloquium2006 |