Peter G. Hinman

Publication Activity (10 Years)

Years Active: 1973-2012
Publications (10 Years): 0

Top Topics

Development Environment

Top Venues

Bull. Symb. Log.

Publications

Peter G. Hinman
A survey of Mučnik and Medvedev degrees. Bull. Symb. Log. 18 (2) (2012)
Douglas A. Cenzer, Peter G. Hinman
Degrees of difficulty of generalized r.e. separating classes. Arch. Math. Log. 46 (7-8) (2008)
Douglas Cenzer, Peter G. Hinman
Medvedev Degrees of Generalized R.E. separating Classes. Electron. Notes Theor. Comput. Sci. 167 (2007)
Douglas A. Cenzer, Peter G. Hinman
Density of the Medvedev lattice of Pi01 classes. Arch. Math. Log. 42 (6) (2003)
Peter A. Cholak, Peter G. Hinman
Iterated relative recursive enumerability. Arch. Math. Log. 33 (5) (1994)
Peter G. Hinman, Theodore A. Slaman
Jump Embeddings in Turing Degrees. J. Symb. Log. 56 (2) (1991)
Andreas Blass, Louise Hay, Peter G. Hinman
Meeting of the Association for Symbolic Logic: Chicago, 1985. J. Symb. Log. 51 (2) (1986)
Peter G. Hinman
Degrees of Continuous Functionals. J. Symb. Log. 38 (3) (1973)