Switch to: Citations

Add references

You must login to add references.
  1. The Galvin-Prikry theorem and set existen axioms.Kazuyuki Tanaka - 1989 - Annals of Pure and Applied Logic 42 (1):81-104.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Fixed point theory in weak second-order arithmetic.Naoki Shioji & Kazuyuki Tanaka - 1990 - Annals of Pure and Applied Logic 47 (2):167-188.
    Download  
     
    Export citation  
     
    Bookmark   15 citations