DOCSLIB.ORG

CONTEMPORARY MATHEMATICS 257 Computability Theory and Its Applications Current Trends and Open Problems

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text

Load more

CONTEMPORARY MATHEMATICS 257 Computability Theory and Its Applications Current Trends and Open Problems Proceedings of a 1999 AMS-IMS-SIAM Joint Summer Research Conference Computability Theory and Applications June 13-17 I 1999 University of Colorado I Boulder Peter A. Cholak Steffen Lempp Manuel Lerman Richard A. Shore Editors http://dx.doi.org/10.1090/conm/257 Selected Titles in This Series 257 Peter A. Cholak, Steffen Lempp, Manuel Lerman, and Richard A. Shore, Editors, Computability theory and its applications: Current trends and open problems, 2000 256 Irwin Kra and Bernard Maskit, Editors, In the tradition of Ahlfms and Bers: Proceedings of the first Ahlfors-Bers colloquium, 2000 255 Jerry Bona, Katarzyna Saxton, and Ralph Saxton, Editors, Nonlinear POE's, dynamics and continuum physics, 2000 254 Mourad E. H. Ismail and Dennis W. Stanton, Editors, q-series from a contemporary perspective, 2000 253 Charles N. Delzell and James J. Madden, Editors, Real algebraic geometry and ordered structures, 2000 252 Nathaniel Dean, Cassandra M. McZeal, and Pamela J. Williams, Editors, African Americans in Mathematics II, 1999 251 Eric L. Grinberg, Shiferaw Berhanu, Marvin I. Knopp, Gerardo A. Mendoza, and Eric Todd Quinto, Editors, Analysis, geometry, number theory: The Mathematics of Leon Ehrenpreis, 2000 250 Robert H. Gilman, Editor, Groups, languages and geometry, 1999 249 Myung-Hwan Kim, JohnS. Hsia, Yoshiyuki Kitaoka, and Rainer Schulze-Pillot, Editors, Integral quadratic forms and lattices, 1999 248 Naihuan Jing and Kailash C. Misra, Editors, Recent developments in quantum affine algebras and related topics, 1999 247 Lawrence Wasson Baggett and David Royal Larson, Editors, The functional and harmonic analysis of wavelets and frames, 1999 246 Marcy Barge and Krystyna Kuperberg, Editors, Geometry and topology in dynamics, 1999 245 Michael D. Fried, Editor, Applications of curves over finite fields, 1999 244 Leovigildo Alonso Tarrio, Ana Jeremias Lopez, and Joseph Lipman, Studies in duality on noetherian formal schemes and non-noetherian ordinary schemes, 1999 243 Tsit Yuan Lam and Andy R. Magid, Editors, Algebra, K-theory, groups, and education, 1999 242 Bernheim Booss-Bavnbek and Krzysztof Wojciechowski, Editors, Geometric aspects of partial differential equations, 1999 241 Piotr Pragacz, Michal Szurek, and Jaroslaw Wisniewski, Editors, Algebraic geometry: Hirzebruch 70, 1999 240 Angel Carocca, Victor Gonzalez-Aguilera, and Rubi E. Rodriguez, Editors, Complex geometry of groups, 1999 239 Jean-Pierre Meyer, Jack Morava, and W. Stephen Wilson, Editors, Homotopy invariant alg~braic structures, 1999 238 Gui-Qiang 'ch.en and Emmanuele DiBenedetto, Editors, Nonlinear partial differential equations, 1999 237 Thomas Branson, Editor, Spectral problems in geometry and arithmetic, 1999 236 Bruce C. Berndt and Fritz Gesztesy, Editors, Continued fractions: From analytic number theory to constructive approximation, 1999 235 Walter A. Carnielli and !tala M. L. D'Ottaviano, Editors, Advances in contemporary logic and computer science, 1999 For a complete list of titles in this series, visit the AMS Bookstore at www.ams.org/bookstore/. Computability Theory and Its Applications Current Trends and Open Problems CoNTEMPORARY MATHEMATICS 257 Computability Theory and Its Applications Current Trends and Open Problems Proceedings of a 1999 AMS-IMS-SIAM Joint Summer Research Conference Computability Theory and Applications June 13-17 I 1999 University of Colorado I Boulder Peter A. Cholak Steffen Lempp Manuel Lerman Richard A. Shore Editors American Mathematical Society Providence, Rhode Island Editorial Board Dennis DeThrck, managing editor Andreas Blass Andy R. Magid Michael Vogelius The AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Computability Theory and Applications was held at the University of Colorado, Boul- der, CO, June 13-17, 1999, with support from the National Science Foundation, Grant DMS-9618514. 2000 Mathematics Subject Classification. Primary 03C57, 03D25, 03D28, 03D30, 03D45, 03D80, 03E15, 03E35, 03F35, 03H15. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the authors and do not necessarily reflect the views of the National Science Foundation. Library of Congress Cataloging-in-Publication Data Computability theory and its applications : current trends and open problems : proceedings of a 1999 AMS-IMS-SIAM, joint summer research conference, computability theory and applications, June 13-17, 1999, University of Colorado, Boulder / Peter A. Cholak ... [et a!.], editors. p. em. -(Contemporary mathematics, ISSN 0271-4132; 257) Includes bibliographical references. ISBN 0-8218-1922-4 (alk. paper) 1. Computable functions-Congresses. I. Cholak, Peter, 1962- II. Contemporary mathe- matics (American Mathematical Society) ; v. 257. QA9.59. C66 2000 511.3-dc21 00-036278 Copying and reprinting. Material in this book may be reproduced by any means for edu- cational and scientific purposes without fee or permission with the exception of reproduction by services that collect fees for delivery of documents and provided that the customary acknowledg- ment of the source is given. This consent does not extend to other kinds of copying for general distribution, for advertising or promotional purposes, or for resale. Requests for permission for commercial use of material should be addressed to the Assistant to the Publisher, American Mathematical Society, P. 0. Box 6248, Providence, Rhode Island 0:2940-6248. Requests can also be made by e-mail to reprint-permissioniDams. erg. Excluded from these provisions is material in articles for which the author holds copyright. In such cases, requests for permission to use or reprint should be addressed directly to the author(s). (Copyright ownership is indicated in the notice in the lower right-hand corner of the first page of each article.) © 2000 by the American Mathematical Society. All rights reserved. The American Mathematical Society retains all rights except those granted to the United States Government. Printed in the United States of America. § The paper used in this book is acid-free and falls within the guidelines established to ensure permanence and durability. Visit the AMS home page at URL: http://www.ams.org/ 10 9 8 7 6 5 4 3 2 1 05 04 03 02 01 00 Contents Preface IX Program of invited talks XI Conference participants xii Randomness in computability theory KLAUS AMBOS-SPIES AND ANTONIN KUCERA 1 Open questions about the n-c.e. degrees MARAT ARSLANOV 15 The theory of numberings: Open problems 8ERIKZHAN BADAEV AND 8ERGEY GONCHAROV 23 n~ classes - structure and applications DOUGLAS CENZER AND CARL G. JOCKUSCH, JR. 39 The global structure of computably enumerable sets PETER A. CHOLAK 61 Computability theory in arithmetic: Provability, structure and techniques C. T. CHONG AND YUE YANG 73 How many Turing degrees are there? RANDALL DOUGHERTY AND ALEXANDER 8. KECHRIS 83 Questions in computable algebra and combinatorics ROD DOWNEY AND J. B. REMMEL 95 Issues and problems in reverse mathematics HARVEY FRIEDMAN AND STEPHEN G. SIMPSON 127 Open problems in the theory of constructive algebraic systems SERGEY GONCHAROV AND BAKHADYR KHOUSSAINOV 145 Independence results from ZFC in computability theory: Some open problems MARCIA G ROSZEK 171 Problems related to arithmetic JULIA F. KNIGHT 181 vii viii CONTENTS Embeddings into the computably enumerable degrees MANUEL LERMAN 191 Definability in the c.e. degrees: Questions and results ANDRE NIES 207 Strong reducibilities, again PIERGIORGIO 0DIFREDDI 215 Finitely axiomatizable theories and Lindenbaum algebras of semantic classes MIKHAIL PERETYAT1KIN 221 Towards an analog of Hilbert's tenth problem for a number field ALEXANDRA SHLAPENTOKH 241 Natural definability in degree structures RICHARD A. SHORE 255 Recursion theory in set theory THEODORE A. SLAMAN 273 Extensions, automorphisms, and definability ROBERT I. SOARE 279 Open problems in the enumeration degrees ANDREA SORB! 309 A sunny summer day in July, 1997. A walk through the woods outside Kazan, Along the Volga river. Ideas for a conference emerge. Focus only on open problems. Provide sufficient background for Fruitful discussions about the problems. Allow enough free time to Immerse ourselves in the problems. Assemble a mix of people with diverse, but con_nected interests. Provide new ideas and insights. A consensus emerges. A list of focus areas is proposed, discussed, modified. Potential speakers are matched with topics. A successful proposal to the AMS. A conference of a different nature sees the light of day. Preface This volume is a faithful and expanded reflection of most of the talks which were presented at the Conference on Computability Theory and Applications, as part of the Joint Summer Research Conferences in the Mathematical Sciences, Boulder, Colorado, June 13-17, 1999. The meeting focused on open problems in Computability Theory and some related areas in which the ideas, methods and/ or results of Computability Theory play a role. Some talks delved in depth into a narrowly focused group of problems, providing a description of what had been done and delineating the obstacles to solution. Others covered a wider area, providing the rationale for interest in the area and the directions pursued, and a broad cross- section of central open problems. Discussions ensued. Some problems were solved quickly at the meeting, and others since that time. The result is, we hope, a snapshot of the status of Computability Theory at the
Recommended publications
  • Notices of the American Mathematical Society ABCD Springer.Com

    Notices of the American Mathematical Society ABCD Springer.Com

    ISSN 0002-9920 Notices of the American Mathematical Society ABCD springer.com More Math Number Theory NEW Into LaTeX An Intro duc tion to NEW G. Grätzer , Mathematics University of W. A. Coppel , Australia of the American Mathematical Society Numerical Manitoba, National University, Canberra, Australia Models for Winnipeg, MB, Number Theory is more than a May 2009 Volume 56, Number 5 Diff erential Canada comprehensive treatment of the Problems For close to two subject. It is an introduction to topics in higher level mathematics, and unique A. M. Quarte roni , Politecnico di Milano, decades, Math into Latex, has been the in its scope; topics from analysis, Italia standard introduction and complete modern algebra, and discrete reference for writing articles and books In this text, we introduce the basic containing mathematical formulas. In mathematics are all included. concepts for the numerical modelling of this fourth edition, the reader is A modern introduction to number partial diff erential equations. We provided with important updates on theory, emphasizing its connections consider the classical elliptic, parabolic articles and books. An important new with other branches of mathematics, Climate Change and and hyperbolic linear equations, but topic is discussed: transparencies including algebra, analysis, and discrete also the diff usion, transport, and Navier- the Mathematics of (computer projections). math Suitable for fi rst-year under- Stokes equations, as well as equations graduates through more advanced math Transport in Sea Ice representing conservation laws, saddle- 2007. XXXIV, 619 p. 44 illus. Softcover students; prerequisites are elements of point problems and optimal control ISBN 978-0-387-32289-6 $49.95 linear algebra only A self-contained page 562 problems.
  • RECURSION THEORY PROCEEDINGS of SYMPOSIA in PURE MATHEMATICS Volume 42

    RECURSION THEORY PROCEEDINGS of SYMPOSIA in PURE MATHEMATICS Volume 42

    http://dx.doi.org/10.1090/pspum/042 RECURSION THEORY PROCEEDINGS OF SYMPOSIA IN PURE MATHEMATICS Volume 42 RECURSION THEORY AMERICAN MATHEMATICAL SOCIETY PROVIDENCE, RHODE ISLAND PROCEEDINGS OF SYMPOSIA IN PURE MATHEMATICS OF THE AMERICAN MATHEMATICAL SOCIETY VOLUME 42 PROCEEDINGS OF THE AMS-ASL SUMMER INSTITUTE ON RECURSION THEORY HELD AT CORNELL UNIVERSITY ITHACA, NEW YORK JUNE 28-JULY 16, 1982 EDITED BY ANIL NERODE AND RICHARD A. SHORE Prepared by the American Mathematical Society with partial support from National Science Foundation grant MCS 8120074 1980 Mathematics Subject Classification. Primary 03D25, 03D30, 03D45, 03D55, 03D60, 03D70, 03D80, 03E05, 03E10, 03E35, 03E45, 03E47, 03F30, 03G05, 13E05, 14M05, 28A12, 90D05, 90D13. Library of Congress Cataloging in Publication Data Main entry under title: Recursion theory. (Proceedings of symposia in pure mathematics; v. 42) Papers presented at the 1982 AMS Summer Research Institute held at Cornell University from June 28 to July 16, 1982, and co-sponsored by the ASL. Bibliography: p. 1. Recursion theory—Addresses, essays, lectures. I. Nerode, Anil. 1932— II. Shore, Richard A., 1946- . III. American Mathematical Society. IV. AMS Summer Research Institute (1982: Cornell University) V. Series. QA9.6.R4 1984 511.3 8448525 ISBN 0-8218-1447-8 COPYING AND REPRINTING. Individual readers of this publication, and nonprofit librar• ies acting for them are permitted to make fair use of the material, such as to copy an article for use in teaching or research. Permission is granted to quote brief passages from this publication in reviews provided the customary acknowledgement of the sources is given. Republication, systematic copying, or multiple reproduction of any material in this pub• lication (including abstracts) is permitted only under license from the American Mathematical Society.
  • Notices of the American Mathematical

    Notices of the American Mathematical

    Calendar This Calendar lists all of the meetings which have been approved by the Council up to the date this issue of the cNoliaiJ was sent to press. The summer and annual meetings are joint meetings of the Mathematical Association of America and the American Mathematical Society. The meeting dates which fall rather far in the future are subject to change; this is particularly true of meetings to which no numbers have yet been assigned. Abstracts should be submitted on special forms which are available in most departments of mathematics; forms can also be obtained by writing to the headquarters of the Society. Abstracts to be presented at the meeting in person must be received at the headquarters of the Society in Providence, Rhode Island, on or before the deadline for the meeting. Meeting Deadline for Abstracts* Number Date Place and News Items 725 June 20-21, 1975 Pullman, Washington Apr. 29, 1975 726 August 18-22, 1975 Kalamazoo, Michigan June 17, 1975 (79th Summer Meeting) 727 October 25, 1975 Cambridge, Massachusetts Sept. 2, 1975 728 November 1, 1975 Chicago, illinois Sept. 2, 1975 729 November 7-8, 1975 Blacks burg, Virginia Sept. 23, 1975 730 November 15, 1975 Los Angeles, California Sept. 23, 1975 731 January 22-26, 1976 San Antonio, Texas Nov. 5, 1975 (82nd Annual Meeting) March 4-5, 1976 Tallahassee, Florida March 15-20, 1976 Urbana, illinois April 23-24, 1976 Reno, Nevada June 18-19, 1976 Portland, Oregon November 19-20, 1976 Columbia, South Carolina November 26-27, 1976 Albuquerque, New Mexico January 27-31, 1977 St.
  • Otices of The

    Otices of The

    OTICES OF THE AMERICAN MATHEMATICAL SOCIETY Scientific Issues in Manufacturing page 404 Three Reports on Graduate Education: National Research Council page 390 Conference Board of the Mathematical Sciences page 398 AMS-MAA-SIAM Committee on Preparation for College Teaching page 412 Cambri ge Meeting (June 29-July 1) page 460 MAY/JUNE 1992, VOLUME 39, NUMBER 5 Providence, Rhode Island, USA ISSN 0002-9920 Calendar of AMS Meetings and Conferences This calendar lists all meetings and conferences approved prior to the date this insofar as is possible. Abstracts should be submitted on special forms which are issue went to press. The summer and annual meetings are joint meetings of the available in many departments of mathematics and from the headquarters office of Mathematical Association of America and the American Mathematical Society. the Society. Abstracts of papers to be presented at the meeting must be received The meeting dates which fall rather far in the future are subject to change; this is at the headquarters of the Society in Providence, Rhode Island, on or before the particularly true of meetings to which no numbers have been assigned. Programs deadline given below for the meeting. The abstract deadlines listed below should of the meetings will appear in the issues indicated below. First and supplementary be carefully reviewed since an abstract deadline may expire before publication of announcements of the meetings will have appeared in earlier issues. Abstracts a first announcement. Note that the deadline for abstracts for consideration for of papers presented at a meeting of the Society are published in the journal Ab· presentation at special sessions is usually three weeks earlier than that specified stracts of papers presented to the American Mathematical Society in the issue below.
  • November 1974 Table of Contents

    November 1974 Table of Contents

    Calendar This Calendar lists all of the meetings which have been approved by the Council up to the date this issue of the c){otiuiJ was sent to press .. The summer and annual meetings are joint meetings of the Mathematical Association of America and the American Mathematical Society. The meeting dates which fall rather far in the future are subject to change; this is particularly true of meetings to which no numbers have yet been aasigned. Abstracts should be submitted on special forms which are available in most departments of mathematics; forms can also be obtained by writing to the headquarters of the Society. Abstracts to be presented at the meeting in person must be received at the headquarters of the Society in Providence, Rhode Island, on or before the deadline for the meeting. Meeting Deadline for Abstracts* Number Date Place and News I terns 720 January 23-27, 1975 Washington, D.C. Nov. 6, 1974 (81st Annual Meeting) 721 March 20-21, 1975 Mobile, Alabama Jan. 28, 1975 722 March 23-26, 1975 New Y<>'rk, New York Jan. 28, 1975 723 April 11-12, 1975 St. Louis, Missouri Feb. 18, 1975 724 April 18-19, 1975 Monterey, California Feb. 18, 1975 725 June 20-21, 1975 Pullman, Washington Apr. 29, 1975 726 August 18-22, 1975 Kalamazoo,· Michigan June 17, 1975 (79th Summer Meeting) November 7-8, 1975 Blacksburg, Virginia November 15, 1975 Los Angeles, California January 22-26, 1976 San Antonio, Texas (82nd Annual Meeting) April 23-24, 1976 Reno, Nevada June 18-19, 1976 Portland, Oregon *Deadline for abstracts not presented at a meeting (by title).
  • Notices of the American Mathematical Society

    Notices of the American Mathematical Society

    Calendar This Calendar lists all of the meetings which have been approved by the Council up to the date this issue of the cJ{oliiriJ was sent to press. The summer and annual meetings are joint meetings of the Mathematical Association of America and the American Mathematical Society. The meeting dates which fall rather far in the future are subject to change; this is particularly true of meetings to which no numbers have yet been assigned. Abstracts should be submitted on special forms which are available in most departments of mathematics; forms can also be obtained by writing to the headquarters of the Society. Abstracts to be presented at the meeting in person must be received at the headquarters of the Society in Providence, Rhode Island, on or before the deadline for the meeting. Meeting Deadline for Abstracts* Number Date Place and News Items 716 October 26, 1974 Middletown, Connecticut Sept. 3, 1974 717 November 8-9, 1974 Nashville, Tennessee Sept, 25, 1974 718 November 23, 1974 Los Angeles, California Sept. 25, 1974 719 November 23, 1974 Houston, Texas Sept. 25, 1974 720 January 23-27, 1975 Washington, D. C. Nov, 6, 1974 (81st Annual Meeting) March 20-21, 1975 Mobile, Alabama March 23-26, 1975 New York, New York April 18-19, 1975 Monterey, California August 18-22, 1975 Kalamazoo, Michigan November 7-8, 1975 Blacksburg, Virginia November 15, 1975 Los Angeles, California January 22-26, 1976 San Antonio, Texas (82nd Annual Meeting) *Deadline for abstracts not presented at a meeting (by title). October 1974 issue: August 29 OTHER EVENTS January 1975 Symposium on Some Mathematical Questions in Biology New York, New York November 6, 1974 January 1975 Symposium on Theory vs.
  • Wesleyan.Pdf

    Wesleyan.Pdf

    Sharaf al-Dīn al-Ṭūsī Kamāl al-Dīn Ibn Yūnus Academic Genealogy of the Wesleyan University Department of Mathematics and Computer Science Nasir al-Dīn al-Ṭūsī The Mathematics Genealogy Project is a service of North Dakota State University and the American Mathematical Society. Shams al‐Dīn al‐Bukhārī www.mathgenealogy.org Maragheh Observatory Gregory Chioniadis Ilkhans Court at Tabriz 1296 Manuel Bryennios Theodore Metochites 1315 Gregory Palamas Nilos Kabasilas 1363 Demetrios Kydones Elissaeus Judaeus Manuel Chrysoloras Georgios Plethon Gemistos 1380, 1393 Basilios Bessarion Mystras 1436 Guarino da Verona Johannes Argyropoulos 1408 Università degli Studi di Padova 1444 Vittorino da Feltre Marsilio Ficino Cristoforo Landino Università degli Studi di Padova 1416 Università degli Studi di Firenze 1462 Theodoros Gazes Nicole Oresme Ognibene (Omnibonus Leonicenus) Bonisoli da Lonigo Florens Florentius Radwyn Radewyns Geert Gerardus Magnus Groote Paolo (Nicoletti) da Venezia Angelo Poliziano Università di Mantova 1433 Università di Mantova Università degli Studi di Firenze 1477 Constantinople 1433 Heinrich von Langenstein Demetrios Chalcocondyles Leo Outers Rudolf Agricola Jacob ben Jehiel Loans Thomas von Kempen à Kempis Sigismondo Polcastro Gaetano da Thiene Scipione Fortiguerra Moses Perez Université de Paris 1363 Accademia Romana 1452 Université Catholique de Louvain 1485 Università degli Studi di Ferrara 1478 Università degli Studi di Firenze 1493 Université de Paris 1375 Mystras 1452 Jan Standonck Johann (Johannes Kapnion) Reuchlin Johannes
  • Curriculum Vitæ of Robert I. Soare

    Curriculum Vitæ of Robert I. Soare

    Curriculum Vitæ of Robert I. Soare December 5, 2013 Contents 1 Address 3 2 Short Biography 3 3 Educational Record 4 4 Professional Record 4 4.1 Editorial Duty: . 5 4.2 Honorary Societies: . 5 4.3 Professional Societies: . 5 5 Grants 5 6 Honors and Recognition 5 7 Invited Addresses at Leading Congresses 6 8 Other Selected Invited Addresses 7 9 New PhD's Whom Soare Brought to Chicago 9 10 Ph.D. Students Whom Soare Supervised: 10 11 Books 12 12 Publications in Elite Journals 13 1 13 Other Journal Articles 13 2 1 Address Department of Mathematics University of Chicago 5734 University Avenue Chicago, IL 60637 (773) 702-6029 e-mail: [email protected] 2 Short Biography Robert Irving Soare was born in Orange, New Jersey, and graduated from Newark Academy in 1959. At Princeton from 1959 to 1963, he studied math- ematical logic and computability theory with Alonzo Church and wrote a se- nior thesis with Church and his associate. He studied logic and computability at Cornell from 1963 to 1967 and wrote a Ph.D. thesis wth Anil Nerode in 1967. From 1967 to 1973 he rose from Assistant Professor to full profes- sor of mathematics at the University of Illinois at Chicago (UIC). In 1974 he moved across town to the University o Chicago as a professor of mathematics, a position he has held since then. In 1983 he was appointed founding Chairman of the new Department of Computer Sciece by the University President Hanna Gray. In 1994 Presicent Sonnenschein named Soare the Paul Snowden Distinguished Professor (DSP), the endowed chair previously held by Milton Friedman who received the Nobel Memorial Prize in Economic Sciences.