Skip to main content
SpringerLink
Log in
Book cover

Quantifiers: Logics, Models and Computation pp 25–62Cite as

On the Model Theory of Some Generalized Quantifiers

  • Chapter

  • 176 Accesses

Part of the book series: Synthese Library ((SYLI,volume 248))

Abstract

Our aim is to describe recent developments in the model theory of some generalized quantifiers and thus, in a certain sense, continue the respective parts of the Barwise and Feferman survey book on model-theoretic logic. We concentrate on topics around the elimination of quantifiers, indescernibles, and the homogeneity property.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. U.Abraham, M.Rubin, S.Shelah, On the consistency of some partition theorems for continuous colorings,and the structure of RI-dense real order types,Annals Pure and Applied Logic 29 (1985), pp. 123–206.

    Article  Google Scholar 

  2. F. Appenzeller, Manuscript, Université Paris V II, 1992.

    Google Scholar 

  3. J.Barwise, P. C.Eklof, infinitary properties of abelian torsion groups,Annals Math. Logic 2 (1970), pp. 25–68.

    Article  Google Scholar 

  4. J. Barwise, M. Kaufmann, M. Mkkai, Stationary logic, Annals Math. Logic 13 (1978), pp. 171–224 and 20 (1981), pp. 231–232.

    Google Scholar 

  5. J. Barwise, Model-theoretic logics: Background and aims, In: J. Bar-wise, S. Feferman, 1985, pp. 3–23.

    Google Scholar 

  6. J.Barwise, S.Feferman(eds.,)Model-Theoretic Logics, Springer-Verlag, 1985.

    Google Scholar 

  7. A. Baudisch, D. G. Seese, H.-P. Tuschik, M. Weese, M.: Decidability and quantifier elimination, In: J. Barwise, S. Feferman, 1985, pp. 236–268.

    Google Scholar 

  8. J. E.Baumgartner,A new class of order types,Annals Math. Logic9 (1976), pp. 187–222.

    Google Scholar 

  9. J. E. Baumgartner, P. Komjáth, Boolean algebras in which every chain and antichain is countable,Fund. Math. 111 (1981), pp. 125–133.

    Google Scholar 

  10. R. Bonnet, Very strongly rigid Boolean algebras, Algebra Universalfis 11 (1980), pp. 341–364.

    Article  Google Scholar 

  11. G.Bürger, The L-theory of the class of Archimedian real closed fields,Archive Math. Logic28 (1989(a)), pp. 155–166.

    Article  Google Scholar 

  12. G.Bürger, Die Malitz-Logik für archimedische Modelle Ph.D. Thesis, Freiburg 1989(b).

    Google Scholar 

  13. X.Caicedo,Continuous operations on spaces ofstructures, This volume, 1995.

    Google Scholar 

  14. C. C. Chang, H. J. Keisler, Model theory, North-Holland Publ. Company 1990.

    Google Scholar 

  15. C. Charreton, M. Pouzet,Chains in Ehrenfeucht-Mostowski models,Fund.Math. 118 (1983), pp. 109–122.

    Google Scholar 

  16. J.Cowles, The relative expressive power of some logics extending first-order logic,J. Symb. Logic 44 (1979(a)), pp. 129–146.

    Article  Google Scholar 

  17. J.Cowles,The theory ofArchimedian real closed fieldsinlogics with Ramseyquantifiers, Fund. Math.103 (1979(b)), pp. 65–76.

    Google Scholar 

  18. H.-D. Ebbinghaus, On models with large automorphism groups, Archiv math. Logik 14 (1971), pp. 179–197.

    Article  Google Scholar 

  19. H.-D.Ebbinghaus,Extended logics: Thegeneral framework, In: [J. Barwise—Feferman 1985], pp. 25–76.

    Google Scholar 

  20. H.-D. Ebbinghaus, Interpolation, Definierbarkeit und Leibniz- Logiken, Schriftenr. Westf. Wilhelms-Universität 8 (1986), pp. 78–88.

    Google Scholar 

  21. H.-D. Ebbinghaus, J. Flum, W. Thomas, Mathematical Logic, Springer-Verlag, 1985.

    Google Scholar 

  22. A. Ehrenfeucht, A. Mostowski, Models of axiomatic theories admitting automorphisms, Fund. Math. 43 (1956), pp. 50–68.

    Google Scholar 

  23. P. C. Eklof, A. H. Mekler, Stationary logic of finitely determinate structures, Annals Math. Logic 17 (1979), pp. 227–270.

    Article  Google Scholar 

  24. J. Flum, Die Automorphismenmengen der Modelle einer LQ-Theorie, Archiv math. Logik 15 (1972), pp. 83–85.

    Article  Google Scholar 

  25. H. Friedman, One hundred and two problems in mathematical logic, J. Symb. Logic 40 (1975), pp. 113–129.

    Article  Google Scholar 

  26. G. Fuhrken, Skolem-type normal forms for first-order languages with a generalized quantifier, Fund. Math. 54 (1964), pp. 291–302.

    Google Scholar 

  27. S. C. Garavaglia, Relative strength of Malitz quantifiers, Notre Dame J. Formal Logic 19 (1978), pp. 495–503.

    Article  Google Scholar 

  28. H.-J. Goltz, Untersuchungen zur Elimination verallgemeinerter Quantoren in Körpertheorien. Wiss. Zeitschr. Humboldt-Univ. Berlin, math: nat. Reihe 29 (1980), pp. 391–397.

    Google Scholar 

  29. H. Herre, M. Krynicki, A. Pinus, J. Väänänen, The Hârtig quantifier: A survey, J. Symb. Logic 56 (1991), pp. 1153–1183.

    Article  Google Scholar 

  30. W. Hodges, Models built on linear orderings, Annals Discr. Math. 23 (1984), pp. 207–234.

    Google Scholar 

  31. W. Hodges, S. Shelah, Infinite games and reduced products, Annals Pure Appl. Logic 20 (1981), pp. 77–108.

    Google Scholar 

  32. Hodges, W., Shelah, S.: There are reasonable nice logics, J. Symb. Logic 56 (1991), pp. 300–321.

    Article  Google Scholar 

  33. M. Kaufmann, The quantifier “there exist uncountably many” and some of its relatives, In: Barwise, J., Feferman, S., 1985, pp. 123–176.

    Google Scholar 

  34. M. Kaufmann, S. Shelah, The Hanf number of stationary logic, Notre Dame J. Formal Logic 27 (1986), pp. 111–123.

    Article  Google Scholar 

  35. H. J. Keisler, Logic with the quantifier “there exist uncountably many”, Annals Math. Logic 1 (1970), pp. 1–93.

    Article  Google Scholar 

  36. H. J.Keisler, Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers, North-Holland, 1971.

    Google Scholar 

  37. J. F.Knight, A. Pillay, CH. Steinhorn, Definable sets in ordered structures II,Trans. Amer. Math. Soc. 295 (1986), pp. 593–605.

    Article  Google Scholar 

  38. P.Koepke, On the elimination of Malitz quantifiers over Archirnedian real closed fields, Archive Math. Logic 28 (1989), pp. 167–171.

    Article  Google Scholar 

  39. G. Kreisel, J. L. Krivine, Elements of Mathematical Logic, North-Holland, 1967.

    Google Scholar 

  40. K. Kunen, Set Theory. An Introduction to Independence Proofs, North-Holland, 1980.

    Google Scholar 

  41. W. Lenski, Decidability results for classes of ordered abelian groups in logics with Ramsey quantifiers, Quantifiers II M. Krynicki, M. Mostowski, L.W. Szczerba (eds.) 1995 pp. 139–168.

    Google Scholar 

  42. P. Lindstrom, First order predicate logic with generalized quantifiers, Theoria 32 (1966), pp. 186–195.

    Google Scholar 

  43. A. Macintyre, S. Shelah, Uncountable locally finite groups, J. Algebra 43 (1976), pp. 168–175.

    Article  Google Scholar 

  44. M. Magidor, J. Malitz, Compact extensions of £(Q), Part Ia, Annals Math. Logic 11 (1977), pp. 217–261.

    Article  Google Scholar 

  45. J. A.Makowsky,Securable quantifiers,ic-unionsand admissible sets, In: H.E.Rose, J.C.Shepherdson (eds): Logic Colloquium ‘73, North-Holland, 1975, pp. 409–428.

    Google Scholar 

  46. J. A. Makowsky, Compactness, Embeddings and Definability, In: J. Barwise, S. Feferman, 1985, pp. 645–716.

    Google Scholar 

  47. J. A.Makowsky, S. Shelah, The theorems of Beth and Craig in abstract model theory II: Compact logics,Archiv math. Logik 21 (1981), pp. 13–35.

    Article  Google Scholar 

  48. J. A.Makowsky,S. Shelah,Positive resultsinabstract model theory: A theory of compact logics,Annals Pure App1. Logic25 (1983), pp. 263–299.

    Article  Google Scholar 

  49. A. H.Mekler,S.Shelah,Stationary logicandits friends I,Notre Dame J. Formal Logic26 (1985), pp. 129–138.

    Article  Google Scholar 

  50. A. H. Mekler, S. Shelah, Stationary logic and its friends II, Notre Dame J. Formal Logic 27 (1986), pp. 39–50.

    Article  Google Scholar 

  51. H. Mildenberger, Zur Homogenitatseigenschaft in Erweiterungslogiken. Ph.D. Thesis, Freiburg, 1990.

    Google Scholar 

  52. H.Mildenberger,Onthe homogeneity property for certain quantifiers,Archive Math. Logic31 (1992(a)), pp. 445–455.

    Article  Google Scholar 

  53. H.Mildenberger, A rigid Boolean algebra that admits the elimination of Qi,Submitted. 1992(b).

    Google Scholar 

  54. A. Mostowski, On a generalization of quantifiers, Fund. Math. 44 (1957), pp. 12–36.

    Google Scholar 

  55. M. Otto, Ehrenfeucht-Mostowski-Konstruktionen in Erweiterungslogiken, PhD Thesis, Freiburg, 1990.

    Google Scholar 

  56. M.Otto,EM constructions foraclass of generalized quantifiers, Archive Math. Logic31 (1992(a)), pp. 355–371.

    Article  Google Scholar 

  57. M.Otto, Automorphism properties of stationary logic,J. Symb. Logic 57, (1992(b)), pp. 231–237.

    Article  Google Scholar 

  58. A.Pillay, CH. Steinhorn, Definable sets in ordered structures I,Trans. Amer. Math. Soc. 295 (1986), pp. 565–592.

    Article  Google Scholar 

  59. A. Pinus, ИCЧИc041BeHHe C KBBHTOpOM aBT0MoPtpHOCTH, In: Anre6paH4eCKHe CHCTemm, a7IPOpETM}P1 CKHe BOnpOChI И ЭBM, Irkutsk University Press, 1986.

    Google Scholar 

  60. A. Pinus, Generalized quantifiers in algebra, Quantifiers II M. Krynicki, M. Mostowski, L.W. Szczerba (eds.) 1995 pp. 215–228.

    Google Scholar 

  61. A. Rapp, On the expressive power of the logics G(Q), Zeitschr. Math. Logik Grundl. Math. 30 (1984), pp. 11–20.

    Article  Google Scholar 

  62. A. Rapp, The ordered field of real numbers and logics with Malitz quantifiers, J. Symb. Logic 50 (1985), pp. 380–389.

    Article  Google Scholar 

  63. M.Rubin, S.Shelah, On the expressibility hierarchy of MagidorMalitz quantifiers, J. Symb. Logic 48 (1983), pp. 542–557.

    Article  Google Scholar 

  64. J. H. Schmerl, S. G. Shmpson, On the role of Ramsey quantifiers in first order arithmetic, J. Symb. Logic 47 (1982), pp. 423–435.

    Article  Google Scholar 

  65. J. H.Schmerl, Transfer theorems and their applications to logics,In: [Barwise-Feferman 1985], pp. 177–209.

    Google Scholar 

  66. S.Shelah,On models with power-like orderings,J. Symb. Logic 37(1972), pp. 247–267.

    Article  Google Scholar 

  67. S.Shelah, Generalizedquantifiers and compact logic,Trans. Amer. Math. Soc. 204 (1975), pp. 342–364.

    Article  Google Scholar 

  68. S. Shelah, Decomposing uncountable squares into countably many chains, J. Comb. Theory (Series A) 21 (1976), pp. 110–114.

    Article  Google Scholar 

  69. S.Shelah, Classification theory and the number of nonisomorphic models North-Holland, 1978, 21990.

    Google Scholar 

  70. S.Shelah, Remarks in abstract model theory,Annals Pure Appl. Logic 29 (1985),pp. 193–213.

    Article  Google Scholar 

  71. S. Shelah, CH. Steinhorn, On the non-axiomatizability of some logics by finitely many schemas, Notre Dame J. Formal Logic 27 (1986), pp. 1–11.

    Article  Google Scholar 

  72. S. Shelah, Nonelernentary classes: Part II, In: J. T. Baldwin (ed.), Classification theory; Proceedings, Chicago 1985, Lecture Notes in Mathematics 1292, Springer-Verlag, 1987, pp. 419–497.

    Google Scholar 

  73. S. Shelah, CH. Steinhorn, The non-axiomatizability of G(QK,) by finitely many schemata, Notre Dame J. Formal Logic 31 (1990), pp. 1–13.

    Article  Google Scholar 

  74. S.Shelah, The theorems of Beth and Craig in abstract model theory III. A-logicsand infinitary logics,Israel J. Math. 69(1990), pp.193–213.

    Article  Google Scholar 

  75. A. Tarski, A decision Method for Elementary Algebra and Geometry, Rand Corporation, Santa Monica, 1948.

    Google Scholar 

  76. I. H.Tharp,Continuity and elementary logic, J. Symb. Logic39 (1974), pp. 700–716.

    Article  Google Scholar 

  77. S. Todorcevic, Partitioning pairs of countable ordinals, Acta Math. 159 (1987), pp. 261–294.

    Article  Google Scholar 

  78. S. Todorcevic, A sentence of L(Q 2 ) with only rigid models, Manuscript, 1992.

    Google Scholar 

  79. H.-P. Tuschik, The expressive power of Malitz quantifiers for linear orderingsAnnals of Pure and Applied Logic 36 (1987), pp. 53–103.

    Article  Google Scholar 

  80. S.Vinner, Model-completeness in a first-order language with a generalized quantifier,Pacific J. Math. 56 (1975), pp. 265–273.

    Article  Google Scholar 

Download references

Authors
  1. Heinz-Dieter Ebbinghaus
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Mathematics, University of Warsaw, Poland

    Michał Krynicki

  2. Department of Philosophy, University of Warsaw, Poland

    Marcin Mostowski

  3. Siedlce University, Poland

    Lesław W. Szczerba

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer Science+Business Media Dordrecht

About this chapter

Cite this chapter

Ebbinghaus, HD. (1995). On the Model Theory of Some Generalized Quantifiers. In: Krynicki, M., Mostowski, M., Szczerba, L.W. (eds) Quantifiers: Logics, Models and Computation. Synthese Library, vol 248. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-0522-6_3

Download citation

  • DOI: https://doi.org/10.1007/978-94-017-0522-6_3

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-90-481-4539-3

  • Online ISBN: 978-94-017-0522-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation