1 option
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 ...[and others], editors.
Math/Physics/Astronomy Library QA9.59 .C66 1999
Available
- Format:
- Book
- Conference/Event
- Conference Name:
- AMS-IMS-SIAM Joint Research Conference on Computability Theory and Applications ( 1999 : Boulder, Colo.)
- Series:
- Contemporary mathematics (American Mathematical Society) ; v. 257.
- Contemporary mathematics, 0271-4132 ; 257
- Language:
- English
- Subjects (All):
- Computable functions--Congresses.
- Computable functions.
- Genre:
- Conference papers and proceedings.
- Physical Description:
- xvi, 320 pages : illustrations ; 26 cm.
- Place of Publication:
- Providence, R.I. : American Mathematical Society, [2000]
- Contents:
- Randomness in computability theory / Klaus Ambos-Spies, Antonin Kucera 1
- Open questions about the n-c.e. degrees / Marat Arslanov 15
- The theory of numberings: Open problems / Serikzhan Badaev, Sergey Goncharov 23
- [Pi superscript 0 subscript 1] classes
- structure and applications / Douglas Cenzer, 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, Yue Yang 73
- How many Turing degrees are there? / Randall Dougherty, Alexander S. Kechris 83
- Questions in computable algebra and combinatorics / Rod Downey, J. B. Remmel 95
- Issues and problems in reverse mathematics / Harvey Friedman, Stephen G. Simpson 127
- Open problems in the theory of constructive algebraic systems / Sergey Goncharov, Bakhadyr Khoussainov 145
- Independence results from ZFC in computability theory: Some open problems / Marcia Groszek 171
- Problems related to arithmetic / Julia F. Knight 181
- 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 Odifreddi 215
- Finitely axiomatizable theories and Lindenbaum algebras of semantic classes / Mikhail Peretyat'kin 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 Sorbi 309.
- Notes:
- Includes bibliographical references.
- ISBN:
- 0821819224
- OCLC:
- 43884597
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.