{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,23]],"date-time":"2025-12-23T15:34:36Z","timestamp":1766504076071},"reference-count":68,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2014,1,15]],"date-time":"2014-01-15T00:00:00Z","timestamp":1389744000000},"content-version":"unspecified","delay-in-days":4611,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Bull. symb. log."],"published-print":{"date-parts":[[2001,6]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The four authors present their speculations about the future developments of mathematical logic in the twenty-first century. The areas of recursion theory, proof theory and logic for computer science, model theory, and set theory are discussed independently.<\/jats:p>","DOI":"10.2307\/2687773","type":"journal-article","created":{"date-parts":[[2006,5,7]],"date-time":"2006-05-07T07:17:03Z","timestamp":1146986223000},"page":"169-196","source":"Crossref","is-referenced-by-count":20,"title":["The Prospects for Mathematical Logic in the Twenty-First Century"],"prefix":"10.1017","volume":"7","author":[{"given":"Samuel R.","family":"Buss","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander S.","family":"Kechris","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anand","family":"Pillay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard A.","family":"Shore","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,1,15]]},"reference":[{"key":"S1079898600005801_ref024","first-page":"204","volume":"4","author":"Groszek","year":"1999","journal-title":"A basis theorem for perfect sets"},{"key":"S1079898600005801_ref033","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(72)90001-0"},{"key":"S1079898600005801_ref019","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107325999"},{"key":"S1079898600005801_ref010","unstructured":"Cooper S. B. , On a conjecture of Kleene and Post, Department of Pure Mathematics, Leeds University, 1993 Preprint Series No. 7, 1993."},{"key":"S1079898600005801_ref020","doi-asserted-by":"publisher","DOI":"10.2307\/2007004"},{"key":"S1079898600005801_ref017","unstructured":"Feferman S. , Proof theory on the eve of the year 2000, 1999, available from http:\/\/www-logic.stanford.edu\/proofsurvey.html. Responses to a survey on proof theory."},{"key":"S1079898600005801_ref013","volume-title":"Progress in Mathematics","author":"Dehornoy"},{"key":"S1079898600005801_ref009","doi-asserted-by":"publisher","DOI":"10.1090\/S0273-0979-1990-15923-3"},{"key":"S1079898600005801_ref034","volume-title":"Ensembles parfaits et s\u00e9ries trigonom\u00e9tigues","author":"Kahane","year":"1994"},{"key":"S1079898600005801_ref031","doi-asserted-by":"publisher","DOI":"10.1090\/S0894-0347-96-00202-0"},{"key":"S1079898600005801_ref035","volume-title":"London Mathematical Society Lecture Note Series","author":"Kechris","year":"2001"},{"key":"S1079898600005801_ref063","first-page":"230","article-title":"On computable numbers with an application to the \u201cEntscheidungsproblem\u201d","volume":"42","author":"Turing","year":"1936","journal-title":"Proceedings of the London Mathematical Society"},{"key":"S1079898600005801_ref001","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511735264"},{"key":"S1079898600005801_ref037","volume-title":"Descriptive set theory and the structure of sets of uniqueness","volume":"128","author":"Kechris","year":"1989"},{"key":"S1079898600005801_ref067","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.85.18.6587"},{"key":"S1079898600005801_ref040","doi-asserted-by":"publisher","DOI":"10.1112\/S0024610798005985"},{"key":"S1079898600005801_ref062","doi-asserted-by":"publisher","DOI":"10.1090\/conm\/084"},{"key":"S1079898600005801_ref018","unstructured":"Foreman M. , Kanamori A. , and Magidor M. , Handbook of set theory, to appear Kluwer, Dordrecht."},{"key":"S1079898600005801_ref003","doi-asserted-by":"publisher","DOI":"10.1090\/S0273-0979-1989-15750-9"},{"key":"S1079898600005801_ref012","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511662256"},{"key":"S1079898600005801_ref006","doi-asserted-by":"publisher","DOI":"10.1090\/conm\/257"},{"key":"S1079898600005801_ref038","doi-asserted-by":"publisher","DOI":"10.2307\/2586661"},{"key":"S1079898600005801_ref014","doi-asserted-by":"publisher","DOI":"10.1098\/rspa.1985.0070"},{"key":"S1079898600005801_ref022","doi-asserted-by":"publisher","DOI":"10.2307\/2274750"},{"key":"S1079898600005801_ref015","first-page":"265","volume":"6","author":"Deutsch","year":"2000","journal-title":"Machines, logic and quantum physics"},{"key":"S1079898600005801_ref029","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511551574"},{"key":"S1079898600005801_ref045","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1093\/oso\/9780198514763.003.0004","volume-title":"Truth in mathematics","author":"Moschovakis","year":"1998"},{"key":"S1079898600005801_ref005","unstructured":"Cherlin G. and Hrushovski E. , Finite structures with few types, preprint, 2000."},{"key":"S1079898600005801_ref023","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)71257-6"},{"key":"S1079898600005801_ref050","volume-title":"Proceedings of the international congress lmps","author":"Shore","year":"1999"},{"key":"S1079898600005801_ref027","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-0348-7591-2_22"},{"key":"S1079898600005801_ref048","doi-asserted-by":"publisher","DOI":"10.1007\/BF02757281"},{"key":"S1079898600005801_ref043","doi-asserted-by":"publisher","DOI":"10.1090\/S0894-0347-1989-0955605-X"},{"key":"S1079898600005801_ref032","doi-asserted-by":"publisher","DOI":"10.1090\/S0894-0347-96-00180-4"},{"key":"S1079898600005801_ref046","unstructured":"Nabutovsky A. and Weinberger S. , The fractal nature of Riem\/Diff, to appear."},{"key":"S1079898600005801_ref008","doi-asserted-by":"publisher","DOI":"10.1007\/BF02432003"},{"key":"S1079898600005801_ref051","doi-asserted-by":"publisher","DOI":"10.1090\/conm\/257\/04040"},{"key":"S1079898600005801_ref060","unstructured":"Soare R. I. , Computability theory and differential geometry, in preparation."},{"key":"S1079898600005801_ref002","volume-title":"Complexity and real computation","author":"Blum","year":"1997"},{"key":"S1079898600005801_ref052","volume-title":"Proceedings of the American Mathematical Society","author":"Shore"},{"key":"S1079898600005801_ref042","volume-title":"Logic colloquium 1997","volume":"1","author":"L\u00f6we","year":"1999"},{"key":"S1079898600005801_ref025","first-page":"265","volume":"6","author":"Halpern","year":"2000","journal-title":"On the unusual effectiveness of logic in computer science"},{"key":"S1079898600005801_ref039","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511565670.009"},{"key":"S1079898600005801_ref011","unstructured":"Cooper S. B. , The Turing definability of the relation of \u201ccomputably enumerable in\u201d, Computability Theory Seminar, University of Leeds: http:\/\/www.amsta.leeds.ac.uk\/pure\/staff\/cooper\/preprints.html, 2000."},{"key":"S1079898600005801_ref056","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59971-2"},{"key":"S1079898600005801_ref065","unstructured":"White W. , Characterizations for computable structures, Ph.D. thesis , Cornell University, 2000."},{"key":"S1079898600005801_ref057","volume-title":"Logic Colloquium '00, Lecture Notes in Logic","author":"Slaman"},{"key":"S1079898600005801_ref064","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511525919"},{"key":"S1079898600005801_ref047","doi-asserted-by":"publisher","DOI":"10.1112\/S0024611598000549"},{"key":"S1079898600005801_ref066","doi-asserted-by":"publisher","DOI":"10.1090\/S0894-0347-96-00216-0"},{"key":"S1079898600005801_ref061","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-5764-9_20"},{"key":"S1079898600005801_ref053","doi-asserted-by":"publisher","DOI":"10.4310\/MRL.1999.v6.n6.a10"},{"key":"S1079898600005801_ref059","unstructured":"Slaman T. A. and Woodin H. , Definability in degree structures, in preparation."},{"key":"S1079898600005801_ref016","volume-title":"Handbook of recursive mathematics, studies in logic and the foundations of mathematics","volume":"II","author":"Ershov","year":"1998"},{"key":"S1079898600005801_ref026","volume-title":"Annals of Pure and Applied Logic","author":"Hirschfeldt"},{"key":"S1079898600005801_ref054","first-page":"154","volume":"3","author":"Sieg","year":"1997","journal-title":"Step by recursive step: Church's analysis of effective calculability"},{"key":"S1079898600005801_ref055","unstructured":"Simpson S. G. , Reverse mathematics, in preparation."},{"key":"S1079898600005801_ref049","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(80)90009-1"},{"key":"S1079898600005801_ref036","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4190-4"},{"key":"S1079898600005801_ref044","volume-title":"Descriptive set theory","author":"Moschovakis","year":"1980"},{"key":"S1079898600005801_ref004","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-00-02659-3"},{"key":"S1079898600005801_ref041","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(97)00019-5"},{"key":"S1079898600005801_ref030","unstructured":"Hrushovski E. , Pseudofinite fields and related structures, preprint, 1992."},{"key":"S1079898600005801_ref021","doi-asserted-by":"publisher","DOI":"10.2307\/121032"},{"key":"S1079898600005801_ref028","volume-title":"Classification and orbit equivalence relations","volume":"75","author":"Hjorth","year":"2000"},{"key":"S1079898600005801_ref007","doi-asserted-by":"publisher","DOI":"10.1006\/jcom.1994.1023"},{"key":"S1079898600005801_ref068","doi-asserted-by":"publisher","DOI":"10.1515\/9783110804737"},{"key":"S1079898600005801_ref058","doi-asserted-by":"publisher","DOI":"10.4064\/fm-159-2-153-159"}],"container-title":["Bulletin of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1079898600005801","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,4]],"date-time":"2024-02-04T07:37:02Z","timestamp":1707032222000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1079898600005801\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,6]]},"references-count":68,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2001,6]]}},"alternative-id":["S1079898600005801"],"URL":"https:\/\/doi.org\/10.2307\/2687773","relation":{},"ISSN":["1079-8986","1943-5894"],"issn-type":[{"value":"1079-8986","type":"print"},{"value":"1943-5894","type":"electronic"}],"subject":[],"published":{"date-parts":[[2001,6]]}}}