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...
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | Electronic Conference Proceeding eBook |
| Language: | English |
| Published: |
Cambridge
Cambridge University Press
1999
|
| Series: | London Mathematical Society lecture note series
259 |
| Subjects: | |
| Online Access: | BSB01 FHN01 Volltext |
| Summary: | 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 |
| Item Description: | Title from publisher's bibliographic system (viewed on 05 Oct 2015) |
| Physical Description: | 1 online resource (ix, 419 pages) |
| ISBN: | 9780511565670 |
| DOI: | 10.1017/CBO9780511565670 |
Staff View
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043946033 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 161206s1999 |||| o||u| ||||||eng d | ||
| 020 | |a 9780511565670 |c Online |9 978-0-511-56567-0 | ||
| 024 | 7 | |a 10.1017/CBO9780511565670 |2 doi | |
| 035 | |a (ZDB-20-CBO)CR9780511565670 | ||
| 035 | |a (OCoLC)849959677 | ||
| 035 | |a (DE-599)BVBBV043946033 | ||
| 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 21 | |
| 084 | |a SD 1997 |0 (DE-625)142731: |2 rvk | ||
| 084 | |a SI 320 |0 (DE-625)143123: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 110 | 2 | |a Logic Colloquium <1997, Leeds, England> |e Verfasser |4 aut | |
| 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 |
| 246 | 1 | 3 | |a Models & Computability |
| 264 | 1 | |a Cambridge |b Cambridge University Press |c 1999 | |
| 300 | |a 1 online resource (ix, 419 pages) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a London Mathematical Society lecture note series |v 259 | |
| 500 | |a Title from publisher's bibliographic system (viewed on 05 Oct 2015) | ||
| 505 | 8 | 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? |r S.B. Cooper |e marks on causal determinism and computability |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 |
| 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 | ||
| 650 | 4 | |a Logic, Symbolic and mathematical / Congresses | |
| 650 | 4 | |a Computable functions / Congresses | |
| 650 | 0 | 7 | |a Berechenbarkeit |0 (DE-588)4138368-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Modelltheorie |0 (DE-588)4114617-7 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Modelltheorie |0 (DE-588)4114617-7 |D s |
| 689 | 0 | 1 | |a Berechenbarkeit |0 (DE-588)4138368-0 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Cooper, S. B. |4 edt | |
| 700 | 1 | |a Truss, J. K. |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-63550-9 |
| 856 | 4 | 0 | |u https://doi.org/10.1017/CBO9780511565670 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-20-CBO | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029355004 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u https://doi.org/10.1017/CBO9780511565670 |l BSB01 |p ZDB-20-CBO |q BSB_PDA_CBO |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1017/CBO9780511565670 |l FHN01 |p ZDB-20-CBO |q FHN_PDA_CBO |x Verlag |3 Volltext | |
Record in the Search Index
| _version_ | 1804176892909060096 |
|---|---|
| any_adam_object | |
| author2 | Cooper, S. B. Truss, J. K. |
| author2_role | edt edt |
| author2_variant | s b c sb sbc j k t jk jkt |
| 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 <1997, Leeds, England> |
| author_corporate_role | aut |
| author_facet | Cooper, S. B. Truss, J. K. Logic Colloquium <1997, Leeds, England> |
| author_sort | Logic Colloquium <1997, Leeds, England> |
| building | Verbundindex |
| bvnumber | BV043946033 |
| classification_rvk | SD 1997 SI 320 SK 130 |
| collection | ZDB-20-CBO |
| 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? 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 | (ZDB-20-CBO)CR9780511565670 (OCoLC)849959677 (DE-599)BVBBV043946033 |
| 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/CBO9780511565670 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04257nmm a2200589zcb4500</leader><controlfield tag="001">BV043946033</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">161206s1999 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511565670</subfield><subfield code="c">Online</subfield><subfield code="9">978-0-511-56567-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1017/CBO9780511565670</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-20-CBO)CR9780511565670</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)849959677</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043946033</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">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SD 1997</subfield><subfield code="0">(DE-625)142731:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SI 320</subfield><subfield code="0">(DE-625)143123:</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 <1997, Leeds, England></subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</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="246" ind1="1" ind2="3"><subfield code="a">Models & Computability</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</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="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">London Mathematical Society lecture note series</subfield><subfield code="v">259</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="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?</subfield><subfield code="r">S.B. Cooper</subfield><subfield code="e">marks on causal determinism and computability</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="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="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical / Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computable functions / Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Berechenbarkeit</subfield><subfield code="0">(DE-588)4138368-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modelltheorie</subfield><subfield code="0">(DE-588)4114617-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="689" ind1="0" ind2="0"><subfield code="a">Modelltheorie</subfield><subfield code="0">(DE-588)4114617-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Berechenbarkeit</subfield><subfield code="0">(DE-588)4138368-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Cooper, S. B.</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Truss, J. K.</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-63550-9</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1017/CBO9780511565670</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-029355004</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><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/CBO9780511565670</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/CBO9780511565670</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.BV043946033 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:39:24Z |
| institution | BVB |
| isbn | 9780511565670 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029355004 |
| oclc_num | 849959677 |
| open_access_boolean | |
| owner | DE-12 DE-92 |
| owner_facet | DE-12 DE-92 |
| physical | 1 online resource (ix, 419 pages) |
| psigel | ZDB-20-CBO ZDB-20-CBO BSB_PDA_CBO ZDB-20-CBO FHN_PDA_CBO |
| publishDate | 1999 |
| publishDateSearch | 1999 |
| publishDateSort | 1999 |
| publisher | Cambridge University Press |
| record_format | marc |
| series2 | London Mathematical Society lecture note series |
| spelling | Logic Colloquium <1997, Leeds, England> Verfasser aut 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 Models & Computability Cambridge Cambridge University Press 1999 1 online resource (ix, 419 pages) txt rdacontent c rdamedia cr rdacarrier London Mathematical Society lecture note series 259 Title from publisher's bibliographic system (viewed on 05 Oct 2015) 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? S.B. Cooper marks on causal determinism and computability 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 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 Logic, Symbolic and mathematical / Congresses Computable functions / Congresses Berechenbarkeit (DE-588)4138368-0 gnd rswk-swf Modelltheorie (DE-588)4114617-7 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Modelltheorie (DE-588)4114617-7 s Berechenbarkeit (DE-588)4138368-0 s 1\p DE-604 Cooper, S. B. edt Truss, J. K. edt Association for Symbolic Logic host institution Sonstige oth Erscheint auch als Druckausgabe 978-0-521-63550-9 https://doi.org/10.1017/CBO9780511565670 Verlag URL des Erstveröffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Models and computability invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 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? 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 Berechenbarkeit (DE-588)4138368-0 gnd Modelltheorie (DE-588)4114617-7 gnd |
| subject_GND | (DE-588)4138368-0 (DE-588)4114617-7 (DE-588)1071861417 |
| title | Models and computability invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 |
| title_alt | Models & Computability 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? 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 Berechenbarkeit (DE-588)4138368-0 gnd Modelltheorie (DE-588)4114617-7 gnd |
| topic_facet | Logic, Symbolic and mathematical / Congresses Computable functions / Congresses Berechenbarkeit Modelltheorie Konferenzschrift |
| url | https://doi.org/10.1017/CBO9780511565670 |
| work_keys_str_mv | AT logiccolloquium1997leedsengland modelsandcomputabilityinvitedpapersfromlogiccolloquium97europeanmeetingoftheassociationforsymboliclogicleedsjuly1997 AT coopersb modelsandcomputabilityinvitedpapersfromlogiccolloquium97europeanmeetingoftheassociationforsymboliclogicleedsjuly1997 AT trussjk modelsandcomputabilityinvitedpapersfromlogiccolloquium97europeanmeetingoftheassociationforsymboliclogicleedsjuly1997 AT associationforsymboliclogichostinstitution modelsandcomputabilityinvitedpapersfromlogiccolloquium97europeanmeetingoftheassociationforsymboliclogicleedsjuly1997 AT logiccolloquium1997leedsengland modelscomputability AT coopersb modelscomputability AT trussjk modelscomputability AT associationforsymboliclogichostinstitution modelscomputability |