Models and computability :: invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 /
Together, Models and Computability and its sister volume Sets and Proofs will provide readers with a comprehensive guide to the current state of mathematical logic. All the authors are leaders in their fields and are drawn from the invited speakers at 'Logic Colloquium '97' (the major...
Gespeichert in:
| Körperschaften: | , |
|---|---|
| Weitere Verfasser: | , |
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cambridge ; New York :
Cambridge University Press,
1999.
|
| Schriftenreihe: | London Mathematical Society lecture note series ;
259. |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Zusammenfassung: | Together, Models and Computability and its sister volume Sets and Proofs will provide readers with a comprehensive guide to the current state of mathematical logic. All the authors are leaders in their fields and are drawn from the invited speakers at 'Logic Colloquium '97' (the major international meeting of the Association of Symbolic Logic). It is expected that the breadth and timeliness of these two volumes will prove an invaluable and unique resource for specialists, post-graduate researchers, and the informed and interested nonspecialist. |
| Beschreibung: | 1 online resource (ix, 419 pages) |
| Bibliographie: | Includes bibliographical references. |
| ISBN: | 9781107362703 1107362709 9781139882453 1139882457 9780511565670 0511565674 1107367611 9781107367616 1107372178 9781107372177 0511967551 9780511967559 1299405231 9781299405233 1107365155 9781107365155 |
Internformat
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn837167953 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 130409s1999 enk ob 100 0 eng d | ||
| 040 | |a N$T |b eng |e pn |c N$T |d OCLCO |d E7B |d OCLCA |d OCLCF |d OCLCO |d YDXCP |d OCL |d OCLCO |d OCLCQ |d OCLCO |d UIU |d OCLCQ |d AGLDB |d UAB |d OCLCQ |d VTS |d REC |d STF |d M8D |d UKAHL |d OL$ |d OCLCQ |d VLY |d AJS |d OCLCQ |d OCLCO |d INARC |d OCLCO |d OCLCQ |d OCLCO |d OCLCL |d OCLCQ | ||
| 019 | |a 715155923 |a 1100704539 |a 1102538819 |a 1162404080 |a 1241822326 |a 1242480573 | ||
| 020 | |a 9781107362703 |q (electronic bk.) | ||
| 020 | |a 1107362709 |q (electronic bk.) | ||
| 020 | |a 9781139882453 |q (e-book) | ||
| 020 | |a 1139882457 | ||
| 020 | |a 9780511565670 | ||
| 020 | |a 0511565674 | ||
| 020 | |a 1107367611 | ||
| 020 | |a 9781107367616 | ||
| 020 | |a 1107372178 | ||
| 020 | |a 9781107372177 | ||
| 020 | |a 0511967551 | ||
| 020 | |a 9780511967559 | ||
| 020 | |a 1299405231 | ||
| 020 | |a 9781299405233 | ||
| 020 | |a 1107365155 | ||
| 020 | |a 9781107365155 | ||
| 020 | |z 0521635500 | ||
| 020 | |z 9780521635509 | ||
| 035 | |a (OCoLC)837167953 |z (OCoLC)715155923 |z (OCoLC)1100704539 |z (OCoLC)1102538819 |z (OCoLC)1162404080 |z (OCoLC)1241822326 |z (OCoLC)1242480573 | ||
| 050 | 4 | |a QA9.A1 |b L64 1997eb | |
| 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 (1997 : |c Leeds, England) | |
| 245 | 1 | 0 | |a Models and computability : |b invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 / |c edited by S. Barry Cooper, John K. Truss. |
| 260 | |a Cambridge ; |a New York : |b Cambridge University Press, |c 1999. | ||
| 300 | |a 1 online resource (ix, 419 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 London Mathematical Society lecture note series ; |v 259 | |
| 504 | |a Includes bibliographical references. | ||
| 505 | 0 | 0 | |t Continuous functionals of dependent and transfinite types / |r U. Berger -- |t Degree-theoretic aspects of computably enumerable reals / |r C.S. Calude [and others] -- |t Simplicity and independence for pseudo-algebraically closed fields / |r Z. Chatzidakis -- |t Clockwork or turing U/universe? -- remarks on causal determinism and computability / |r S.B. Cooper -- |t Techniques oriented survey of bounded queries / |r W. Gasarch and F. Stephan -- |t Relative categoricity in abelian groups / |r W.A. Hodges -- |t Computability and complexity revisited / |r N.D. Jones -- |t Effective model theory : the number of models and their complexity / |r B. Khoussainov and R.A. Shore -- |t Survey on canonical bases in simple theories / |r B. Kim -- |t True approximations and models of arithmetic / |r J.F. Knight -- |t On the topological stability conjecture / |r L. Newelski -- |t Mahlo-universe of effective domains with totality / |r D. Normann -- |t Logic and decision making / |r D.E. Over -- |t Sheaf of locally definable scalars over a ring / |r M.Y. Prest -- |t Human styles of quantificational reasoning / |r L.J. Rips -- |t Recursion theoretic memories 1954-1978 / |r G.E. Sacks -- |t Fields definable in simple groups / |r K. Tent -- |t Combinatory algebra for sequential functionals of finite type / |r J. Van Oosten -- |t Model theory of analytic and smooth functions / |r A.J. Wilkie. |
| 588 | 0 | |a Print version record. | |
| 520 | |a Together, Models and Computability and its sister volume Sets and Proofs will provide readers with a comprehensive guide to the current state of mathematical logic. All the authors are leaders in their fields and are drawn from the invited speakers at 'Logic Colloquium '97' (the major international meeting of the Association of Symbolic Logic). It is expected that the breadth and timeliness of these two volumes will prove an invaluable and unique resource for specialists, post-graduate researchers, and the informed and interested nonspecialist. | ||
| 546 | |a English. | ||
| 650 | 0 | |a Logic, Symbolic and mathematical |v Congresses. | |
| 650 | 0 | |a Computable functions |v Congresses. | |
| 650 | 6 | |a Logique symbolique et mathématique |v Congrès. | |
| 650 | 6 | |a Fonctions calculables |v Congrès. | |
| 650 | 7 | |a MATHEMATICS |x Infinity. |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS |x Logic. |2 bisacsh | |
| 650 | 7 | |a Computable functions |2 fast | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 650 | 1 | 7 | |a Berekenbaarheid. |2 gtt |
| 650 | 1 | 7 | |a Verzamelingen (wiskunde) |2 gtt |
| 650 | 1 | 7 | |a Bewijstheorie. |2 gtt |
| 650 | 1 | 7 | |a Logica. |2 gtt |
| 650 | 7 | |a Teoria dos modelos (congressos) |2 larpcal | |
| 650 | 7 | |a Lógica matemática (congressos) |2 larpcal | |
| 650 | 7 | |a Logique symbolique et mathématique |x Congrès. |2 ram | |
| 650 | 7 | |a Systèmes informatiques |x Congrès. |2 ram | |
| 655 | 7 | |a Conference papers and proceedings |2 fast | |
| 700 | 1 | |a Cooper, S. B. |q (S. Barry) |1 https://id.oclc.org/worldcat/entity/E39PBJdcwwDHpCWXQw9t3P3JDq |0 http://id.loc.gov/authorities/names/n95107558 | |
| 700 | 1 | |a Truss, J. K. |0 http://id.loc.gov/authorities/names/nr88008393 | |
| 710 | 2 | |a Association for Symbolic Logic. |0 http://id.loc.gov/authorities/names/n50054564 | |
| 776 | 0 | 8 | |i Print version: |a Logic Colloquium (1997 : Leeds, England). |t Models and computability. |d Cambridge ; New York : Cambridge University Press, 1999 |z 0521635500 |w (DLC) 99019677 |w (OCoLC)40783948 |
| 830 | 0 | |a London Mathematical Society lecture note series ; |v 259. |0 http://id.loc.gov/authorities/names/n42015587 | |
| 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=552643 |3 Volltext |
| 938 | |a Internet Archive |b INAR |n modelscomputabil0000logi | ||
| 938 | |a Askews and Holts Library Services |b ASKH |n AH13424551 | ||
| 938 | |a Askews and Holts Library Services |b ASKH |n AH26385112 | ||
| 938 | |a ebrary |b EBRY |n ebr10449305 | ||
| 938 | |a EBSCOhost |b EBSC |n 552643 | ||
| 938 | |a YBP Library Services |b YANK |n 10405688 | ||
| 938 | |a YBP Library Services |b YANK |n 10370230 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn837167953 |
|---|---|
| _version_ | 1816882228503773184 |
| adam_text | |
| any_adam_object | |
| author2 | Cooper, S. B. (S. Barry) Truss, J. K. |
| author2_role | |
| author2_variant | s b c sb sbc j k t jk jkt |
| author_GND | http://id.loc.gov/authorities/names/n95107558 http://id.loc.gov/authorities/names/nr88008393 |
| author_additional | U. Berger -- C.S. Calude [and others] -- Z. Chatzidakis -- S.B. Cooper -- W. Gasarch and F. Stephan -- W.A. Hodges -- N.D. Jones -- B. Khoussainov and R.A. Shore -- B. Kim -- J.F. Knight -- L. Newelski -- D. Normann -- D.E. Over -- M.Y. Prest -- L.J. Rips -- G.E. Sacks -- K. Tent -- J. Van Oosten -- A.J. Wilkie. |
| author_corporate | Logic Colloquium Leeds, England Association for Symbolic Logic |
| author_corporate_role | |
| author_facet | Cooper, S. B. (S. Barry) Truss, J. K. Logic Colloquium Leeds, England Association for Symbolic Logic |
| author_sort | Logic Colloquium Leeds, England |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.A1 L64 1997eb |
| callnumber-search | QA9.A1 L64 1997eb |
| callnumber-sort | QA 19 A1 L64 41997EB |
| callnumber-subject | QA - Mathematics |
| collection | ZDB-4-EBA |
| contents | Continuous functionals of dependent and transfinite types / Degree-theoretic aspects of computably enumerable reals / Simplicity and independence for pseudo-algebraically closed fields / Clockwork or turing U/universe? -- remarks on causal determinism and computability / Techniques oriented survey of bounded queries / Relative categoricity in abelian groups / Computability and complexity revisited / Effective model theory : the number of models and their complexity / Survey on canonical bases in simple theories / True approximations and models of arithmetic / On the topological stability conjecture / Mahlo-universe of effective domains with totality / Logic and decision making / Sheaf of locally definable scalars over a ring / Human styles of quantificational reasoning / Recursion theoretic memories 1954-1978 / Fields definable in simple groups / Combinatory algebra for sequential functionals of finite type / Model theory of analytic and smooth functions / |
| ctrlnum | (OCoLC)837167953 |
| 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>06054cam a2200949 a 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn837167953</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">130409s1999 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">OCLCO</subfield><subfield code="d">E7B</subfield><subfield code="d">OCLCA</subfield><subfield code="d">OCLCF</subfield><subfield code="d">OCLCO</subfield><subfield code="d">YDXCP</subfield><subfield code="d">OCL</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">UIU</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">AGLDB</subfield><subfield code="d">UAB</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">VTS</subfield><subfield code="d">REC</subfield><subfield code="d">STF</subfield><subfield code="d">M8D</subfield><subfield code="d">UKAHL</subfield><subfield code="d">OL$</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">VLY</subfield><subfield code="d">AJS</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">INARC</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield><subfield code="d">OCLCQ</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">715155923</subfield><subfield code="a">1100704539</subfield><subfield code="a">1102538819</subfield><subfield code="a">1162404080</subfield><subfield code="a">1241822326</subfield><subfield code="a">1242480573</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781107362703</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1107362709</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781139882453</subfield><subfield code="q">(e-book)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1139882457</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511565670</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0511565674</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1107367611</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781107367616</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1107372178</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781107372177</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0511967551</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511967559</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1299405231</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781299405233</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1107365155</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781107365155</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">0521635500</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9780521635509</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)837167953</subfield><subfield code="z">(OCoLC)715155923</subfield><subfield code="z">(OCoLC)1100704539</subfield><subfield code="z">(OCoLC)1102538819</subfield><subfield code="z">(OCoLC)1162404080</subfield><subfield code="z">(OCoLC)1241822326</subfield><subfield code="z">(OCoLC)1242480573</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA9.A1</subfield><subfield code="b">L64 1997eb</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">(1997 :</subfield><subfield code="c">Leeds, England)</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Models and computability :</subfield><subfield code="b">invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 /</subfield><subfield code="c">edited by S. Barry Cooper, John K. Truss.</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="c">1999.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (ix, 419 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">London Mathematical Society lecture note series ;</subfield><subfield code="v">259</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references.</subfield></datafield><datafield tag="505" ind1="0" ind2="0"><subfield code="t">Continuous functionals of dependent and transfinite types /</subfield><subfield code="r">U. Berger --</subfield><subfield code="t">Degree-theoretic aspects of computably enumerable reals /</subfield><subfield code="r">C.S. Calude [and others] --</subfield><subfield code="t">Simplicity and independence for pseudo-algebraically closed fields /</subfield><subfield code="r">Z. Chatzidakis --</subfield><subfield code="t">Clockwork or turing U/universe? -- remarks on causal determinism and computability /</subfield><subfield code="r">S.B. Cooper --</subfield><subfield code="t">Techniques oriented survey of bounded queries /</subfield><subfield code="r">W. Gasarch and F. Stephan --</subfield><subfield code="t">Relative categoricity in abelian groups /</subfield><subfield code="r">W.A. Hodges --</subfield><subfield code="t">Computability and complexity revisited /</subfield><subfield code="r">N.D. Jones --</subfield><subfield code="t">Effective model theory : the number of models and their complexity /</subfield><subfield code="r">B. Khoussainov and R.A. Shore --</subfield><subfield code="t">Survey on canonical bases in simple theories /</subfield><subfield code="r">B. Kim --</subfield><subfield code="t">True approximations and models of arithmetic /</subfield><subfield code="r">J.F. Knight --</subfield><subfield code="t">On the topological stability conjecture /</subfield><subfield code="r">L. Newelski --</subfield><subfield code="t">Mahlo-universe of effective domains with totality /</subfield><subfield code="r">D. Normann --</subfield><subfield code="t">Logic and decision making /</subfield><subfield code="r">D.E. Over --</subfield><subfield code="t">Sheaf of locally definable scalars over a ring /</subfield><subfield code="r">M.Y. Prest --</subfield><subfield code="t">Human styles of quantificational reasoning /</subfield><subfield code="r">L.J. Rips --</subfield><subfield code="t">Recursion theoretic memories 1954-1978 /</subfield><subfield code="r">G.E. Sacks --</subfield><subfield code="t">Fields definable in simple groups /</subfield><subfield code="r">K. Tent --</subfield><subfield code="t">Combinatory algebra for sequential functionals of finite type /</subfield><subfield code="r">J. Van Oosten --</subfield><subfield code="t">Model theory of analytic and smooth functions /</subfield><subfield code="r">A.J. Wilkie.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Together, Models and Computability and its sister volume Sets and Proofs will provide readers with a comprehensive guide to the current state of mathematical logic. All the authors are leaders in their fields and are drawn from the invited speakers at 'Logic Colloquium '97' (the major international meeting of the Association of Symbolic Logic). It is expected that the breadth and timeliness of these two volumes will prove an invaluable and unique resource for specialists, post-graduate researchers, and the informed and interested nonspecialist.</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="0"><subfield code="a">Computable functions</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="6"><subfield code="a">Fonctions calculables</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">Computable functions</subfield><subfield code="2">fast</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">Berekenbaarheid.</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1="1" ind2="7"><subfield code="a">Verzamelingen (wiskunde)</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1="1" ind2="7"><subfield code="a">Bewijstheorie.</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1="1" ind2="7"><subfield code="a">Logica.</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Teoria dos modelos (congressos)</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Lógica matemática (congressos)</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logique symbolique et mathématique</subfield><subfield code="x">Congrès.</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Systèmes informatiques</subfield><subfield code="x">Congrès.</subfield><subfield code="2">ram</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="1">https://id.oclc.org/worldcat/entity/E39PBJdcwwDHpCWXQw9t3P3JDq</subfield><subfield code="0">http://id.loc.gov/authorities/names/n95107558</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Truss, J. K.</subfield><subfield code="0">http://id.loc.gov/authorities/names/nr88008393</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="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">Logic Colloquium (1997 : Leeds, England).</subfield><subfield code="t">Models and computability.</subfield><subfield code="d">Cambridge ; New York : Cambridge University Press, 1999</subfield><subfield code="z">0521635500</subfield><subfield code="w">(DLC) 99019677</subfield><subfield code="w">(OCoLC)40783948</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">London Mathematical Society lecture note series ;</subfield><subfield code="v">259.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n42015587</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=552643</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Internet Archive</subfield><subfield code="b">INAR</subfield><subfield code="n">modelscomputabil0000logi</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Askews and Holts Library Services</subfield><subfield code="b">ASKH</subfield><subfield code="n">AH13424551</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Askews and Holts Library Services</subfield><subfield code="b">ASKH</subfield><subfield code="n">AH26385112</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ebrary</subfield><subfield code="b">EBRY</subfield><subfield code="n">ebr10449305</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">552643</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">10405688</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">10370230</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-ocn837167953 |
| illustrated | Not Illustrated |
| indexdate | 2024-11-27T13:25:17Z |
| institution | BVB |
| institution_GND | http://id.loc.gov/authorities/names/n50054564 |
| isbn | 9781107362703 1107362709 9781139882453 1139882457 9780511565670 0511565674 1107367611 9781107367616 1107372178 9781107372177 0511967551 9780511967559 1299405231 9781299405233 1107365155 9781107365155 |
| language | English |
| oclc_num | 837167953 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource (ix, 419 pages) |
| psigel | ZDB-4-EBA |
| publishDate | 1999 |
| publishDateSearch | 1999 |
| publishDateSort | 1999 |
| publisher | Cambridge University Press, |
| record_format | marc |
| series | London Mathematical Society lecture note series ; |
| series2 | London Mathematical Society lecture note series ; |
| spelling | Logic Colloquium (1997 : Leeds, England) Models and computability : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 / edited by S. Barry Cooper, John K. Truss. Cambridge ; New York : Cambridge University Press, 1999. 1 online resource (ix, 419 pages) text txt rdacontent computer c rdamedia online resource cr rdacarrier London Mathematical Society lecture note series ; 259 Includes bibliographical references. Continuous functionals of dependent and transfinite types / U. Berger -- Degree-theoretic aspects of computably enumerable reals / C.S. Calude [and others] -- Simplicity and independence for pseudo-algebraically closed fields / Z. Chatzidakis -- Clockwork or turing U/universe? -- remarks on causal determinism and computability / S.B. Cooper -- Techniques oriented survey of bounded queries / W. Gasarch and F. Stephan -- Relative categoricity in abelian groups / W.A. Hodges -- Computability and complexity revisited / N.D. Jones -- Effective model theory : the number of models and their complexity / B. Khoussainov and R.A. Shore -- Survey on canonical bases in simple theories / B. Kim -- True approximations and models of arithmetic / J.F. Knight -- On the topological stability conjecture / L. Newelski -- Mahlo-universe of effective domains with totality / D. Normann -- Logic and decision making / D.E. Over -- Sheaf of locally definable scalars over a ring / M.Y. Prest -- Human styles of quantificational reasoning / L.J. Rips -- Recursion theoretic memories 1954-1978 / G.E. Sacks -- Fields definable in simple groups / K. Tent -- Combinatory algebra for sequential functionals of finite type / J. Van Oosten -- Model theory of analytic and smooth functions / A.J. Wilkie. Print version record. Together, Models and Computability and its sister volume Sets and Proofs will provide readers with a comprehensive guide to the current state of mathematical logic. All the authors are leaders in their fields and are drawn from the invited speakers at 'Logic Colloquium '97' (the major international meeting of the Association of Symbolic Logic). It is expected that the breadth and timeliness of these two volumes will prove an invaluable and unique resource for specialists, post-graduate researchers, and the informed and interested nonspecialist. English. Logic, Symbolic and mathematical Congresses. Computable functions Congresses. Logique symbolique et mathématique Congrès. Fonctions calculables Congrès. MATHEMATICS Infinity. bisacsh MATHEMATICS Logic. bisacsh Computable functions fast Logic, Symbolic and mathematical fast Berekenbaarheid. gtt Verzamelingen (wiskunde) gtt Bewijstheorie. gtt Logica. gtt Teoria dos modelos (congressos) larpcal Lógica matemática (congressos) larpcal Logique symbolique et mathématique Congrès. ram Systèmes informatiques Congrès. ram Conference papers and proceedings fast Cooper, S. B. (S. Barry) https://id.oclc.org/worldcat/entity/E39PBJdcwwDHpCWXQw9t3P3JDq http://id.loc.gov/authorities/names/n95107558 Truss, J. K. http://id.loc.gov/authorities/names/nr88008393 Association for Symbolic Logic. http://id.loc.gov/authorities/names/n50054564 Print version: Logic Colloquium (1997 : Leeds, England). Models and computability. Cambridge ; New York : Cambridge University Press, 1999 0521635500 (DLC) 99019677 (OCoLC)40783948 London Mathematical Society lecture note series ; 259. http://id.loc.gov/authorities/names/n42015587 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=552643 Volltext |
| spellingShingle | Models and computability : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 / London Mathematical Society lecture note series ; Continuous functionals of dependent and transfinite types / Degree-theoretic aspects of computably enumerable reals / Simplicity and independence for pseudo-algebraically closed fields / Clockwork or turing U/universe? -- remarks on causal determinism and computability / Techniques oriented survey of bounded queries / Relative categoricity in abelian groups / Computability and complexity revisited / Effective model theory : the number of models and their complexity / Survey on canonical bases in simple theories / True approximations and models of arithmetic / On the topological stability conjecture / Mahlo-universe of effective domains with totality / Logic and decision making / Sheaf of locally definable scalars over a ring / Human styles of quantificational reasoning / Recursion theoretic memories 1954-1978 / Fields definable in simple groups / Combinatory algebra for sequential functionals of finite type / Model theory of analytic and smooth functions / Logic, Symbolic and mathematical Congresses. Computable functions Congresses. Logique symbolique et mathématique Congrès. Fonctions calculables Congrès. MATHEMATICS Infinity. bisacsh MATHEMATICS Logic. bisacsh Computable functions fast Logic, Symbolic and mathematical fast Berekenbaarheid. gtt Verzamelingen (wiskunde) gtt Bewijstheorie. gtt Logica. gtt Teoria dos modelos (congressos) larpcal Lógica matemática (congressos) larpcal Logique symbolique et mathématique Congrès. ram Systèmes informatiques Congrès. ram |
| title | Models and computability : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 / |
| title_alt | Continuous functionals of dependent and transfinite types / Degree-theoretic aspects of computably enumerable reals / Simplicity and independence for pseudo-algebraically closed fields / Clockwork or turing U/universe? -- remarks on causal determinism and computability / Techniques oriented survey of bounded queries / Relative categoricity in abelian groups / Computability and complexity revisited / Effective model theory : the number of models and their complexity / Survey on canonical bases in simple theories / True approximations and models of arithmetic / On the topological stability conjecture / Mahlo-universe of effective domains with totality / Logic and decision making / Sheaf of locally definable scalars over a ring / Human styles of quantificational reasoning / Recursion theoretic memories 1954-1978 / Fields definable in simple groups / Combinatory algebra for sequential functionals of finite type / Model theory of analytic and smooth functions / |
| title_auth | Models and computability : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 / |
| title_exact_search | Models and computability : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 / |
| title_full | Models and computability : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 / edited by S. Barry Cooper, John K. Truss. |
| title_fullStr | Models and computability : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 / edited by S. Barry Cooper, John K. Truss. |
| title_full_unstemmed | Models and computability : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 / edited by S. Barry Cooper, John K. Truss. |
| title_short | Models and computability : |
| title_sort | models and computability invited papers from logic colloquium 97 european meeting of the association for symbolic logic leeds july 1997 |
| title_sub | invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 / |
| topic | Logic, Symbolic and mathematical Congresses. Computable functions Congresses. Logique symbolique et mathématique Congrès. Fonctions calculables Congrès. MATHEMATICS Infinity. bisacsh MATHEMATICS Logic. bisacsh Computable functions fast Logic, Symbolic and mathematical fast Berekenbaarheid. gtt Verzamelingen (wiskunde) gtt Bewijstheorie. gtt Logica. gtt Teoria dos modelos (congressos) larpcal Lógica matemática (congressos) larpcal Logique symbolique et mathématique Congrès. ram Systèmes informatiques Congrès. ram |
| topic_facet | Logic, Symbolic and mathematical Congresses. Computable functions Congresses. Logique symbolique et mathématique Congrès. Fonctions calculables Congrès. MATHEMATICS Infinity. MATHEMATICS Logic. Computable functions Logic, Symbolic and mathematical Berekenbaarheid. Verzamelingen (wiskunde) Bewijstheorie. Logica. Teoria dos modelos (congressos) Lógica matemática (congressos) Systèmes informatiques Congrès. Conference papers and proceedings |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=552643 |
| work_keys_str_mv | AT logiccolloquiumleedsengland modelsandcomputabilityinvitedpapersfromlogiccolloquium97europeanmeetingoftheassociationforsymboliclogicleedsjuly1997 AT coopersb modelsandcomputabilityinvitedpapersfromlogiccolloquium97europeanmeetingoftheassociationforsymboliclogicleedsjuly1997 AT trussjk modelsandcomputabilityinvitedpapersfromlogiccolloquium97europeanmeetingoftheassociationforsymboliclogicleedsjuly1997 AT associationforsymboliclogic modelsandcomputabilityinvitedpapersfromlogiccolloquium97europeanmeetingoftheassociationforsymboliclogicleedsjuly1997 |