Switch to: Citations

Add references

You must login to add references.
  1. Infinitary Logic and Admissible Sets.Jon Barwise - 1971 - Journal of Symbolic Logic 36 (1):156-157.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Syntactical and semantical properties of generalized quantifiers.Mitsuru Yasuhara - 1966 - Journal of Symbolic Logic 31 (4):617-632.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • An axiomatic system for the first order language with an equi-cardinality quantifier.Mitsuru Yasuhara - 1966 - Journal of Symbolic Logic 31 (4):633-640.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • On ω-consistency and related properties.Steven Orey - 1956 - Journal of Symbolic Logic 21 (3):246-252.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Limit ultraproducts.H. Jerome Keisler - 1965 - Journal of Symbolic Logic 30 (2):212-234.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • The completeness of the first-order functional calculus.Leon Henkin - 1949 - Journal of Symbolic Logic 14 (3):159-166.
    Download  
     
    Export citation  
     
    Bookmark   111 citations  
  • A generalization of the concept of ω-consistency.Leon Henkin - 1954 - Journal of Symbolic Logic 19 (3):183-196.
    Download  
     
    Export citation  
     
    Bookmark   13 citations