Advertisement

Israel Journal of Mathematics

, Volume 32, Issue 2–3, pp 257–281 | Cite as

New axiomatizations for logics with generalized quantifiers

  • Victor Harnik
  • Michael Makkai
Article

Abstract

We give a complete axiomatization for admissible fragments ofL {ie257-1}(Q). This axiomatization implies syntactically Gregory’s characterization ofL {ie257-2} sentences with no uncountable models ([5]). This is then extended to stationary logic. To obtain these results, we employ Ressayre’s methods ([16], [17]) augmented with an application of game sentences. In section 4 we prove a result emphasizing the naturalness of Gregory’s result.

Keywords

Deductive System Generalize Quantifier Completeness Theorem Weak Model Good Extension 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    J. Barwise,Admissible Sets and Structures, Springer-Verlag, 1975.Google Scholar
  2. 2.
    J. Barwise, M. Kaufmann and M. Makkai,Stationary logic, Ann. Math. Logic, to appear.Google Scholar
  3. 3.
    J. Barwise and J. Schlipf,An introduction to recursively saturated and resplendent models, J. Symbolic Logic41 (1976), 531–536.MATHCrossRefMathSciNetGoogle Scholar
  4. 4.
    Kim B. Bruce,Model-theoretic forcing in logic with a generalized quantifier, Ann. Math. Logic, to appear.Google Scholar
  5. 5.
    J. Gregory,Uncountable models and infinitary elementary extensions, J. Symbolic Logic38 (1973), 460–470.MATHCrossRefMathSciNetGoogle Scholar
  6. 6.
    V. Harnik,Refinements of Vaught’s normal form theorem, J. Symbolic Logic, to appear.Google Scholar
  7. 7.
    V. Harnik and M. Makkai,Applications of Vaught sentences and the covering theorem, J. Symbolic Logic41 (1976), 171–187.MATHCrossRefMathSciNetGoogle Scholar
  8. 8.
    H. J. Keisler,Some model-theoretic results for ω-logic, Israel J. Math.4 (1966), 249–261.MATHMathSciNetGoogle Scholar
  9. 9.
    H. J. Keisler,Logic with the quantifier “there exist uncountably many”, Ann. Math. Logic1 (1970), 1–93.MATHMathSciNetGoogle Scholar
  10. 10.
    H. J. Keisler,Model Theory for Infinitary Logic, North-Holland, 1971.Google Scholar
  11. 11.
    K. Kunen,Combinatorics, inHandbook of Mathematical Logic (J. Barwise ed.), North-Holland, 1977, 371–401.Google Scholar
  12. 12.
    M. Makkai,Admissible sets and infinitary logic, inHandbook of Mathematical Logic (J. Barwise, ed.), North-Holland, 1977, 233–281.Google Scholar
  13. 13.
    M. Nadel,Scott sentences and admissible sets, Ann. Math. Logic7 (1974), 267–294.MATHCrossRefMathSciNetGoogle Scholar
  14. 14.
    M. Nadel, On models {ie280-1} to an uncountable model, Proc. Amer. Math. Soc.54 (1976), 307.MATHCrossRefMathSciNetGoogle Scholar
  15. 15.
    M. Nadel and J. Stavi,The pure part of HYP(M), J. Symbolic Logic42 (1977), 33–46.MATHCrossRefMathSciNetGoogle Scholar
  16. 16.
    J. P. Ressayre,Boolean models and infinitary first order languages, Ann. Math. Logic6 (1973), 41–92.MATHCrossRefMathSciNetGoogle Scholar
  17. 17.
    J. P. Ressayre,Models with compactness properties relative to an admissible language, Ann. Math. Logic11 (1977), 31–55.MATHCrossRefMathSciNetGoogle Scholar
  18. 18.
    S. Shelah,Generalized quantifiers and compact logic, Trans. Amer. Math. Soc.204 (1975), 342–364.MATHCrossRefMathSciNetGoogle Scholar
  19. 19.
    R. Vaught, Descriptive set theory in L{ie281-1} inCambridge Summer School in Mathematical Logic, Lecture Notes in Math. No. 337, Springer-Verlag, 1973, pp. 574–598.Google Scholar

Copyright information

© The Weizmann Science Press of Israel 1979

Authors and Affiliations

  • Victor Harnik
    • 1
    • 2
  • Michael Makkai
    • 1
    • 2
  1. 1.University of HaifaHaifaIsrael
  2. 2.McGill UniversityMontreal P.Q.Canada

Personalised recommendations