- Email: [email protected]
Author index volume 31 (1986)
Annals of Pure and Applied Logic 31 (1986) 341-342 North-Holland
341
AUTHOR INDEX Volmne 31 (1986)
BROWN, D.K. and SIMPSON, S.G., Which set existence axioms are needed to prove the separable Hahn-Banach theorem? CENZER, D., CLOTE, P., SMITH, R.L., SOARE, R.I. and WAINER, S.S., Members of countable ~ classes CHONG, C.T., 1-generic degrees and minimal degrees in higher recursion theory, II CLOTE, P., s e e CENZER, D COX, P.T. and PIETRZYKOWSKI, T., Incorporating equality into logic programming via surface deduction CROSSLEY, J.N., MANASTER, A.B. and MOSES, M.F., Recursive categoricity and recursive stability DOWNEY, R.G., Sound, totally sound, and unsound recursive equivalence types DOWNEY, R.G. and STOB, M., Structural interactions of the reotrsively enumerable T- and W-degrees HENKIN, L., MONK, J.D. and TARSKI, A., Representable cylindric algebras KEISLER, H.J., A completeness proof for adapted probability logic KEISLER, H.J., Hypcrfinite models of adapted probabilitylogic K U R A T A , R., Paris-Harrington principles,reflectionprinciples and transfiniteinduction up to eo M A N A S T E R , A.B., see CROSSLEY, J.N. MONK, J.D., s e e HENKIN, L . MOSES, M F . , s e e CROSSLEY, J.N. NERODE, A. and REMMEL, J.B., Generic objects in recursion theory II: Operations on recursive approximation spaces PIETRZYKOWSKI, T., s e e COX, P.T. REMMEL, J.B., s e e NERODE, A. SACKS, G.E., The limits of E-re.cursive enumerability SIMPSON, S.G. and SMITH, R.L., Factorization of polynomials and :~ induction SIMPSON, S.G., s e e BROWN, D.K. SMITH, R.L., s e e CENZER, D. SMITH, R.L., s e e SIMPSON, S.G. SOARE, R.I., s e e CENZER, D. STOB, M., s e e DOWNEY, R.G. 0168-0072/86/$3.50 © 1986, Elsevier Science Publishers B.V. (North-Holland)
(2,3) 123-144 (2,3) 145-163 (2,3) 165-175 (2,3) 145-163 (2,3) 177-189 (2,3) 191-204 (1)
1-21
(2,3) 205-236 (1)
23-60
(1) (1)
61-70 71-86
(2,3) 237-256 (2,3) 191-204 (1) 23-60 (2,3) 191-204 (2,3) 257-288 (2,3) 177-189 (2,3) 257-288 (1) 87-120
(2,3) 289-306 (2,3) 123-144 (2,3) 145-163 (2,3) 289- 306 (2,3) 145-163 (2,3) 205-236
342
Author index
TAKEUTI, G. and TITANI, S., Global intuitionistic analysis TARSKI, A., see H E N K I N , L. TITANI, S., see TAKEUTI, G. WAINER, S.S., see CENZER, D.
(2,3) 307-339 (1) 23-60 (2,3) 307-339 (2,3) 145-163
341
AUTHOR INDEX Volmne 31 (1986)
BROWN, D.K. and SIMPSON, S.G., Which set existence axioms are needed to prove the separable Hahn-Banach theorem? CENZER, D., CLOTE, P., SMITH, R.L., SOARE, R.I. and WAINER, S.S., Members of countable ~ classes CHONG, C.T., 1-generic degrees and minimal degrees in higher recursion theory, II CLOTE, P., s e e CENZER, D COX, P.T. and PIETRZYKOWSKI, T., Incorporating equality into logic programming via surface deduction CROSSLEY, J.N., MANASTER, A.B. and MOSES, M.F., Recursive categoricity and recursive stability DOWNEY, R.G., Sound, totally sound, and unsound recursive equivalence types DOWNEY, R.G. and STOB, M., Structural interactions of the reotrsively enumerable T- and W-degrees HENKIN, L., MONK, J.D. and TARSKI, A., Representable cylindric algebras KEISLER, H.J., A completeness proof for adapted probability logic KEISLER, H.J., Hypcrfinite models of adapted probabilitylogic K U R A T A , R., Paris-Harrington principles,reflectionprinciples and transfiniteinduction up to eo M A N A S T E R , A.B., see CROSSLEY, J.N. MONK, J.D., s e e HENKIN, L . MOSES, M F . , s e e CROSSLEY, J.N. NERODE, A. and REMMEL, J.B., Generic objects in recursion theory II: Operations on recursive approximation spaces PIETRZYKOWSKI, T., s e e COX, P.T. REMMEL, J.B., s e e NERODE, A. SACKS, G.E., The limits of E-re.cursive enumerability SIMPSON, S.G. and SMITH, R.L., Factorization of polynomials and :~ induction SIMPSON, S.G., s e e BROWN, D.K. SMITH, R.L., s e e CENZER, D. SMITH, R.L., s e e SIMPSON, S.G. SOARE, R.I., s e e CENZER, D. STOB, M., s e e DOWNEY, R.G. 0168-0072/86/$3.50 © 1986, Elsevier Science Publishers B.V. (North-Holland)
(2,3) 123-144 (2,3) 145-163 (2,3) 165-175 (2,3) 145-163 (2,3) 177-189 (2,3) 191-204 (1)
1-21
(2,3) 205-236 (1)
23-60
(1) (1)
61-70 71-86
(2,3) 237-256 (2,3) 191-204 (1) 23-60 (2,3) 191-204 (2,3) 257-288 (2,3) 177-189 (2,3) 257-288 (1) 87-120
(2,3) 289-306 (2,3) 123-144 (2,3) 145-163 (2,3) 289- 306 (2,3) 145-163 (2,3) 205-236
342
Author index
TAKEUTI, G. and TITANI, S., Global intuitionistic analysis TARSKI, A., see H E N K I N , L. TITANI, S., see TAKEUTI, G. WAINER, S.S., see CENZER, D.
(2,3) 307-339 (1) 23-60 (2,3) 307-339 (2,3) 145-163