Switch to: References

Add citations

You must login to add citations.
  1. Subsets coded in elementary end extensions.James H. Schmerl - 2014 - Archive for Mathematical Logic 53 (5-6):571-581.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Unifying the model theory of first-order and second-order arithmetic via WKL 0 ⁎.Ali Enayat & Tin Lok Wong - 2017 - Annals of Pure and Applied Logic 168 (6):1247-1283.
    Download  
     
    Export citation  
     
    Bookmark   7 citations