Located Sets And Reverse Mathematics (1999)

Cached

Download Links

by Mariagnese Giusto , Stephen G. Simpson
Venue:Journal of Symbolic Logic
Citations:13 - 5 self

Documents Related by Co-Citation

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 Nash-Williams’ 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 Kjos-Hanssen, 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