The prospects for mathematical logic in the twenty-first century

Bulletin of Symbolic Logic

Volumn 7, Issue 2, 2001, Pages 169-196

  Buss, Samuel R ^a   Kechris, Alexander S ^b   Pillay, Anand ^c   Shore, Richard A ^d  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

^c UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

^d Department of Obstetrics Gynecology   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0035534397     PISSN: 10798986     EISSN: None     Source Type: Journal    
DOI: 10.2307/2687773     Document Type: Article

References (68)

1. H. BECKER and A. S. KECHRIS, The descriptive set theory of Polish group actions, London Mathematical Society Lecture Note Series, vol. 232, Cambridge University Press, 1996.
2. L. BLUM, F. CUCKER, M. SHUB, and S. SMALE, Complexity and real computation, Springer-Verlag, Berlin, 1997.
3. L. BLUM, M. SHUB, and S. SMALE, On a theory of computation and complexity over the real numbers: NP-completeness, recursive functions and universal machines, Bulletin of the American Mathematical Society, vol. 21 (1999), no. NS, pp. 1-46.
4. R. CAMERLO and S. GAO, The completeness of the isomorphism relation of countable Boolean algebras, Transactions of the American Mathematical Society, vol. 353 (2001), pp. 491-518.
5. G. CHERLIN and E. HRUSHOVSKI, Finite structures with few types, preprint, 2000.
6. P. CHOLAK, S. LEMPP, M. LERMAN, and R. A. SHORE, Computability theory and its applications: Current trends and open problems, Contemporary Mathematics, vol. 257, American Mathematical Society, 2000.
7. C. T. CHONG, Positive reducibility of the interior of filled Julia sets, Journal of Complexity, vol. 10 (1994), pp. 437-444.
8. -, The polynomial topological complexity of Fatou-Julia sets, Advances in Computational Mathematics, vol. 3 (1995), pp. 369-374.
9. S. B. COOPER, The jump is definable in the structure of the degrees of unsolvability (research announcement), Bulletin of the American Mathematical Society, vol. 23 (1990), no. NS, pp. 151-158.
10. -, On a conjecture of Kleene and Post, Department of Pure Mathematics, Leeds University, 1993 Preprint Series No. 7, 1993.
11. -, The Turing definability of the relation of "computably enumerable in". Computability Theory Seminar. University of Leeds: http://www.amsta.leeds.ac.uk/pure/staff/ cooper/preprints.html. 2000.
12. H. G. DALES and W. H. WOODIN, An introduction to independence for analysts, London Mathematical Society Lecture Note Series, vol. 115, Cambridge University Press, 1987.
13. P. DEHORNOY, Braids and self distributivity, to appear in Progress in Mathematics, Birkhäuser, Basel.
14. D. DEUTSCH, Quantum theory, the Church-Turing principle and the universal quantum computer, Proceedings of the Royal Society, vol. A 400 (1985), pp. 97-117.
15. D. DEUTSCH, A. EKERT, and R. LUPACCHINI, Machines, logic and quantum physics, this BULLETIN, vol. 6 (2000), pp. 265-283.
16. Y. L. Ershov, S. S. Goncharov, A. Nerode, J. B. Remmel, and V. W. Marek (editors), Handbook of recursive mathematics, studies in logic and the foundations of mathematics, vol. I & II, Elsevier, Amsterdam, 1998.
17. S. FEFERMAN, 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.
18. M. FOREMAN, A. KANAMORI, and M. MAGIDOR, Handbook of set theory, to appear Kluwer, Dordrecht.
19. M. Foreman, A. S. Kechris, A. Louveau, and B. Weiss (editors), Descriptive set theory and dynamical systems, London Mathematical Society Lecture Note Series, vol. 277, Cambridge University Press, 2000.
20. M. FOREMAN, M. MAGIDOR, and S. SHELAH, Martin's maximum, saturated ideals and non-regular ultrafilters, parts I and II, Annals of Mathematics, vol. 127 (1988), pp. 1-47.
21. H. FRIEDMAN, Finite functions and the necessary use of large cardinals, Annals of Mathematics, vol. 148 (1998), no. 3, pp. 803-893.
22. H. FRIEDMAN and L. STANLEY, A Borel reducibility theory for classes of countable structures, The Journal of Symbolic Logic, vol. 54 (1989), pp. 894-914.
23. R. GANDY, Church's thesis and principles for mechanisms, The Kleene symposium (J. Barwise et al., editors), North-Holland, Amsterdam, 1980, pp. 123-148.
24. M. J. GROSZEK and T. A. SLAMAN, A basis theorem for perfect sets, this BULLETIN, vol. 4 (1999), pp. 204-209.
25. J. Y. HALPERN, R. HARPER, P. G. KOLAITIS, M. Y. VARDI, and V. VIANU, On the unusual effectiveness of logic in computer science, this BULLETIN, vol. 6 (2000), pp. 265-283.
26. D. HIRSCHFELDT, B. KHOUSSAINOV, R. A. SHORE, and A. SLINKO, Degree spectra and computable dimension in algebraic structures, to appear in Annals of Pure and Applied Logic.
27. G. HJORTH, Around nonclassifiability for countable torsion free abelian groups, Abelian groups and modules (P. C. Eklof and R. Göbel, editors), Trends in Mathematics, Birkhäuser, Basel, 1999, pp. 269-292.
28. -, Classification and orbit equivalence relations, Mathematical Surveys and Monographs, vol. 75, American Mathematical Society, 2000.
29. W. A. HODGES, Model theory, Cambridge University Press, 1993.
30. E. HRUSHOVSKI, Pseudofinite fields and related structures, preprint, 1992.
31. -, Mordell-Lang conjecture for function fields, Journal of the American Mathematical Society, vol. 9 (1996), pp. 667-690.
32. E. HRUSHOVSKI and B. ZILBER, Zariski geometries, Journal of the American Mathematical Society, vol. 9 (1996), pp. 1-56.
33. R. JENSEN, The fine structure of the constructible hierarchy, Annals of Mathematical Logic, vol. 4 (1972), pp. 229-308.
34. J.-P. KAHANE and R. SALEM, Ensembles parfaits et séries trigonométigues, 2 ed., Hermann, Paris, 1994.
35. A. S. KECHRIS, Actions of polish groups and classification problems, analysis and logic, to appear London Mathematical Society Lecture Note Series, Cambridge University Press, 2001.
36. -, Classical descriptive set theory, Graduate Texts in Mathematics, vol. 156, Springer-Verlag, Berlin, 1995.
37. A. S. KECHRIS and A. LOUVEAU, Descriptive set theory and the structure of sets of uniqueness, London Mathematical Society Lecture Notes Series, vol. 128, Cambridge University Press, 1989.
38. H. J. KEISLER, Quantifier elimination for neocompact sets, The Journal of Symbolic Logic, vol. 63 (1998), pp. 1442-1472.
39. B. KHOUSSAINOV and R. A. SHORE, Effective model theory: the number of models and their complexity, Models and computability (S. B. Cooper and J. K. Truss, editors), London Mathematical Society Lecture Note Series, vol. 259, Cambridge University Press, 1999, pp. 193-239.
40. B. KIM, Forking in simple unstable theories, Journal of the London Mathematical Society, vol. 57 (1998), pp. 257-267.
41. B. KIM and A. PILLAY, Simple theories, Annals of Pure and Applied Logic, vol. 88 (1997), pp. 149-164.
42. B. LÖWE and J. R. STEEL, An introduction to core model theory, sets and proofs, Logic colloquium 1997, vol. 1, London Mathematical Society Lecture Note Series, no. 258, Cambridge University Press, 1999.
43. D. A. MARTIN and J. R. STEEL, A proof of projective determinacy, Journal of the American Mathematical Society, vol. 2 (1989), pp. 71-125.
44. Y. N. MOSCHOVAKIS, Descriptive set theory, Elsevier-North Holland, Amsterdam, 1980.
45. -, On founding the theory of algorithms, Truth in mathematics (H. G. Dales and G. Oliveri, editors), Clarendon Press, Oxford, 1998, pp. 71-104.
46. A. NABUTOVSKY and S. WEINBERGER, The fractal nature of Riem/Diff, to appear.
47. Y. PETERZIL and S. STARCHENKO, A trichotomy theorem for o-minimal structures, Proceedings of the London Mathematical Society, vol. 77 (1998), pp. 481-523.
48. S. SHELAH, Infinite abelian groups, Whitehead problem and some constructions, Israel Journal of Mathematics, vol. 18 (1974), pp. 243-256.
49. -, Simple unstable theories, Annals of Mathematical Logic, vol. 19 (1980), pp. 177-203.
50. R. A. SHORE, Computable structures: presentations matter, Proceedings of the international congress lmps (Krakow, Poland), August 1999, to appear.
51. -, Natural definability in degree structures, Computability theory and its applications: Current trends and open problems (P. Cholak, S. Lempp, M. Lerman, and R. A. Shore, editors), Contemporary Mathematics, vol. 257, AMS, 2000, pp. 255-272.
52. R. A. SHORE and T. A. SLAMAN, A splitting theorem for n-REA degrees, to appear in Proceedings of the American Mathematical Society.
53. -, Defining the Turing jump, Mathematical Research Letters, vol. 6 (1999), pp. 711-722.
54. W. SIEG, Step by recursive step: Church's analysis of effective calculability, this BULLETIN, vol. 3 (1997), pp. 154-180.
55. S. G. SIMPSON, Reverse mathematics, in preparation.
56. -, Subsystems of second order arithmetic Springer-Verlag, Berlin, 1999.
57. T. A. SLAMAN, Aspects of the Turing jump, to appear in Logic Colloquium '00, Lecture Notes in Logic, ASL.
58. -, On a question of Sierpinski, Fundamenta Mathematica, vol. 159 (1999), pp. 153-159.
59. T. A. SLAMAN and H. WOODIN, Definability in degree structures, in preparation.
60. R. I. SOARE, Computability theory and differential geometry, in preparation.
61. J. R. STEEL, An outline of inner model theory, to appear in Handbook of Set Theory, Kluwer, Dordrecht..
62. S. TODORCEVIC, Partition problems in topology, Contemporary Mathematics, vol. 84, American Mathematical Society, 1989.
63. A. M. TURING, On computable numbers with an application to the "Entscheidungsproblem", Proceedings of the London Mathematical Society, vol. 42 (1936), no. 2, pp. 230-265.
64. L. VAN DEN DRIES, Tame topology and o-minimal structures, Cambridge University Press, 1998.
65. W. WHITE, Characterizations for computable structures, Ph.D. thesis, Cornell University, 2000.
66. A. J. WILKIE, Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function, Journal of the American Mathematical Society , vol. 9 (1996), pp. 1051-1094.
67. W. H. WOODIN, Supercompact cardinals, sets of reals, and weakly homogeneous trees, Proceedings of the National Academy of Science, vol. 85 (1988), pp. 6587-6591.
68. -, The axiom of determinacy, forcing axioms, and the nonstationary ideal, vol. 1, W. de Gruyter, Berlin, 1999.