Switch to: Citations

Add references

You must login to add references.
  1. Hanf Numbers for Fragments of L ∞ω.Jon Barwise & Kenneth Kunen - 1984 - Journal of Symbolic Logic 49 (1):315-315.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Countable models of set theories.Harvey Friedman - 1973 - In A. R. D. Mathias & Hartley Rogers (eds.), Cambridge Summer School in Mathematical Logic. New York,: Springer Verlag. pp. 539--573.
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  • On the Semantics of the Constructible Levels.George Boolos - 1970 - Mathematical Logic Quarterly 16 (2):139-148.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • $Sigma_1$ Compactness for Next Admissible Sets.Judy Green - 1974 - Journal of Symbolic Logic 39 (1):105-116.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Σ1 compactness for next admissible sets.Judy Green - 1974 - Journal of Symbolic Logic 39 (1):105 - 116.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • On partitions into stationary sets.Karel Prikry & Robert M. Solovay - 1975 - Journal of Symbolic Logic 40 (1):75-80.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Uniform inductive definability and infinitary languages.Anders M. Nyberg - 1976 - Journal of Symbolic Logic 41 (1):109-120.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The fine structure of the constructible hierarchy.R. Björn Jensen - 1972 - Annals of Mathematical Logic 4 (3):229.
    Download  
     
    Export citation  
     
    Bookmark   270 citations  
  • Strict-Π1 1 predicates on countable and cofinality ω transitive sets.Philip W. Grant - 1977 - Journal of Symbolic Logic 42 (2):161 - 173.
    Download  
     
    Export citation  
     
    Bookmark   1 citation