---

＜電子ブック＞
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

 類似資料