Logic Colloquium 2005: proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, July 28-August 3, 2005
The Annual European Meeting of the Association for Symbolic Logic, generally known as the Logic Colloquium, is the most prestigious annual meeting in the field. Many of the papers presented there are invited surveys of developments, and the rest of the papers are chosen to complement the invited tal...
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cambridge
Cambridge University Press
2007
|
| Schriftenreihe: | Lecture notes in logic
28 |
| Schlagworte: | |
| Online-Zugang: | BSB01 FHN01 URL des Erstveröffentlichers |
| Zusammenfassung: | The Annual European Meeting of the Association for Symbolic Logic, generally known as the Logic Colloquium, is the most prestigious annual meeting in the field. Many of the papers presented there are invited surveys of developments, and the rest of the papers are chosen to complement the invited talks. This 2007 volume includes surveys, tutorials, and selected research papers from the 2005 meeting. Highlights include three papers on different aspects of connections between model theory and algebra; a survey of major advances in combinatorial set theory; a tutorial on proof theory and modal logic; and a description of Bernay's philosophy of mathematics |
| Beschreibung: | Title from publisher's bibliographic system (viewed on 05 Oct 2015) |
| Beschreibung: | 1 online resource (xiii, 272 pages) |
| ISBN: | 9780511546464 |
| DOI: | 10.1017/CBO9780511546464 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043945986 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 161206s2007 |||| o||u| ||||||eng d | ||
| 020 | |a 9780511546464 |c Online |9 978-0-511-54646-4 | ||
| 024 | 7 | |a 10.1017/CBO9780511546464 |2 doi | |
| 035 | |a (ZDB-20-CBO)CR9780511546464 | ||
| 035 | |a (OCoLC)967688276 | ||
| 035 | |a (DE-599)BVBBV043945986 | ||
| 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 | |
| 084 | |a SD 2005 |0 (DE-625)142739: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 110 | 2 | |a Logic Colloquium <2005, Athens, Greece> |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Logic Colloquium 2005 |b proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, July 28-August 3, 2005 |c edited by Costas Dimitracopoulos [and three others] |
| 264 | 1 | |a Cambridge |b Cambridge University Press |c 2007 | |
| 300 | |a 1 online resource (xiii, 272 pages) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Lecture notes in logic |v 28 | |
| 500 | |a Title from publisher's bibliographic system (viewed on 05 Oct 2015) | ||
| 505 | 8 | |a Thread algebra and risk assessment services / Jan A. Bergstra, Inge Bethke and Alban Ponse -- Covering definable manifolds by open definable subsets / Mário J. Edmundo -- Isomorphisms and definable relations on computable models / Sergei S. Goncharov -- Independence for types in algebraically closed valued fields / Dierdre Haskell -- Simple groups of finite Morley rank / Eric Jaligot -- Towards a logic of type-free modality and truth / Hannes Leitgeb -- Structural analysis of Aronszajn trees / Justin Tatch Moore -- Proof analysis in non-classical logics / Sara Negri -- Paul Bernays' later philosophy of mathematics / Charles Parsons -- Proofnets for S5 : sequents and circuits for modal logic / Greg Restall -- Recursion on the partial continuous functionals / Helmut Schwichtenberg -- A transactional approach to the logic of truth / Michael Sheard -- On some problems in computable topology / Dieter Spreen -- Monotone inductive definitions and consistency of New Foundations / Sergei Tupailo | |
| 520 | |a The Annual European Meeting of the Association for Symbolic Logic, generally known as the Logic Colloquium, is the most prestigious annual meeting in the field. Many of the papers presented there are invited surveys of developments, and the rest of the papers are chosen to complement the invited talks. This 2007 volume includes surveys, tutorials, and selected research papers from the 2005 meeting. Highlights include three papers on different aspects of connections between model theory and algebra; a survey of major advances in combinatorial set theory; a tutorial on proof theory and modal logic; and a description of Bernay's philosophy of mathematics | ||
| 650 | 4 | |a Logic, Symbolic and mathematical / Congresses | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Dimitracopoulos, Costas |4 edt | |
| 711 | 2 | |a Association for Symbolic Logic |a host institution |j Sonstige |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druckausgabe |z 978-0-521-32963-7 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druckausgabe |z 978-0-521-88425-9 |
| 856 | 4 | 0 | |u https://doi.org/10.1017/CBO9780511546464 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-20-CBO | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029354957 | ||
| 966 | e | |u https://doi.org/10.1017/CBO9780511546464 |l BSB01 |p ZDB-20-CBO |q BSB_PDA_CBO |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1017/CBO9780511546464 |l FHN01 |p ZDB-20-CBO |q FHN_PDA_CBO |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804176892771696640 |
|---|---|
| any_adam_object | |
| author2 | Dimitracopoulos, Costas |
| author2_role | edt |
| author2_variant | c d cd |
| author_corporate | Logic Colloquium <2005, Athens, Greece> |
| author_corporate_role | aut |
| author_facet | Dimitracopoulos, Costas Logic Colloquium <2005, Athens, Greece> |
| author_sort | Logic Colloquium <2005, Athens, Greece> |
| building | Verbundindex |
| bvnumber | BV043945986 |
| classification_rvk | SD 2005 SK 130 |
| collection | ZDB-20-CBO |
| contents | Thread algebra and risk assessment services / Jan A. Bergstra, Inge Bethke and Alban Ponse -- Covering definable manifolds by open definable subsets / Mário J. Edmundo -- Isomorphisms and definable relations on computable models / Sergei S. Goncharov -- Independence for types in algebraically closed valued fields / Dierdre Haskell -- Simple groups of finite Morley rank / Eric Jaligot -- Towards a logic of type-free modality and truth / Hannes Leitgeb -- Structural analysis of Aronszajn trees / Justin Tatch Moore -- Proof analysis in non-classical logics / Sara Negri -- Paul Bernays' later philosophy of mathematics / Charles Parsons -- Proofnets for S5 : sequents and circuits for modal logic / Greg Restall -- Recursion on the partial continuous functionals / Helmut Schwichtenberg -- A transactional approach to the logic of truth / Michael Sheard -- On some problems in computable topology / Dieter Spreen -- Monotone inductive definitions and consistency of New Foundations / Sergei Tupailo |
| ctrlnum | (ZDB-20-CBO)CR9780511546464 (OCoLC)967688276 (DE-599)BVBBV043945986 |
| 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/CBO9780511546464 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03710nmm a2200481zcb4500</leader><controlfield tag="001">BV043945986</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">161206s2007 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511546464</subfield><subfield code="c">Online</subfield><subfield code="9">978-0-511-54646-4</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1017/CBO9780511546464</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-20-CBO)CR9780511546464</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)967688276</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043945986</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="084" ind1=" " ind2=" "><subfield code="a">SD 2005</subfield><subfield code="0">(DE-625)142739:</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="110" ind1="2" ind2=" "><subfield code="a">Logic Colloquium <2005, Athens, Greece></subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic Colloquium 2005</subfield><subfield code="b">proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, July 28-August 3, 2005</subfield><subfield code="c">edited by Costas Dimitracopoulos [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">2007</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xiii, 272 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">28</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="505" ind1="8" ind2=" "><subfield code="a">Thread algebra and risk assessment services / Jan A. Bergstra, Inge Bethke and Alban Ponse -- Covering definable manifolds by open definable subsets / Mário J. Edmundo -- Isomorphisms and definable relations on computable models / Sergei S. Goncharov -- Independence for types in algebraically closed valued fields / Dierdre Haskell -- Simple groups of finite Morley rank / Eric Jaligot -- Towards a logic of type-free modality and truth / Hannes Leitgeb -- Structural analysis of Aronszajn trees / Justin Tatch Moore -- Proof analysis in non-classical logics / Sara Negri -- Paul Bernays' later philosophy of mathematics / Charles Parsons -- Proofnets for S5 : sequents and circuits for modal logic / Greg Restall -- Recursion on the partial continuous functionals / Helmut Schwichtenberg -- A transactional approach to the logic of truth / Michael Sheard -- On some problems in computable topology / Dieter Spreen -- Monotone inductive definitions and consistency of New Foundations / Sergei Tupailo</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">The Annual European Meeting of the Association for Symbolic Logic, generally known as the Logic Colloquium, is the most prestigious annual meeting in the field. Many of the papers presented there are invited surveys of developments, and the rest of the papers are chosen to complement the invited talks. This 2007 volume includes surveys, tutorials, and selected research papers from the 2005 meeting. Highlights include three papers on different aspects of connections between model theory and algebra; a survey of major advances in combinatorial set theory; a tutorial on proof theory and modal logic; and a description of Bernay's philosophy of mathematics</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">Dimitracopoulos, Costas</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Association for Symbolic Logic</subfield><subfield code="a">host institution</subfield><subfield code="j">Sonstige</subfield><subfield code="4">oth</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-32963-7</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-88425-9</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1017/CBO9780511546464</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-029354957</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/CBO9780511546464</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/CBO9780511546464</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.BV043945986 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:39:24Z |
| institution | BVB |
| isbn | 9780511546464 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029354957 |
| oclc_num | 967688276 |
| open_access_boolean | |
| owner | DE-12 DE-92 |
| owner_facet | DE-12 DE-92 |
| physical | 1 online resource (xiii, 272 pages) |
| psigel | ZDB-20-CBO ZDB-20-CBO BSB_PDA_CBO ZDB-20-CBO FHN_PDA_CBO |
| publishDate | 2007 |
| publishDateSearch | 2007 |
| publishDateSort | 2007 |
| publisher | Cambridge University Press |
| record_format | marc |
| series2 | Lecture notes in logic |
| spelling | Logic Colloquium <2005, Athens, Greece> Verfasser aut Logic Colloquium 2005 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, July 28-August 3, 2005 edited by Costas Dimitracopoulos [and three others] Cambridge Cambridge University Press 2007 1 online resource (xiii, 272 pages) txt rdacontent c rdamedia cr rdacarrier Lecture notes in logic 28 Title from publisher's bibliographic system (viewed on 05 Oct 2015) Thread algebra and risk assessment services / Jan A. Bergstra, Inge Bethke and Alban Ponse -- Covering definable manifolds by open definable subsets / Mário J. Edmundo -- Isomorphisms and definable relations on computable models / Sergei S. Goncharov -- Independence for types in algebraically closed valued fields / Dierdre Haskell -- Simple groups of finite Morley rank / Eric Jaligot -- Towards a logic of type-free modality and truth / Hannes Leitgeb -- Structural analysis of Aronszajn trees / Justin Tatch Moore -- Proof analysis in non-classical logics / Sara Negri -- Paul Bernays' later philosophy of mathematics / Charles Parsons -- Proofnets for S5 : sequents and circuits for modal logic / Greg Restall -- Recursion on the partial continuous functionals / Helmut Schwichtenberg -- A transactional approach to the logic of truth / Michael Sheard -- On some problems in computable topology / Dieter Spreen -- Monotone inductive definitions and consistency of New Foundations / Sergei Tupailo The Annual European Meeting of the Association for Symbolic Logic, generally known as the Logic Colloquium, is the most prestigious annual meeting in the field. Many of the papers presented there are invited surveys of developments, and the rest of the papers are chosen to complement the invited talks. This 2007 volume includes surveys, tutorials, and selected research papers from the 2005 meeting. Highlights include three papers on different aspects of connections between model theory and algebra; a survey of major advances in combinatorial set theory; a tutorial on proof theory and modal logic; and a description of Bernay's philosophy of mathematics Logic, Symbolic and mathematical / Congresses (DE-588)1071861417 Konferenzschrift gnd-content Dimitracopoulos, Costas edt Association for Symbolic Logic host institution Sonstige oth Erscheint auch als Druckausgabe 978-0-521-32963-7 Erscheint auch als Druckausgabe 978-0-521-88425-9 https://doi.org/10.1017/CBO9780511546464 Verlag URL des Erstveröffentlichers Volltext |
| spellingShingle | Logic Colloquium 2005 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, July 28-August 3, 2005 Thread algebra and risk assessment services / Jan A. Bergstra, Inge Bethke and Alban Ponse -- Covering definable manifolds by open definable subsets / Mário J. Edmundo -- Isomorphisms and definable relations on computable models / Sergei S. Goncharov -- Independence for types in algebraically closed valued fields / Dierdre Haskell -- Simple groups of finite Morley rank / Eric Jaligot -- Towards a logic of type-free modality and truth / Hannes Leitgeb -- Structural analysis of Aronszajn trees / Justin Tatch Moore -- Proof analysis in non-classical logics / Sara Negri -- Paul Bernays' later philosophy of mathematics / Charles Parsons -- Proofnets for S5 : sequents and circuits for modal logic / Greg Restall -- Recursion on the partial continuous functionals / Helmut Schwichtenberg -- A transactional approach to the logic of truth / Michael Sheard -- On some problems in computable topology / Dieter Spreen -- Monotone inductive definitions and consistency of New Foundations / Sergei Tupailo Logic, Symbolic and mathematical / Congresses |
| subject_GND | (DE-588)1071861417 |
| title | Logic Colloquium 2005 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, July 28-August 3, 2005 |
| title_auth | Logic Colloquium 2005 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, July 28-August 3, 2005 |
| title_exact_search | Logic Colloquium 2005 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, July 28-August 3, 2005 |
| title_full | Logic Colloquium 2005 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, July 28-August 3, 2005 edited by Costas Dimitracopoulos [and three others] |
| title_fullStr | Logic Colloquium 2005 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, July 28-August 3, 2005 edited by Costas Dimitracopoulos [and three others] |
| title_full_unstemmed | Logic Colloquium 2005 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, July 28-August 3, 2005 edited by Costas Dimitracopoulos [and three others] |
| title_short | Logic Colloquium 2005 |
| title_sort | logic colloquium 2005 proceedings of the annual european summer meeting of the association for symbolic logic held in athens greece july 28 august 3 2005 |
| title_sub | proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, July 28-August 3, 2005 |
| topic | Logic, Symbolic and mathematical / Congresses |
| topic_facet | Logic, Symbolic and mathematical / Congresses Konferenzschrift |
| url | https://doi.org/10.1017/CBO9780511546464 |
| work_keys_str_mv | AT logiccolloquium2005athensgreece logiccolloquium2005proceedingsoftheannualeuropeansummermeetingoftheassociationforsymboliclogicheldinathensgreecejuly28august32005 AT dimitracopouloscostas logiccolloquium2005proceedingsoftheannualeuropeansummermeetingoftheassociationforsymboliclogicheldinathensgreecejuly28august32005 AT associationforsymboliclogichostinstitution logiccolloquium2005proceedingsoftheannualeuropeansummermeetingoftheassociationforsymboliclogicheldinathensgreecejuly28august32005 |