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. With Balder ten Cate and Johan van Benthem. 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. How complicated can structures be? Nieuw Archief voor Wiskunde. June 2008, 117-121.

  19. The Craig interpolation theorem in abstract model theory. Synthese 164 (2008), no. 3, 401--420.

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

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

  22. Lindström's Theorem, in: Universal Logic: An Anthology (Beziau, Jean-Yves (Ed.)), Springer, 2012, 231 - 236.

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

  24. An Ehrenfeucht-Fraïssé Game for Lomega1omega, with Tong Wang. Mathematical Logic Quarterly 59, No 4-5, 357-370 (2013).

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

  26. 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).

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

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

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

  30. Tractability Frontier of Data Complexity in Team Semantics, with Arnaud Durand, Nicolas de Rugy-Altherre, and Juha Kontinen, ACM Transactions on Computational Logic 23 (1), 1-21, 2022. Full version of #125. Available in ArXiv.

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

  32. When cardinals determine the power set: inner models and Härtig quantifier logic, with P. Welch, Mathematical Logic Quarterly 69 (2023), no. 4, 460-471. Available also in Arxiv.

  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, 755-770. arXiv

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

  35. Bounded Symbiosis and Upwards Reflection, with Lorenzo Galeotti and Yurii Khomskii, Arch. Math. Logic (2024). https://doi.org/10.1007/s00153-024-00955-0. Available in arXiv.

  36. Interpolation in model theory. To appear in Balder ten Cate, Jean Christoph Jung, Patrick Koopmann, Christoph Wernhard and Frank Wolter, editors, Theory and Applications of Craig Interpolation. Ubiquity Press. To appear.

  37. On Borel subsets of generalized Baire spaces, with Tapani Hyttinen and Miguel Moreno. Submitted. Available in arXiv.

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

  39. Cartagena logic, with Siiri Kivimäki and Andres Villaveces, to appear. Available in arXiv.

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