Switch to: Citations

Add references

You must login to add references.
  1. Set theory and the continuum hypothesis.Paul J. Cohen - 1966 - New York,: W. A. Benjamin.
    This exploration of a notorious mathematical problem is the work of the man who discovered the solution. Written by an award-winning professor at Stanford University, it employs intuitive explanations as well as detailed mathematical proofs in a self-contained treatment. This unique text and reference is suitable for students and professionals. 1966 edition. Copyright renewed 1994.
    Download  
     
    Export citation  
     
    Bookmark   105 citations  
  • A Löwenheim-Skolem Theorem for Cardinals for Apart.R. L. Vaught, J. W. Addison, Leon Henkin & Alfred Tarski - 1968 - Journal of Symbolic Logic 33 (3):476-477.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Iterated Cohen Extensions and Souslin's Problem.R. M. Solovay & S. Tennenbaum - 1974 - Journal of Symbolic Logic 39 (2):329-330.
    Download  
     
    Export citation  
     
    Bookmark   34 citations  
  • On ω-consistency and related properties.Steven Orey - 1956 - Journal of Symbolic Logic 21 (3):246-252.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • On a generalization of quantifiers.Andrzej Mostowski - 1957 - Fundamenta Mathematicae 44 (2):12--36.
    Download  
     
    Export citation  
     
    Bookmark   170 citations  
  • Homogeneous Universal Models.Michael Morley & Robert Vaught - 1967 - Journal of Symbolic Logic 32 (4):535-535.
    Download  
     
    Export citation  
     
    Bookmark   41 citations  
  • Aronszajn trees and the independence of the transfer property.William Mitchell - 1972 - Annals of Mathematical Logic 5 (1):21.
    Download  
     
    Export citation  
     
    Bookmark   93 citations  
  • Logic with the quantifier “there exist uncountably many”.H. Jerome Keisler - 1970 - Annals of Mathematical Logic 1 (1):1-93.
    Download  
     
    Export citation  
     
    Bookmark   107 citations  
  • Logic with the quantifier "there exist uncountably many".H. Jerome Keisler - 1970 - Annals of Mathematical Logic 1 (1):1.
    Download  
     
    Export citation  
     
    Bookmark   57 citations  
  • Models with Orderings.H. J. Keisler, B. van Rootselaar & J. F. Staal - 1974 - Journal of Symbolic Logic 39 (2):334-335.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • The fine structure of the constructible hierarchy.R. Björn Jensen - 1972 - Annals of Mathematical Logic 4 (3):229.
    Download  
     
    Export citation  
     
    Bookmark   269 citations  
  • Trees.Thomas J. Jech - 1971 - Journal of Symbolic Logic 36 (1):1-14.
    Download  
     
    Export citation  
     
    Bookmark   19 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  
  • Skolem-type Normal Forms for First-Order Languages with a Generalized Quantifier.G. Fuhrken & R. L. Vaught - 1968 - Journal of Symbolic Logic 33 (1):121-122.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Reduced Direct Products.T. Frayne, A. C. Morel & D. S. Scott - 1966 - Journal of Symbolic Logic 31 (3):506-507.
    Download  
     
    Export citation  
     
    Bookmark   22 citations