Skip to main content
Log in

On the homogeneity property for certain quantifier logics

  • Published:
Archive for Mathematical Logic Aims and scope Submit manuscript

Summary

The local homogeneity property is defined as in [Mak]. We show thatL ωω(Q1) and some related logics do not have the local homogeneity property, whereas cofinality logicL ωω(Qcfω) has the homogeneity property. Both proofs use forcing and absoluteness arguments.

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

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • [Ba−Ka−Ma] Barwise, J., Kaufmann, M.J., Makkai, M.: Stationary logic. Ann. Math. Logic13, 171–224 (1978)

    Google Scholar 

  • [Ca] Caicedo, X.: Back-and-forth systems for arbitrary quantifiers. In: Arruda, A.J., Chuaqui, R., da Costa, N.C.R. (eds.). Mathematical Logic in Latin America. Amsterdam: North-Holland 1980, pp. 83–102

    Google Scholar 

  • [Eb 71] Ebbinghaus, H.-D.: On models with large automorphism groups. Arch. Math. Logik Grundlagenforsch.14, 179–197 (1971)

    Google Scholar 

  • [Eb 85] Ebbinghaus, H.-D.: Extended logics: The general framework Chap. II. In: Barwise, J., Feferman, S. (eds.) (eds.) Model-theoretic logic. Amsterdam: North-Holland 1985, pp. 25–76

    Google Scholar 

  • [Ho-Sh] Hodges, W., Shelah, S.: Infinite games and reduced products. Ann. Math. Logic20, 77–108 (1981)

    Google Scholar 

  • [Ku] Kunen, K.: Set theory: An introduction to independence proofs. Amsterdam: North-Holland 1980

    Google Scholar 

  • [Mag-Mal] Magidor, M., Malitz, J.: Compact extensions ofL(Q). Part (1a). Ann. Math. Logic11, 217–261 (1977)

    Google Scholar 

  • [Mak] Makowsky, J.A.: Compactness, embeddings and definability, Chap. XVIII. In: Barwise, J., Feferman, S. (eds.) Model-theoretic logic. Amsterdam: North-Holland 1985, pp. 546–716

    Google Scholar 

  • [Mak-Sh] Makowsky, J.A., Shelah, S.: Positive results in abstract model theory: a theory of compact logics. Ann. Pure Appl. Logic25, 263–299 (1983)

    Google Scholar 

  • [Me-Sh] Mekler, A., Shelah, S.: Stationary logic and its friends. I. Notre Dame J. Formal Logic26, 129–138 (1985)

    Google Scholar 

  • [Mil] Mildenberger, H.: Zur Homogenitätseigenschaft in Erweiterungslogiken. Freiburg: Dissertation, 1990

  • [Ot] Otto, M.: Ehrenfeucht-Mostowski-Konstruktionen in Erweiterungslogiken. Freiburg: Dissertation, 1990

  • [Sh 72] Shelah, S.: On models with power-like orderings. J. Symb. Logic37, 247–267 (1972)

    Google Scholar 

  • [Sh 76] Shelah, S.: Decomposing uncountable squares into countably many chains. J. Combin. Theory Series A21, 110–114 (1976)

    Google Scholar 

  • [Sh 85] Shelah, S.: Remarks in abstract model theory. Ann. Pure Appl. Logic29, 255–288 (1985)

    Google Scholar 

  • [Vä] Väänänen, J.: Set theoretic definability of logics, Chap. XVII. In: Barwise, J., Feferman, S. (eds.) Model-theoretic logic. Amsterdam: North-Holland 1985, pp. 599–643

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Mildenberger, H. On the homogeneity property for certain quantifier logics. Arch Math Logic 31, 445–455 (1992). https://doi.org/10.1007/BF01277486

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01277486

Keywords

Navigation