Computability theory and its applications : current trends and open problems : proceedings of a 1999 AMSIMSSIAM joint summer research conference, computability theory and applications, June 1317, 1999, University of Colorado, Boulder

Contributor(s): Cholak PeterMaterial type: Computer fileComputer fileSeries: Contemporary mathematics ; v. 257Publication details: Providence, R.I. : American Mathematical Society, c2000Description: 1 online resource (xvi, 320 p. : ill.)ISBN: 9780821878477 (online)Subject(s): Computable functionsOnline resources: Click here to access online
Contents:
Randomness in computability theory ; Open questions about the Klaus AmbosSpies and Antonin Kucera ; Marat Arslanov ; Serikzhan Badaev and Sergey Goncharov ; Douglas Cenzer and Carl G Jockusch Jr ; Peter A Cholak ; C T Chong and Yue Yang ; Randall Dougherty and Alexander S Kechris ; Rod Downey and J B Remmel ; Harvey Friedman and Stephen G Simpson ; Sergey Goncharov and Bakhadyr Khoussainov ; Marcia Groszek ; Julia F Knight ; Manuel Lerman ; Andre Nies ; Piergiorgio Odifreddi ; Mikhail Peretyatkin ; Alexandra Shlapentokh ; Richard A Shore ; Theodore A Slaman ; Robert I Soare ; Andrea Sorbi
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Item type Current library Call number URL Status Date due Barcode Item holds
electronic book electronic book ICTS
Link to resource Accessible Online EBK21261
Total holds: 0

Includes bibliographical references.

Randomness in computability theory ; Open questions about the .e. degrees ; The theory of numberings: open problems ; Pi _1^0 classes structure and applications ; The global structure of computably enumerable sets ; Computability theory in arithmetic: provability, structure and techniques ; How many Turing degrees are there? ; Questions in computable algebra and combinatorics ; Issues and problems in reverse mathematics ; Open problems in the theory of constructive algebraic systems ; Independence results from ZFC in computability theory: some open problems ; Problems related to arithmetic ; Embeddings into the computably enumerable degrees ; Definability in the c.e. degrees: questions and results ; Strong reducibilities, again ; Finitely axiomatizable theories and Lindenbaum algebras of semantic classes ; Towards an analog of Hilbert's tenth problem for a number field ; Natural definability in degree structures ; Recursion theory in set theory ; Extensions, automorphisms, and definability ; Open problems in the enumeration degrees Klaus AmbosSpies and Antonin Kucera ; Marat Arslanov ; Serikzhan Badaev and Sergey Goncharov ; Douglas Cenzer and Carl G Jockusch Jr ; Peter A Cholak ; C T Chong and Yue Yang ; Randall Dougherty and Alexander S Kechris ; Rod Downey and J B Remmel ; Harvey Friedman and Stephen G Simpson ; Sergey Goncharov and Bakhadyr Khoussainov ; Marcia Groszek ; Julia F Knight ; Manuel Lerman ; Andre Nies ; Piergiorgio Odifreddi ; Mikhail Peretyatkin ; Alexandra Shlapentokh ; Richard A Shore ; Theodore A Slaman ; Robert I Soare ; Andrea Sorbi

There are no comments on this title.

to post a comment.