<電子ブック>
Recursion theory / [edited by Anil Nerode, Richard A. Shore]
(Proceedings of symposia in pure mathematics. ISSN:00820717 (print) ; v. 42)
出版者 | Providence, R.I : American Mathematical Society |
---|---|
出版年 | 1985 |
大きさ | 1 online resource (1 online resource (vii, 528 p. : ill.)) |
著者標目 | Nerode, Anil 1932- Shore, Richard A. 1946- American Mathematical Society AMS-ASL Summer Institute on Recursion Theory (1982 Cornell University) Association for Symbolic Logic |
件 名 | LCSH:Recursion theory |
内容注記 | REA operators, r.e. degrees and minimal covers / Carl G. Jockusch, Jr. and Richard A. Shore The embedding problem for the recursively enumerable degrees / Manuel Lerman Major subsets and automorphisms of recursively enumerable sets / Wolfgang Maass The structure of the degrees of unsolvability / Richard A. Shore Tree arguments in recursion theory and the $0”'$-priority method / Robert I. Soare Major subsets and the lattice of recursively enumerable sets / Michael Stob Unimonotone functions of finite types (Recursive functionals and quantifiers of finite types revisited IV) / S. C. Kleene Canonical forms and hierarchies in generalized recursion theory / Phokion G. Kolaitis Aspects of the continuous functionals / Dag Normann Post's problem in $E$-recursion / Gerald E. Sacks The $E$-recursively enumerable degrees are dense / Theodore A. Slaman Uncountable ZF-ordinals / René David and Sy D. Friedman Another look at gap-1 morasses / Hans-Dieter Donder Condensation-coherent global square systems / H.-D. Donder, R. B. Jensen and L. J. Stanley Fine structure theory and its applications / Sy D. Friedman Determinacy and the structure of $L(\mathbf {R})$ / Alexander S. Kechris Recursivity and capacity theory / Alain Louveau A purely inductive proof of Borel determinacy / Donald A. Martin Decidable Ehrenfeucht theories / T. Millar A survey of lattices of r.e. substructures / A. Nerode and J. Remmel Survey of constructions in Noetherian rings / A. Seidenberg Eléments de logique $\Pi ^1_n$ / Jean-Yves Girard and Jean-Pierre Ressayre Paris-Harrington incompleteness and progressions of theories / Kenneth McAloon Reverse mathematics / Stephen G. Simpson Infinite fixed-point algebras / Robert M. Solovay The “slow-growing” $\Pi ^1_2$ approach to hierarchies / S. S. Wainer Gödel theorems, exponential difficulty and undecidability of arithmetic theories: an exposition / Paul Young |
一般注記 | "Proceedings of the AMS-ASL Summer Institute on Recursion Theory, held at Cornell University, Ithaca, New York, June 28-July 16, 1982"--T.p. verso Includes bibliographies http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791048 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791049 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791050 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791051 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791052 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791053 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791054 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791055 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791056 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791057 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791058 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791059 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791060 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791061 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791062 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791063 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791064 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791065 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791066 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791067 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791068 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791069 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791070 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791071 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791072 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791073 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791074 Access is restricted to licensed institutions Electronic reproduction Providence, Rhode Island American Mathematical Society 2012 Mode of access : World Wide Web Description based on print version record HTTP:URL=http://www.ams.org/pspum/042 Information=Contents HTTP:URL=http://dx.doi.org/10.1090/pspum/042 Information=Contents |
目次/あらすじ
所蔵情報を非表示
電子ブック | 配架場所 | 資料種別 | 巻 次 | 請求記号 | 状 態 | 予約 | コメント | ISBN | 刷 年 | 利用注記 | 指定図書 | 登録番号 |
---|---|---|---|---|---|---|---|---|---|---|---|---|
電子ブック | オンライン | 電子ブック |
|
|
Proceedings in Symposia in Pure Mathematics | 9780821893340 |
|
電子リソース |
|
EB00016046 |
類似資料
この資料の利用統計
このページへのアクセス回数:8回
※2017年9月4日以降