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örperschaften: | , |
|---|---|
| Weitere Verfasser: | |
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cambridge, UK ; New York :
Cambridge University Press,
2007.
|
| Schriftenreihe: | Lecture notes in logic ;
28. |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| 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: | 1 online resource (xiii, 272 pages) |
| Bibliographie: | Includes bibliographical references. |
| ISBN: | 9780511355806 0511355807 9780511546464 0511546467 0511355289 9780511355288 9780521884259 052188425X |
Internformat
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn190861481 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 080117s2007 enk ob 100 0 eng d | ||
| 040 | |a N$T |b eng |e pn |c N$T |d YDXCP |d OCLCQ |d CAMBR |d OL$ |d OCLCO |d CDX |d IDEBK |d E7B |d REDDC |d OCLCF |d HUH |d OCLCO |d OCLCQ |d OCLCO |d OCL |d OCLCO |d EBLCP |d OCLCQ |d UAB |d OCLCQ |d AU@ |d OCLCQ |d OCL |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO |d OCLCL | ||
| 019 | |a 244656411 |a 648332465 |a 663426445 |a 847979101 | ||
| 020 | |a 9780511355806 |q (electronic bk.) | ||
| 020 | |a 0511355807 |q (electronic bk.) | ||
| 020 | |a 9780511546464 |q (electronic bk.) | ||
| 020 | |a 0511546467 |q (electronic bk.) | ||
| 020 | |a 0511355289 |q (electronic bk.) | ||
| 020 | |a 9780511355288 |q (electronic bk.) | ||
| 020 | |a 9780521884259 |q (hardback) | ||
| 020 | |a 052188425X |q (hardback) | ||
| 024 | 8 | |a 9786611153588 | |
| 035 | |a (OCoLC)190861481 |z (OCoLC)244656411 |z (OCoLC)648332465 |z (OCoLC)663426445 |z (OCoLC)847979101 | ||
| 037 | |a 115358 |b MIL | ||
| 050 | 4 | |a QA9.A1 |b L64 2007eb | |
| 072 | 7 | |a MAT |x 016000 |2 bisacsh | |
| 072 | 7 | |a MAT |x 018000 |2 bisacsh | |
| 082 | 7 | |a 511.3 |2 22 | |
| 049 | |a MAIN | ||
| 111 | 2 | |a Logic Colloquium. |0 http://id.loc.gov/authorities/names/n79106259 | |
| 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 others]. |
| 260 | |a Cambridge, UK ; |a New York : |b Cambridge University Press, |c 2007. | ||
| 300 | |a 1 online resource (xiii, 272 pages) | ||
| 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 28 | |
| 504 | |a Includes bibliographical references. | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |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 | 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 | |
| 655 | 7 | |a Conference papers and proceedings |2 fast | |
| 700 | 1 | |a Dimitracopoulos, Costas. |0 http://id.loc.gov/authorities/names/n2007043195 | |
| 710 | 2 | |a Association for Symbolic Logic. |0 http://id.loc.gov/authorities/names/n50054564 | |
| 758 | |i has work: |a Logic Colloquium 2005 (Text) |1 https://id.oclc.org/worldcat/entity/E39PCGfb7gDk74cFFtJbQ3wvd3 |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |a Logic Colloquium. |t Logic Colloquium 2005. |d Cambridge, UK ; New York : Cambridge University Press, 2007 |z 9780521884259 |z 052188425X |w (DLC) 2007025541 |w (OCoLC)145379856 |
| 830 | 0 | |a Lecture notes in logic ; |v 28. |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=213375 |3 Volltext |
| 938 | |a Coutts Information Services |b COUT |n 7447789 | ||
| 938 | |a ProQuest Ebook Central |b EBLB |n EBL321357 | ||
| 938 | |a ebrary |b EBRY |n ebr10209450 | ||
| 938 | |a EBSCOhost |b EBSC |n 213375 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n 115358 | ||
| 938 | |a YBP Library Services |b YANK |n 2806727 | ||
| 938 | |a YBP Library Services |b YANK |n 2748785 | ||
| 938 | |a YBP Library Services |b YANK |n 3276201 | ||
| 938 | |a YBP Library Services |b YANK |n 2758475 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn190861481 |
|---|---|
| _version_ | 1816881659512881152 |
| adam_text | |
| any_adam_object | |
| author2 | Dimitracopoulos, Costas |
| author2_role | |
| author2_variant | c d cd |
| author_GND | http://id.loc.gov/authorities/names/n2007043195 |
| author_corporate | Logic Colloquium Association for Symbolic Logic |
| author_corporate_role | |
| author_facet | Dimitracopoulos, Costas Logic Colloquium Association for Symbolic Logic |
| author_sort | Logic Colloquium |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.A1 L64 2007eb |
| callnumber-search | QA9.A1 L64 2007eb |
| callnumber-sort | QA 19 A1 L64 42007EB |
| callnumber-subject | QA - Mathematics |
| collection | ZDB-4-EBA |
| 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 | (OCoLC)190861481 |
| 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>05138cam a2200721 a 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn190861481</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">080117s2007 enk 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">YDXCP</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">CAMBR</subfield><subfield code="d">OL$</subfield><subfield code="d">OCLCO</subfield><subfield code="d">CDX</subfield><subfield code="d">IDEBK</subfield><subfield code="d">E7B</subfield><subfield code="d">REDDC</subfield><subfield code="d">OCLCF</subfield><subfield code="d">HUH</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCL</subfield><subfield code="d">OCLCO</subfield><subfield code="d">EBLCP</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">UAB</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">AU@</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCL</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">244656411</subfield><subfield code="a">648332465</subfield><subfield code="a">663426445</subfield><subfield code="a">847979101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511355806</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0511355807</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511546464</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0511546467</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0511355289</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511355288</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780521884259</subfield><subfield code="q">(hardback)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">052188425X</subfield><subfield code="q">(hardback)</subfield></datafield><datafield tag="024" ind1="8" ind2=" "><subfield code="a">9786611153588</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)190861481</subfield><subfield code="z">(OCoLC)244656411</subfield><subfield code="z">(OCoLC)648332465</subfield><subfield code="z">(OCoLC)663426445</subfield><subfield code="z">(OCoLC)847979101</subfield></datafield><datafield tag="037" ind1=" " ind2=" "><subfield code="a">115358</subfield><subfield code="b">MIL</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA9.A1</subfield><subfield code="b">L64 2007eb</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="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Logic Colloquium.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n79106259</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 others].</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Cambridge, UK ;</subfield><subfield code="a">New York :</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="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">28</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="505" ind1="0" 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="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="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">Dimitracopoulos, Costas.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n2007043195</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Association for Symbolic Logic.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n50054564</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">Logic Colloquium 2005 (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCGfb7gDk74cFFtJbQ3wvd3</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.</subfield><subfield code="t">Logic Colloquium 2005.</subfield><subfield code="d">Cambridge, UK ; New York : Cambridge University Press, 2007</subfield><subfield code="z">9780521884259</subfield><subfield code="z">052188425X</subfield><subfield code="w">(DLC) 2007025541</subfield><subfield code="w">(OCoLC)145379856</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in logic ;</subfield><subfield code="v">28.</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=213375</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Coutts Information Services</subfield><subfield code="b">COUT</subfield><subfield code="n">7447789</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest Ebook Central</subfield><subfield code="b">EBLB</subfield><subfield code="n">EBL321357</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ebrary</subfield><subfield code="b">EBRY</subfield><subfield code="n">ebr10209450</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">213375</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest MyiLibrary Digital eBook Collection</subfield><subfield code="b">IDEB</subfield><subfield code="n">115358</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">2806727</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">2748785</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">3276201</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">2758475</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 | Conference papers and proceedings fast |
| genre_facet | Conference papers and proceedings |
| id | ZDB-4-EBA-ocn190861481 |
| illustrated | Not Illustrated |
| indexdate | 2024-11-27T13:16:14Z |
| institution | BVB |
| institution_GND | http://id.loc.gov/authorities/names/n79106259 http://id.loc.gov/authorities/names/n50054564 |
| isbn | 9780511355806 0511355807 9780511546464 0511546467 0511355289 9780511355288 9780521884259 052188425X |
| language | English |
| oclc_num | 190861481 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource (xiii, 272 pages) |
| psigel | ZDB-4-EBA |
| publishDate | 2007 |
| publishDateSearch | 2007 |
| publishDateSort | 2007 |
| publisher | Cambridge University Press, |
| record_format | marc |
| series | Lecture notes in logic ; |
| series2 | Lecture notes in logic ; |
| spelling | Logic Colloquium. http://id.loc.gov/authorities/names/n79106259 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 others]. Cambridge, UK ; New York : Cambridge University Press, 2007. 1 online resource (xiii, 272 pages) text txt rdacontent computer c rdamedia online resource cr rdacarrier Lecture notes in logic ; 28 Includes bibliographical references. Print version record. 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. Logique symbolique et mathématique Congrès. MATHEMATICS Infinity. bisacsh MATHEMATICS Logic. bisacsh Logic, Symbolic and mathematical fast Conference papers and proceedings fast Dimitracopoulos, Costas. http://id.loc.gov/authorities/names/n2007043195 Association for Symbolic Logic. http://id.loc.gov/authorities/names/n50054564 has work: Logic Colloquium 2005 (Text) https://id.oclc.org/worldcat/entity/E39PCGfb7gDk74cFFtJbQ3wvd3 https://id.oclc.org/worldcat/ontology/hasWork Print version: Logic Colloquium. Logic Colloquium 2005. Cambridge, UK ; New York : Cambridge University Press, 2007 9780521884259 052188425X (DLC) 2007025541 (OCoLC)145379856 Lecture notes in logic ; 28. 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=213375 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 / Lecture notes in logic ; 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. Logique symbolique et mathématique Congrès. MATHEMATICS Infinity. bisacsh MATHEMATICS Logic. bisacsh Logic, Symbolic and mathematical fast |
| 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 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 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 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. Logique symbolique et mathématique Congrès. MATHEMATICS Infinity. bisacsh MATHEMATICS Logic. bisacsh Logic, Symbolic and mathematical fast |
| topic_facet | Logic, Symbolic and mathematical Congresses. Logique symbolique et mathématique Congrès. MATHEMATICS Infinity. MATHEMATICS Logic. Logic, Symbolic and mathematical Conference papers and proceedings |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=213375 |
| work_keys_str_mv | AT logiccolloquium logiccolloquium2005proceedingsoftheannualeuropeansummermeetingoftheassociationforsymboliclogicheldinathensgreecejuly28august32005 AT dimitracopouloscostas logiccolloquium2005proceedingsoftheannualeuropeansummermeetingoftheassociationforsymboliclogicheldinathensgreecejuly28august32005 AT associationforsymboliclogic logiccolloquium2005proceedingsoftheannualeuropeansummermeetingoftheassociationforsymboliclogicheldinathensgreecejuly28august32005 |