000 | 02421nmm a2200169Ia 4500 | ||
---|---|---|---|
008 | 230306s9999||||xx |||||||||||||||||und|| | ||
020 | _a9780821878477 (online) | ||
245 | 0 |
_aComputability theory and its applications : _bcurrent trends and open problems : proceedings of a 1999 AMSIMSSIAM joint summer research conference, computability theory and applications, June 1317, 1999, University of Colorado, Boulder |
|
260 |
_aProvidence, R.I. : _bAmerican Mathematical Society, _cc2000 |
||
300 | _a1 online resource (xvi, 320 p. : ill.) | ||
490 |
_aContemporary mathematics _vv. 257 _x10983627 |
||
504 | _aIncludes bibliographical references. | ||
505 |
_tRandomness in computability theory ; Open questions about the _n _c.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 _rKlaus 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 |
||
650 | _aComputable functions | ||
700 | _aCholak Peter | ||
856 | _uhttp://www.ams.org/conm/257/ | ||
999 |
_c28674 _d28674 |