1;95;0c Publications of Jouko Väänänen

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 für Mathematischen Logik und Grundlagen der Mathematik 26(5):433-437, 1980.

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

  5. Decidability of some logics with free quantifiers variables, with Dionysis Anapolitanos. Zeitschrift für Mathematischen Logik und Grundlagen der Mathematik 27:17-22, 1981.

  6. On orderings of the family of all logics, with Michał Krynicki. Archiv für Mathematischen Logik 22:141-158, 1982.

  7. Vector spaces and binary quantifiers, with Michał 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 Michał 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, Michał Krynicki and Alexandr Pinus. 1153-1183, Journal of Symbolic Logic 56(4), 1991.

  12. Partially ordered connectives, with Gabriel Sandu. Zeitschrift für 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. In arxiv.

  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 García-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). ArXiv.

  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. ArXiv.

  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-Fraïssé 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).

  25. An overview of Saharon Shelah's contributions to mathematical logic, in particular to model theory, Theoria, 87(2), 349-360, 2021.

  26. Bounded Symbiosis and Upwards Reflection, with Lorenzo Galeotti and Yurii Khomskii, to appear. Available in arXiv.

  27. Logicality and model classes, with Juliette Kennedy. Bulletin of Symbolic Logic 27(4), 385-414, 2021, Link. Available in arXiv.

  28. Chain logic and Shelah's infinitary logic, with M. Džamonja, Israel Journal of Mathematics vol. 245, pages 93-134, 2021. Available online, also in arXiv.

  29. Positive logics, with S. Shelah. Archive for Mathematical Logic 62, 207-223, (2023). Available in arXiv.

  30. A syntactic approach to Shelah's logic L^1_\kappa, with Siiri Kivimäki and Andres Villaveces, to appear.

  31. When cardinals determine the power set: inner models and Härtig quantifier logic, with P. Welch, Mathematical Logic Quarterly, Online available 2023. Available also in Arxiv.

  32. On highly equivalent non-isomorphic countable models of arithmetic and set theory, with Tapani Hyttinen. To appear.

  33. The strategic balance of games in logic. In: Samson Abramsky on Logic and Structure in Computer Science and Beyond (edited by Alessandra Palmigiano and Mehrnoosh Sadrzadeh), Volume 25 in the series "Outstanding Contributions to Logic", Springer, 2023. arXiv

  34. On some infinitary logics, with Boban Velickovic. To appear. Available in arXiv.

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