5 found
Order:
  1.  18
    The α-finite injury method.G. E. Sacks & S. G. Simpson - 1972 - Annals of Mathematical Logic 4 (4):343-367.
  2.  35
    Factorization of polynomials and °1 induction.S. G. Simpson - 1986 - Annals of Pure and Applied Logic 31:289.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   36 citations  
  3.  8
    Introduction.L. A. Harrington, M. D. Morley & S. G. Simpson - 1990 - Journal of Symbolic Logic 55 (2):867-868.
  4.  12
    Review: Ulrich Felgner, Comparison of the Axioms of Local and Universal Choice; Andrzej Mostowski, Models of Second Order Arithmetic with Definable Skolem Functions. [REVIEW]S. G. Simpson - 1973 - Journal of Symbolic Logic 38 (4):652-653.
  5.  17
    Ulrich Felgner. Comparison of the axioms of local and universal choice. Fundamenta mathematicae, vol. 71 no. 1 , pp. 43–62. - Andrzej Mostowski. Models of second order arithmetic with definable Skolem functions. Fundamenta mathematicae, vol. 75 no. 3 , pp. 223–234. [REVIEW]S. G. Simpson - 1973 - Journal of Symbolic Logic 38 (4):652-653.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark