1 option
Recursion theory and complexity : proceedings of the Kazan '97 Workshop, Kazan, Russia, July 14-19, 1997 / editors, Marat M. Arslanov, Steffen Lempp.
- Format:
- Book
- Conference/Event
- Conference Name:
- Kazan '97 Workshop (1997 : Kazanʹ, Russia), issuing body.
- Kazan '97 Workshop
- Series:
- De Gruyter series in logic and its applications ; 2.
- De Gruyter series in logic and its applications, 1438-1893 ; 2
- Language:
- English
- Subjects (All):
- Recursion theory--Congresses.
- Recursion theory.
- Computational complexity--Congresses.
- Computational complexity.
- Physical Description:
- 1 online resource (248 p.)
- Edition:
- Reprint 2014
- Place of Publication:
- Berlin ; New York : Walter de Gruyter, 1999.
- Language Note:
- English
- Summary:
- The series is devoted to the publication of high-level monographs on all areas of mathematical logic and its applications. It is addressed to advanced students and research mathematicians, and may also serve as a guide for lectures and for seminars at the graduate level.
- Contents:
- Frontmatter
- Preface
- Table of contents
- Priority method in generalized computability / Ashaev, Igor V.
- Polynomial-time versus computable Boolean algebras / Cenzer, Douglas / Remmel, Jeffrey B.
- The proof-theoretic strength of the Dushnik-Miller Theorem for countable linear orders / Downey, Rodney G. / Lempp, Steffen
- Effectively nowhere simple relations on computable structures / Harizanov, Valentina S.
- Jump traces with large gaps / Hinman, Peter G.
- Weak recursive degrees and a problem of Spector / Ishmukhametov, Shamil
- Compositions of permutations and algorithmic reducibilities / Korovin, Κ. V.
- Some properties of majorant-computability / Korovina, M. V. / Kudinov, Ο. V.
- Hyperarithmetical functions and algebraicity / Morozov, A. S.
- Weak presentations of fields not extendible to recursive presentations / Shlapentokh, Alexandra
- Jumps of Ʃ02-high e-degrees and properly Ʃ02 e-degrees / Shore, Richard / Sorbi, Andrea
- Enumeration reducibility and the problem of the nontotal property of e-degrees / Solon, Boris
- Algebras of recursive functions / Solovyev, V.
- Σ2 Induction and cuppable degrees / Yang, Yue
- Open problems
- List of talks
- List of contributors
- Backmatter
- Notes:
- Description based upon print version of record.
- Includes bibliographical references.
- Description based on print version record.
- ISBN:
- 9783110807486
- 3110807483
- OCLC:
- 922950270
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.