193

Subsystems of Second Order Arithmetic
– S G Simpson
 2009

23

Degrees of functions with no fixed points
– Carl G Jockusch
 1989

33

Almost everywhere domination
– Natasha L. Dobrinen, Stephen G. Simpson

126

Π0 1 classes and degrees of theories
– Robert I Soare
 1972

8

A fixed point free minimal degree
– M Kumabe, A Lewis

8

Degrees of functions with no fixed points, in Logic, Methodology, and Philosophy of Science VIII, edited by
– C Jockusch
 1989

9

On the logical strength of NashWilliams’ theorem on transfinite sequences
– Alberto Marcone
 1996

4

Lebesgue numbers and Atsuji spaces in subsystems of secondorder arithmetic
– Mariagnese Giusto, Alberto Marcone
 1998

9

Higher Order Reverse Mathematics
– Ulrich Kohlenbach
 2000

25

On a question of Dobrinen and Simpson concerning almost everywhere domination
– Stephen Binns, Bjørn KjosHanssen, Manuel Lerman, David Reed Solomon
 1928

59

Zum Hilbertschen Aufbau der reellen Zahlen
– W Ackermann

27

Systems of second order arithmetic with restricted induction
– H Friedman

41

On the strength of Ramsey’s Theorem for pairs
– Peter A. Cholak, Carl G. Jockusch, Theodore, A. Slaman
 2001

13

Correction to “a cohesive set which is not high
– Frank Stephan
 1997

5

Degrees of Unsolvability. Number 55 in Annals of Mathematics Studies
– Gerald E Sacks
 1963

6

classes. Archive for Mathematical Logic
– Stephen Binns
 2006

5

Classical Recursion Theory, Volume 2. Number 143
– Piergiorgio Odifreddi
 1999

9

The Medvedev and Muchnik Lattices of Π 0 1 Classes
– Stephen Binns
 2003

5

Classical Recursion Theory. Number 125
– Piergiorgio Odifreddi
 1989
