Recursion theory and complexity : proceedings of the Kazan'97 Workshop, Kazan, Russia, July 14-19, 1997
著者
書誌事項
Recursion theory and complexity : proceedings of the Kazan'97 Workshop, Kazan, Russia, July 14-19, 1997
（De Gruyter series in logic and its applications, 2）
Walter de Gruyter, 1999
- : alk. paper
大学図書館所蔵 件 / 全9件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
"This volume contains the proceedings of the International Workshop 'Recursion Theory and Complexity Theory' (WORCT'97), which was held from July 14 to July 19, 1997 at Kazan State University, Kazan, Tatarstan, Russia" -- Pref
内容説明・目次
内容説明
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.
目次
- Priority method in generalized computability, I.V. Ashaev
- polynomial time versus computable Boolean algebras, D. Cenzer, J.B. Remmel
- the proof-theoretic strength of the Dushnik-Miller theorem, R.G. Downey, S. Lempp
- effectively nowhere simple relations on computable models, V. Harizanov
- jump traces with large gaps, P.G. Hinman
- weak recursive degrees and a problem of Spector, Sh.T. Ishmukhametov
- compositions of permutations and algorithmic reducibilities, K.V. Korovin
- some properties of majorant-computability, M.V. Korovina, O.V. Kudinov
- hyperarithmetical functions and algebraicity, A.C. Morozov
- weak presentation of fields, not extendible to recursion presentations, A. Shlapentokh
- jumps of Sigma 0/2-high e-degrees and properly Sigma0/2 e-degrees, R.A. Shore, A. Sorbi
- the e-reducibility and problem of the nontotal property of e-degrees, B.Ja. Solon
- algebras of recursive functions, V.D. Solo'vev
- Sigma2-induction and cuppable degrees, Yang Yue. Open problems from Kazan '97 workshop. List of WORCT'97 participants, recursion theory. List of talks.
「Nielsen BookData」 より