Model theory

  1. Remarks on generalized quantifiers and second-order logics. In Set theory and hierarchy theory, Prace Naukowe Instytutu Matematyki Politechniki Wroclawskiej, Wroclaw, vol. 14 (1977), pages 117-123.

  2. Remarks on free quantifier variables, In J.Hintikka, I.Niiniluoto and E.Saarinen, editors, Essays on mathematical and philosophical logic pages 267-272, Reidel, 1978.

  3. On the axiomatisability of the notion of an automorphism of a finite order, with Dionysis Anapolitanos. Zeitschrift fuer Mathematischen Logik und Grundlagen der Mathematik 26(5):433-437, 1980.

  4. A quantifier for isomorphism, Zeitschrift fuer Mathematischen Logik und Grundlagen der Mathematik 26 (1980), pages 123-130.

  5. Decidability of some logics with free quantifiers variables, with Dionysis Anapoli\-tanos. Zeitschrift fuer Mathematischen Logik und Grundlagen der Mathematik 27:17-22, 1981.

  6. On orderings of the family of all logics, with Michal Krynicki. Archiv fuer Mathematischen Logik 22:141-158, 1982.

  7. Vector spaces and binary quantifiers, with Michal Krynicki and Alistair Lachlan. Notre Dame Journal of Formal Logic 25(1):72-78, 1984.

  8. A hierarchy theorem for Lindström quantifiers, In M. Furberg et al, editors, Logic and abstraction, pages 317-323, Acta Philosophica Gotheburgensia 1, 1986.

  9. Henkin and function quantifiers, with Michal Krynicki. Annals of Pure and Applied Logic 43:273-292, 1989.

  10. On Scott and Karp trees of uncountable models, with Tapani Hyttinen. Journal of Symbolic Logic 55(3):897-908, 1990.

  11. The Härtig-quantifier. A survey, with Heinrich Herre, Michal Krynicki and Anatoli Pinus. 33 pages, Journal of Symbolic Logic 56(4), 1991.

  12. Partially ordered connectives, with Gabriel Sandu. Zeitschrift fuer Mathematische Logik und Grundlagen der Mathematik, 38:361-372, 1992.

  13. A Note on Extensions of Infinitary Logic, with Saharon Shelah, Archive for Mathematcial Logic, 44:1, 63-69, 2005.

  14. Barwise: Abstract model theory and generalized quantifiers, Bulletin of Symbolic Logic, vol. 10:1, 2004, 37-53.

  15. Abstract Model Theory as a Framework for Universal Logic, with Marta Garcia-Matos, Logica Universalis (J.-Y. Beziau, ed.), Birkhäuser, 2005, 19-33.

  16. Recursive Logic Frames, with Saharon Shelah, Math. Logic Quart. 52, No. 2 (2006)

  17. Balder ten Cate, Johan van Benthem and Jouko Väänänen. Lindström theorems for fragments of first-order logic. Proceedings of LICS 2007, pp 280-292. Journal version: Logical Methods in Computer Science 5(3) (2009) 1 - 27.

  18. On second order characterizability, with Tapani Hyttinen and Kaisa Kangas. Submitted.

Back to the homepage of Jouko Väänänen.