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 Anapolitanos. 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. The Craig interpolation theorem in abstract model theory. Synthese 164 (2008), no. 3, 401--420.

  19. On second order characterizability, with Tapani Hyttinen and Kaisa Kangas. Logic Journal of the IGPL (2013) 21 (5): 767-787.

  20. Models and Games, Cambridge Studies in Advanced Mathematics (No. 132) Cambridge University Press, 2011, pp. 380.

  21. Kennedy, S. Shelah, and J. Väänänen, Regular Ultrapowers at Regular Cardinals, Notre Dame Journal of Formal Logic, 56:3, 2015, 417 - 428. ArXiv: arXiv:1307.6396 [math.LO].

  22. An Ehrenfeucht-Fraisse Game for Lomega1omega, with Tong Wang. Mathematical Logic Quarterly 59, No 4-5, 357-370 (2013).

  23. Breaking the atom with Samson. In: Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky. Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday. Editors: Bob Coecke, Luke Ong, Prakash Panangaden, Lecture Notes in Computer Science, volume 7860, 2013, pp. 327-335.

  24. On the symbiosis between model-theoretic and set-theoretic properties of large cardinals, with Joan Bagaria. Journal of Symbolic Logic 81(2), 584-604 (2016).

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