Switch to: Citations

Add references

You must login to add references.
  1. Countable algebra and set existence axioms.Harvey M. Friedman - 1983 - Annals of Pure and Applied Logic 25 (2):141.
    Download  
     
    Export citation  
     
    Bookmark   65 citations  
  • Every analytic set is Ramsey.Jack Silver - 1970 - Journal of Symbolic Logic 35 (1):60-64.
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  • On the role of Ramsey quantifiers in first order arithmetic.James H. Schmerl & Stephen G. Simpson - 1982 - Journal of Symbolic Logic 47 (2):423-435.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • A survey of proof theory.G. Kreisel - 1968 - Journal of Symbolic Logic 33 (3):321-388.
    Download  
     
    Export citation  
     
    Bookmark   50 citations  
  • Addendum to “Countable algebra and set existence axioms”.Harvey M. Friedman, Stephen G. Simpson & Rick L. Smith - 1984 - Annals of Pure and Applied Logic 28 (3):319-320.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Ramsey's theorem and recursion theory.Carl G. Jockusch - 1972 - Journal of Symbolic Logic 37 (2):268-280.
    Download  
     
    Export citation  
     
    Bookmark   45 citations  
  • Happy families.A. R. D. Mathias - 1977 - Annals of Mathematical Logic 12 (1):59.
    Download  
     
    Export citation  
     
    Bookmark   94 citations  
  • Borel sets and Ramsey's theorem.Fred Galvin & Karel Prikry - 1973 - Journal of Symbolic Logic 38 (2):193-198.
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  • A new proof that analytic sets are Ramsey.Erik Ellentuck - 1974 - Journal of Symbolic Logic 39 (1):163-165.
    We give a direct mathematical proof of the Mathias-Silver theorem that every analytic set is Ramsey.
    Download  
     
    Export citation  
     
    Bookmark   32 citations  
  • Bar induction and Π11-CA.Harvey Friedman - 1969 - Journal of Symbolic Logic 34 (3):353 - 362.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Sets which do not have subsets of every higher degree.Stephen G. Simpson - 1978 - Journal of Symbolic Logic 43 (1):135-138.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • On the Ramsey property for sets of reals.Ilias G. Kastanas - 1983 - Journal of Symbolic Logic 48 (4):1035-1045.
    We review some known results about the Ramsey property for partitions of reals, and we present a certain two-person game such that if either player has a winning strategy then a homogeneous set for the partition can be constructed, and conversely. This gives alternative proofs of some of the known results. We then discuss possible uses of the game in obtaining effective versions of Ramsey's theorem and prove a theorem along these lines.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Bar Induction and $Pi^1_1-CA^1$.Harvey Friedman - 1969 - Journal of Symbolic Logic 34 (3):353-362.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Bar Induction and Π 1 1 -CA 1.Harvey Friedman - 1969 - Journal of Symbolic Logic 34 (3):353-362.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Bar induction and PI|-"CA".Harvey Friedman - 1969 - Journal of Symbolic Logic 34:353.
    Download  
     
    Export citation  
     
    Bookmark   2 citations