Switch to: Citations

Add references

You must login to add references.
  1. Set Theory: An Introduction to Independence Proofs.Kenneth Kunen - 1980 - North-Holland.
    Download  
     
    Export citation  
     
    Bookmark   169 citations  
  • The ordered field of real numbers and logics with Malitz quantifiers.Andreas Rapp - 1985 - Journal of Symbolic Logic 50 (2):380-389.
    Let ℜ = (R, + R , ...) be the ordered field of real numbers. It will be shown that the L(Q n 1 ∣ n ≥ 1)-theory of ℜ is decidable, where Q n 1 denotes the Malitz quantifier of order n in the ℵ 1 -interpretation.
    Download  
     
    Export citation  
     
    Bookmark   3 citations