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 E-Book |
Sprache: | English |
Veröffentlicht: |
Cambridge
Cambridge University Press
2009
|
Schriftenreihe: | Lecture notes in logic
32 |
Schlagworte: | |
Online-Zugang: | BSB01 FHN01 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: | Title from publisher's bibliographic system (viewed on 05 Oct 2015) |
Beschreibung: | 1 online resource (ix, 373 pages) |
ISBN: | 9780511605321 |
DOI: | 10.1017/CBO9780511605321 |
Internformat
MARC
LEADER | 00000nmm a2200000zcb4500 | ||
---|---|---|---|
001 | BV043945972 | ||
003 | DE-604 | ||
005 | 00000000000000.0 | ||
007 | cr|uuu---uuuuu | ||
008 | 161206s2009 |||| o||u| ||||||eng d | ||
020 | |a 9780511605321 |c Online |9 978-0-511-60532-1 | ||
024 | 7 | |a 10.1017/CBO9780511605321 |2 doi | |
035 | |a (ZDB-20-CBO)CR9780511605321 | ||
035 | |a (OCoLC)972507533 | ||
035 | |a (DE-599)BVBBV043945972 | ||
040 | |a DE-604 |b ger |e rda | ||
041 | 0 | |a eng | |
049 | |a DE-12 |a DE-92 | ||
082 | 0 | |a 511.3 |2 22 | |
110 | 2 | |a Logic Colloquium <2006, Nijmegen, Netherlands> |e Verfasser |4 aut | |
245 | 1 | 0 | |a Logic Colloquium 2006 |c edited by S. Barry Cooper [and three others] |
264 | 1 | |a Cambridge |b Cambridge University Press |c 2009 | |
300 | |a 1 online resource (ix, 373 pages) | ||
336 | |b txt |2 rdacontent | ||
337 | |b c |2 rdamedia | ||
338 | |b cr |2 rdacarrier | ||
490 | 0 | |a Lecture notes in logic |v 32 | |
500 | |a Title from publisher's bibliographic system (viewed on 05 Oct 2015) | ||
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 | ||
650 | 4 | |a Logic, Symbolic and mathematical / Congresses | |
655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
700 | 1 | |a Cooper, S. B. |4 edt | |
776 | 0 | 8 | |i Erscheint auch als |n Druckausgabe |z 978-0-521-11081-5 |
856 | 4 | 0 | |u https://doi.org/10.1017/CBO9780511605321 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
912 | |a ZDB-20-CBO | ||
999 | |a oai:aleph.bib-bvb.de:BVB01-029354943 | ||
966 | e | |u https://doi.org/10.1017/CBO9780511605321 |l BSB01 |p ZDB-20-CBO |q BSB_PDA_CBO |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1017/CBO9780511605321 |l FHN01 |p ZDB-20-CBO |q FHN_PDA_CBO |x Verlag |3 Volltext |
Datensatz im Suchindex
_version_ | 1804176892740239360 |
---|---|
any_adam_object | |
author2 | Cooper, S. B. |
author2_role | edt |
author2_variant | s b c sb sbc |
author_corporate | Logic Colloquium <2006, Nijmegen, Netherlands> |
author_corporate_role | aut |
author_facet | Cooper, S. B. Logic Colloquium <2006, Nijmegen, Netherlands> |
author_sort | Logic Colloquium <2006, Nijmegen, Netherlands> |
building | Verbundindex |
bvnumber | BV043945972 |
collection | ZDB-20-CBO |
ctrlnum | (ZDB-20-CBO)CR9780511605321 (OCoLC)972507533 (DE-599)BVBBV043945972 |
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 |
doi_str_mv | 10.1017/CBO9780511605321 |
format | Electronic eBook |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02526nmm a2200421zcb4500</leader><controlfield tag="001">BV043945972</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">161206s2009 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511605321</subfield><subfield code="c">Online</subfield><subfield code="9">978-0-511-60532-1</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1017/CBO9780511605321</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-20-CBO)CR9780511605321</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)972507533</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043945972</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-92</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">22</subfield></datafield><datafield tag="110" ind1="2" ind2=" "><subfield code="a">Logic Colloquium <2006, Nijmegen, Netherlands></subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</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 three others]</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (ix, 373 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="490" ind1="0" ind2=" "><subfield code="a">Lecture notes in logic</subfield><subfield code="v">32</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Title from publisher's bibliographic system (viewed on 05 Oct 2015)</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="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical / Congresses</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Cooper, S. B.</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-0-521-11081-5</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1017/CBO9780511605321</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-20-CBO</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029354943</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/CBO9780511605321</subfield><subfield code="l">BSB01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">BSB_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/CBO9780511605321</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">FHN_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
genre | (DE-588)1071861417 Konferenzschrift gnd-content |
genre_facet | Konferenzschrift |
id | DE-604.BV043945972 |
illustrated | Not Illustrated |
indexdate | 2024-07-10T07:39:24Z |
institution | BVB |
isbn | 9780511605321 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029354943 |
oclc_num | 972507533 |
open_access_boolean | |
owner | DE-12 DE-92 |
owner_facet | DE-12 DE-92 |
physical | 1 online resource (ix, 373 pages) |
psigel | ZDB-20-CBO ZDB-20-CBO BSB_PDA_CBO ZDB-20-CBO FHN_PDA_CBO |
publishDate | 2009 |
publishDateSearch | 2009 |
publishDateSort | 2009 |
publisher | Cambridge University Press |
record_format | marc |
series2 | Lecture notes in logic |
spelling | Logic Colloquium <2006, Nijmegen, Netherlands> Verfasser aut Logic Colloquium 2006 edited by S. Barry Cooper [and three others] Cambridge Cambridge University Press 2009 1 online resource (ix, 373 pages) txt rdacontent c rdamedia cr rdacarrier Lecture notes in logic 32 Title from publisher's bibliographic system (viewed on 05 Oct 2015) 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 Logic, Symbolic and mathematical / Congresses (DE-588)1071861417 Konferenzschrift gnd-content Cooper, S. B. edt Erscheint auch als Druckausgabe 978-0-521-11081-5 https://doi.org/10.1017/CBO9780511605321 Verlag URL des Erstveröffentlichers Volltext |
spellingShingle | Logic Colloquium 2006 Logic, Symbolic and mathematical / Congresses |
subject_GND | (DE-588)1071861417 |
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 three others] |
title_fullStr | Logic Colloquium 2006 edited by S. Barry Cooper [and three others] |
title_full_unstemmed | Logic Colloquium 2006 edited by S. Barry Cooper [and three others] |
title_short | Logic Colloquium 2006 |
title_sort | logic colloquium 2006 |
topic | Logic, Symbolic and mathematical / Congresses |
topic_facet | Logic, Symbolic and mathematical / Congresses Konferenzschrift |
url | https://doi.org/10.1017/CBO9780511605321 |
work_keys_str_mv | AT logiccolloquium2006nijmegennetherlands logiccolloquium2006 AT coopersb logiccolloquium2006 |