A General Framework for Priority Arguments (1995)

Cached

Download Links

by Steffen Lempp , Manuel Lerman
Venue:THE BULLETIN OF SYMBOLIC LOGIC
Citations:2 - 0 self

Active Bibliography

Computability Theory, Algorithmic Randomness and Turing’s Anticipation – Rod Downey
4 Conjectures and Questions from Gerald Sacks’s Degrees of Unsolvability – Richard A. Shore - 1993
1 Computational Processes, Observers and Turing Incompleteness – Klaus Sutner
Annals of Mathematics First-Order Theory of the Degrees of Recursive Unsolvability – G. Simpson, G. Simpson
6 Degree structures: Local and global investigations – Richard A. Shore
Extensions, Automorphisms, and Definability – Robert I. Soare
Review of Peter Cholak, “Automorphisms of the Lattice of Recursively Enumerable Sets ” Memoirs of the American Math. Soc. (1995) viii+151 pp and – Leo Harrington, Robert I Soare, The Automorphism
On the Quantitative Structure of ... – Sebastiaan A. Terwijn - 2000
Computational Processes and Incompleteness – Klaus Sutner - 906
4 Turing Oracle Machines, Online Computing, and Three Displacements in Computability Theory – Robert I. Soare - 2009
4 Degrees of Computing and Learning – Frank Stephan - 1999
34 Parameter Definability in the Recursively Enumerable Degrees – Andre Nies
6 1997], There is no degree invariant half-jump – Rod Downey, Richard A. Shore - 1997
6 The recursively enumerable degrees – Richard A. Shore - 1996
4 On the Structures Inside Truth-Table Degrees – Frank Stephan - 1997
6 An explicit solution to Post’s Problem over the reals – Klaus Meer , Martin Ziegler - 2008
22 An extension of the recursively enumerable Turing degrees – Stephen G. Simpson - 2006
7 1995], Degree theoretic definitions of the low 2 recursively enumerable sets – Rod Downey, Richard A. Shore - 1995
THE INFINITE INJURY PRIORITY METHOD1 – I. Soare, I. Soare