Logic colloquium 2005: proceedings of the Annaul European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, july 28 - august 3, 2005
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2008
|
| Ausgabe: | 1. publ. |
| Schriftenreihe: | Lecture notes in logic
28 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XIII, 272 S. |
| ISBN: | 9780521884259 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV035109528 | ||
| 003 | DE-604 | ||
| 005 | 20090506 | ||
| 007 | t | ||
| 008 | 081020s2008 |||| 00||| eng d | ||
| 020 | |a 9780521884259 |9 978-0-521-88425-9 | ||
| 035 | |a (OCoLC)635335912 | ||
| 035 | |a (DE-599)BVBBV035109528 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-19 | ||
| 084 | |a SD 2005 |0 (DE-625)142739: |2 rvk | ||
| 245 | 1 | 0 | |a Logic colloquium 2005 |b proceedings of the Annaul European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, july 28 - august 3, 2005 |c ed. by Costas Dimitracopoulos ... |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2008 | |
| 300 | |a XIII, 272 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in logic |v 28 | |
| 655 | 7 | |8 1\p |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Dimitracopoulos, Costas |e Sonstige |4 oth | |
| 830 | 0 | |a Lecture notes in logic |v 28 |w (DE-604)BV008909514 |9 28 | |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016777381&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-016777381 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804138081484275712 |
|---|---|
| adam_text | 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 DEPARTMENT OF HISTORY AND PHILOSOPHY OF SCIENCE
UNIVERSITY OF ATHENS LUDOMIR NEWELSKI MATHEMATICAL INSTITUTE WROCLAW
UNIVERSITY DAG NORMANN DEPARTMENT OF MATHEMATICS UNIVERSITY OF OSLO JOHN
R. STEEL DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCE UNIVERSITY OF
CALIFORNIA, BERKELEY ASSOCIATION FOR SYMBOLIC LOGIC CAMBRIDGE UNIVERSITY
PRESS CONTENTS INTRODUCTION IX SPEAKERS AND TITLES XI JAN A. BERGSTRA,
INGE BETHKE AND ALBAN PONSE THREAD ALGEBRA AND RISK ASSESSMENT SERVICES
1 MARIO J. EDMUNDO COVERING DEFINABLE MANIFOLDS BY OPEN DEFINABLE
SUBSETS 18 SERGEI S. GONCHAROV ISOMORPHISMS AND DEFINABLE RELATIONS ON
COMPUTABLE MODELS 26 DEIRDRE HASKELL INDEPENDENCE FOR TYPES IN
ALGEBRAICALLY CLOSED VALUED FIELDS 46 ERIC JALIGOT SIMPLE GROUPS OF
FINITE MORLEY RANK 57 HANNES LEITGEB TOWARDS A LOGIC OF TYPE-FREE
MODALITY AND TRUTH 68 JUSTIN TATCH MOORE STRUCTURAL ANALYSIS OF
ARONSZAJN TREES 85 SARA NEGRI PROOF ANALYSIS IN NON-CLASSICAL LOGICS 107
CHARLES PARSONS PAUL BERNAYS LATER PHILOSOPHY OF MATHEMATICS 129 GREG
RESTALL PROOFNETS FOR S5: SEQUENTS AND CIRCUITS FOR MODAL LOGIC 151
HELMUT SCHWICHTENBERG RECURSION ON THE PARTIAL CONTINUOUS FUNCTIONALS
173 MICHAEL SHEARD A TRANSACTIONAL APPROACH TO THE LOGIC OF TRUTH 202
VLL VLLL CONTENTS DIETER SPREEN ON SOME PROBLEMS IN COMPUTABLE TOPOLOGY
221 SERGEI TUPAILO MONOTONE INDUCTIVE DEFINITIONS AND CONSISTENCY OF NEW
FOUNDATIONS 255
|
| adam_txt |
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 DEPARTMENT OF HISTORY AND PHILOSOPHY OF SCIENCE
UNIVERSITY OF ATHENS LUDOMIR NEWELSKI MATHEMATICAL INSTITUTE WROCLAW
UNIVERSITY DAG NORMANN DEPARTMENT OF MATHEMATICS UNIVERSITY OF OSLO JOHN
R. STEEL DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCE UNIVERSITY OF
CALIFORNIA, BERKELEY ASSOCIATION FOR SYMBOLIC LOGIC CAMBRIDGE UNIVERSITY
PRESS CONTENTS INTRODUCTION IX SPEAKERS AND TITLES XI JAN A. BERGSTRA,
INGE BETHKE AND ALBAN PONSE THREAD ALGEBRA AND RISK ASSESSMENT SERVICES
1 MARIO J. EDMUNDO COVERING DEFINABLE MANIFOLDS BY OPEN DEFINABLE
SUBSETS 18 SERGEI S. GONCHAROV ISOMORPHISMS AND DEFINABLE RELATIONS ON
COMPUTABLE MODELS 26 DEIRDRE HASKELL INDEPENDENCE FOR TYPES IN
ALGEBRAICALLY CLOSED VALUED FIELDS 46 ERIC JALIGOT SIMPLE GROUPS OF
FINITE MORLEY RANK 57 HANNES LEITGEB TOWARDS A LOGIC OF TYPE-FREE
MODALITY AND TRUTH 68 JUSTIN TATCH MOORE STRUCTURAL ANALYSIS OF
ARONSZAJN TREES 85 SARA NEGRI PROOF ANALYSIS IN NON-CLASSICAL LOGICS 107
CHARLES PARSONS PAUL BERNAYS' LATER PHILOSOPHY OF MATHEMATICS 129 GREG
RESTALL PROOFNETS FOR S5: SEQUENTS AND CIRCUITS FOR MODAL LOGIC 151
HELMUT SCHWICHTENBERG RECURSION ON THE PARTIAL CONTINUOUS FUNCTIONALS
173 MICHAEL SHEARD A TRANSACTIONAL APPROACH TO THE LOGIC OF TRUTH 202
VLL VLLL CONTENTS DIETER SPREEN ON SOME PROBLEMS IN COMPUTABLE TOPOLOGY
221 SERGEI TUPAILO MONOTONE INDUCTIVE DEFINITIONS AND CONSISTENCY OF NEW
FOUNDATIONS 255 |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| building | Verbundindex |
| bvnumber | BV035109528 |
| classification_rvk | SD 2005 |
| ctrlnum | (OCoLC)635335912 (DE-599)BVBBV035109528 |
| discipline | Mathematik |
| discipline_str_mv | Mathematik |
| edition | 1. publ. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01433nam a2200337 cb4500</leader><controlfield tag="001">BV035109528</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090506 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">081020s2008 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780521884259</subfield><subfield code="9">978-0-521-88425-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)635335912</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV035109528</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-19</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="245" ind1="1" ind2="0"><subfield code="a">Logic colloquium 2005</subfield><subfield code="b">proceedings of the Annaul European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, july 28 - august 3, 2005</subfield><subfield code="c">ed. by Costas Dimitracopoulos ...</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2008</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 272 S.</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</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="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><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="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in logic</subfield><subfield code="v">28</subfield><subfield code="w">(DE-604)BV008909514</subfield><subfield code="9">28</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016777381&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-016777381</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV035109528 |
| illustrated | Not Illustrated |
| index_date | 2024-07-02T22:16:59Z |
| indexdate | 2024-07-09T21:22:31Z |
| institution | BVB |
| isbn | 9780521884259 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-016777381 |
| oclc_num | 635335912 |
| open_access_boolean | |
| owner | DE-19 DE-BY-UBM |
| owner_facet | DE-19 DE-BY-UBM |
| physical | XIII, 272 S. |
| publishDate | 2008 |
| publishDateSearch | 2008 |
| publishDateSort | 2008 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in logic |
| series2 | Lecture notes in logic |
| spelling | Logic colloquium 2005 proceedings of the Annaul European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, july 28 - august 3, 2005 ed. by Costas Dimitracopoulos ... 1. publ. Berlin [u.a.] Springer 2008 XIII, 272 S. txt rdacontent n rdamedia nc rdacarrier Lecture notes in logic 28 1\p (DE-588)1071861417 Konferenzschrift gnd-content Dimitracopoulos, Costas Sonstige oth Lecture notes in logic 28 (DE-604)BV008909514 28 GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016777381&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Logic colloquium 2005 proceedings of the Annaul European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, july 28 - august 3, 2005 Lecture notes in logic |
| subject_GND | (DE-588)1071861417 |
| title | Logic colloquium 2005 proceedings of the Annaul 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 Annaul 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 Annaul European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, july 28 - august 3, 2005 |
| title_exact_search_txtP | Logic colloquium 2005 proceedings of the Annaul 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 Annaul European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, july 28 - august 3, 2005 ed. by Costas Dimitracopoulos ... |
| title_fullStr | Logic colloquium 2005 proceedings of the Annaul European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, july 28 - august 3, 2005 ed. by Costas Dimitracopoulos ... |
| title_full_unstemmed | Logic colloquium 2005 proceedings of the Annaul European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, july 28 - august 3, 2005 ed. by Costas Dimitracopoulos ... |
| title_short | Logic colloquium 2005 |
| title_sort | logic colloquium 2005 proceedings of the annaul european summer meeting of the association for symbolic logic held in athens greece july 28 august 3 2005 |
| title_sub | proceedings of the Annaul European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, july 28 - august 3, 2005 |
| topic_facet | Konferenzschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016777381&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV008909514 |
| work_keys_str_mv | AT dimitracopouloscostas logiccolloquium2005proceedingsoftheannauleuropeansummermeetingoftheassociationforsymboliclogicheldinathensgreecejuly28august32005 |