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

  1. Some remarks on pseudocompact spaces. Ann. Acad. Sci. Fenn. Ser. A I Math 559 pp. 11, 1973.

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

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

  4. Two axioms of set theory with applications to logic. Ann. Acad. Sci. Fenn. Ser. A I. Math. Diss. 20:1-19, 1978.

  5. Abstract logic and set theory, I: Definability. In M. Boffa, D. van Dalen and K. McAloon, editors, Logic Colloquium '78, pages 391-421, North-Holland, 1979.

  6. On the Hanf numbers of unbounded logics. In F. Jensen, B. Mayoh and K. Møller, editors, Proceedings from 5th Scandinavian Logic Symposium, pages 309-328, Aalborg University Press, 1979.

  7. Uusi epätäydellisyys aritmetiikassa. Archimedes 31:30-37, 1979.

  8. Boolean valued models and generalized quantifiers, Annals of Mathematical Logic, 79, pages 1-225, 1980.

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

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

  11. The Hanf number of L_{omega_1omega_1} Proceedings of American Mathematical Society 79:294-297, 1980. Abstract in Journal of Symbolic Logic 46(2):442-443, 1981.

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

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

  14. Abstract logic and set theory, II: Large cardinals, Journal of Symbolic Logic 47, pages 335-345, 1982.

  15. Generalized quantifiers in models of set theory. In G. Metakides, editor, Patras Logic Symposion, pages 359-371, North-Holland, 1982.

  16. Äärettömyyden käsite Georg Cantorilla. In J. Oikkonen, editor, Katsauksia Matematiikan Historiaan, pages 88-101, Oy Gaudeamus Ab, Helsinki, 1982.

  17. Delta-extension and Hanf numbers. Fundamenta Mathematicae, 115:43-55, 1983.

  18. Herakles ja Hirviö, Archimedes 35:39-45, 1983.

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

  20. Set theoretic definability of logics. In J. Barwise and S. Feferman, editors, Model Theoretic Logics, pages 599-643, Springer, 1985.

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

  22. Wittgenstein och matematikens filosofi, Nordisk Matematisk Tidskrift 35(3):98-100, 1987.

  23. Matemaattinen logiikka, Oy Gaudeamus Ab, Helsinki, 1987, pp. 144

  24. Henkin and function quantifiers, with Michał Krynicki. Annals of Pure and Applied Logic 43:273-292, 1989.

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

  26. The Härtig-quantifier. A survey, with Heinrich Herre, Michał Krynicki and Alexandr Pinus. 1153-1183, Journal of Symbolic Logic 56(4), 1991.

  27. A Cantor-Bendixson theorem for the space omega_1^omega_1. Fundamenta Mathematicae, 37:187-199, 1991.

  28. Partially ordered connectives, with Gabriel Sandu. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 38:361-372, 1992.

  29. Trees and Pi^1_1-subsets of omega_1^omega_1, with Alan Mekler, Journal of Symbolic Logic 58, 1052-1070, 1993. [Errata: The claim that MA implies there is a maximal tree in TO is false, as shown by Dzamonja and Shelah, see here. There is also an unfortunate type-setting mixup at the bottom of page 1055.]

  30. Kummallisia olioita, with H. Salminen, Tiede 2000, 2/1993, s. 44-45.

  31. Matkalla kohti ääretöntä, with H. Salminen, Tiede 2000, 3/1993, s. 58-59.

  32. Umpikuja - tie uuteen, with H. Salminen, Tiede 2000, 4/1993, s. 48-49.

  33. Kuka ratkaisee matematiikan mysteerin, with H. Salminen, Tiede 2000, 5/1993, s. 60-61.

  34. Kunnon ongelmassa herkkua monelle, with H. Salminen, Tiede 2000, 6/1993, s. 48-49.

  35. Kuka laskisi kolmion kulmien summan, with H. Salminen, Tiede 2000, 8/1993, s. 56-57.

  36. Fermat'n suuri lause todistettu, with H. Salminen, Helsingin Sanomat, 3.7.1993.

  37. Game-theoretic inductive definability, with Juha Oikkonen, Annals of Pure and Applied Logic 65, 265-306, 1993.

  38. Logic Colloquium '90 (editor, with J. Oikkonen), Lecture Notes in Logic , vol. 2, Springer-Verlag, 1993.

  39. On the number of automorphisms of uncountable models, with Saharon Shelah and Heikki Tuuri, Journal of Symbolic Logic 58, 1402-1418, 1993.

  40. The Ehrenfeucht-Fraïssé game of length omega_1, with Alan Mekler and Saharon Shelah, Transactions of the American Mathematical Society 339, 567-580, 1993.

  41. Reflection of long game formulas, with Heikki Heikkilä, Mathematical Logic Quarterly 40:381-392, 1994.

  42. Logiikka on ajattelun matematiikkaa, with H. Salminen, Tiede 2000, 1/1994, s. 56-59.

  43. Laattoja pitkin äärettömään, with H. Salminen, Tiede 2000, 8/1994, s. 54-57.

  44. Matematiikka, kiehtova tiede, with H. Salminen, Mitä Missä Milloin 95, 1994, s. 363-367.

  45. Generalized quantifiers and pebble games on finite structures, with Phokion Kolaitis, Annales of Pure and Applied Logic 74(1995), 23-75, Short version appeared in: Proceedings of the 7th IEEE Symposium on Logic in Computer Science, 1992.

  46. Games and trees in infinitary logic: A Survey. In M. Krynicki, M. Mostowski and L. Szczerba, editors, Quantifiers, Kluwer Academic Publishers, 105-138, 1995. [The online version here contains remarks about errata in the published version.]

  47. Tietotokone kompastuu matematiikan rajoihin, with H. Salminen, Tiede 2000, 2/1995, s. 38-40.

  48. Logiikka - kielen matematiikka, with H. Salminen, Mitä Missä Milloin 96, 1995.

  49. Kultainen leikkaus - harmonian avain, with H. Salminen, Tiede 2000, 4/1995, s. 66-68.

  50. The Hierarchy Theorem for generalized quantifiers, with Lauri Hella and Kerkko Luosto, Journal of Symbolic Logic 61(3):802-817, 1996.

  51. Combinatorics and Quantifiers, with Jaroslav Nešetřil, Commentat. Math. Univ. Carol. 37(3), 1996.

  52. Definability of polyadic lifts of generalized quantifiers, with Lauri Hella and Dag Westerståhl, Journal of Logic, Language and Information. 6:305-335, 1997.

  53. Johdatus logiikkaan, with H. Salminen, Oy Gaudeamus Ab, Helsinki 1992, second edition 1997, pp. 159.

  54. Matematiikan Taito 12: Numeeriset Menetelmät, with H. Salminen, Weilin+Göös, 1996, second edition 1997, pp. 94.

  55. Unary quantifiers on finite models, Journal of Logic, Language and Information. 6:275-304, 1997.

  56. Generalized quantifiers. Bulletin of the European Association for Theoretical Computer Science. June 1997.

  57. Quantifiers and congruence closure, with Jörg Flum and Mattias Schielen, Studia Logica 62:3, 315-340, 1999.

  58. Roomalaisten numeroiden nousu ja tuho, Mitä Missä Milloin 2000, 1999, 330-334.

  59. Generalized Quantifiers and Computation (editor), Lecture Notes in Computer Science , vol. 1754, Springer-Verlag, 1999.

  60. Trees and Ehrenfeucht-Fraïssé games, with Stevo Todorčević. Annals of Pure and Applied Logic, 100, 69-97, 1999.

  61. Stationary sets and infinitary logic, with Saharon Shelah, Journal of Symbolic Logic, 65:1311-1320, 2000.

  62. Second order logic and foundations of mathematics, Bulletin of Symbolic Logic, Volume 7, Issue 4, December, 2001.

  63. with D. Westerståhl, On the expressive power of monotone natural language quantifiers over finite sets, Journal of Philosophical Logic, 31(2002), 327-358.

  64. On the semantics of informational independence, Logic Journal of the Interest Group in Pure and Applied Logics, 10:3, 337-350, 2002.

  65. Games played on partial isomorphisms, with Boban Veličković, Archive for Mathematical Logic 43:1, 19-30, 2004.

  66. J. Stavi and J. Väänänen, Reflection principles for the continuum. Logic and Algebra, ed. Yi Zhang, pp. 59-84, Contemporary Mathematics, Vol 302, AMS, 2002

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

  68. T. Hyttinen, S. Shelah and J. Väänänen, More on the Ehrenfeucht-Fraïssé game of length omega_1, Fundamenta Mathematicae, 175 (2002), no. 1, 79-96.

  69. J. Väänänen, Pseudo-finite model theory, Matematica Contemporanea vol 24, 2003, 169-183.

  70. R. Parikh and J. Väänänen, Finite information logic, Annals of Pure and Applied Logic vol. 134, 2005, 83-93

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

  72. M. Džamonja and J. Väänänen, A family of trees with no uncountable branches, Topology Proceedings vol. 28:1, 2004, 113-132.

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

  74. On Ordinals accessible by infinitary languages, with Saharon Shelah and Pauli Väisänen, Fundamenta Mathematicae 186 (2005), 193-214.

  75. On infinite Ehrenfeucht-Fraïssé games. In: Stefan Bold, Benedikt Löwe, Thoralf Rausch, Johan van Benthem (eds.), Foundations of the Formal Sciences V, Infinite Games, College Publications, London 2007, 279-317.

  76. Onko matemaattinen totuus suhteellista vai absoluuttista. In J. Rydman, editor, Suhteellista? Pages 266-283, Yliopistopaino, Helsinki, 2005.

  77. A remark on nondeterminacy in IF logic. Acta Philosophica Fennica 78 (2006) 71-77.

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

  79. Entry on Jaakko Hintikka in Borchert, Donald, ed. Encyclopedia of Philosophy, 2nd edition. Detroit: Macmillan Reference USA, 2005, 172-174.

  80. Logic Colloquium '03: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic (editor, with V. Stoltenberg-Hansen), Lecture Notes in Logic, vol. 24, Association for Symbolic Logic, 2006.

  81. Dependence Logic: A New Approach to Independence Friendly Logic, London Mathematical Society Student Texts (No. 70) Cambridge University Press, 2007, pp. 240. Review in MathSciNet.

  82. J. Kennedy and J. Väänänen, Applications of regular filters and square principles in model theory, In: Set Theory: Recent Trends and Applications (A. Andretta ed.), Quaderni di Matematica, vol 17, 2005, 111-136.

  83. J. Kennedy, S. Shelah, and J. Väänänen, Regular Ultrafilters and Finite Square Principles, Journal of Symbolic Logic 73(3), 2008, 817-823.

  84. Team logic, in: Interactive Logic, Johan van Benthem, Benedikt Löwe, Dov Gabbay (eds.), Texts in Logic and Games, vol 1. Amsterdam University Press, 2007, 281-302

  85. Modal dependence logic, in: New Perspectives on Games and Interaction, Krzysztof Apt, Robert van Rooij (eds.) Texts in Logic and Games, vol 5 Amsterdam University Press, 2008, 237-254.

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

  87. How complicated can structures be? Nieuw Archief voor Wiskunde. June 2008, 117-121.

  88. Maths for Everyday Life, Special issue of ERCIM News, with Introduction, edited with Ulrich Trottenberg. ERCIM News 73 (2008)

  89. Logic Colloquium 2006, Special issue of Annals of Pure and Applied Logic, Volume 156, Issue 1, Pages 1-182 (November 2008), Edited by S.B. Cooper, H. Geuvers, A. Pillay and J. Väänänen.

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

  91. From IF to BI - A Tale of Dependence and Separation, with S. Abramsky. Synthese, Volume 167, Number 2. March, 2009. ArXiv.

  92. Dependence of Variables Construed as an Atomic Formula, with W. Hodges. Annals of Pure and Applied Logic 161 (2010) 817-828.

  93. On definability in dependence logic, with J. Kontinen. Journal of Logic, Language and Information 18(3) (2009), 317 - 332. Erratum: J. Log. Lang. Inf. 20 (2011), no. 1, 133-134. The erratum concerns the singular case of an empty team in Theorems 4.9, 4.10, 5.1, and 5.2.

  94. S. Barry Cooper, Herman Geuvers, Anand Pillay and Jouko Väänänen (editors). Logic Colloquium 2006. Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic. Lecture Notes in Logic. Cambridge University Press, 2009.

  95. Menachem Magidor and Jouko Väänänen. On Löwenheim-Skolem-Tarski numbers for extensions of first order logic, Journal of Mathematical Logic, 11(1), 87-113, 2011.

  96. A note on negation in dependence logic, with J. Kontinen. Notre Dame Journal of Formal Logic 52(1), 55-65, 2011.

  97. In memoriam: Per Lindström, with D. Westerståhl, Theoria 6(2), 100-107, 2010.

  98. A taste of set theory for philosophers. Journal of the Indian Council of Philosophical Research, Vol. XXVII, No. 2. A Special Issue on "Logic and Philosophy Today", 143-163, 2010. Reprinted in "Logic and Philosophy Today" (edited by A. Gupta and J. v. Benthem), College Publications vol 29, 141-162, 2011.

  99. How I became a logician. In M. Roinila, editor, Miten meistä tuli tohtoreita, Suomen Filosofinen Yhdistys, Helsinki 2010, 59-63. HELDA

  100. Second order logic, set theory and foundations of mathematics. Epistemology versus Ontology, Essays of the Philosophy and Foundations of Mathematics in Honor of Per Martin-Löf, Editors: P. Dybjer, S. Lindström, E. Palmgren and G. Sundholm, Log. Epistemol. Unity Sci., 27, Springer, 2012, 371-380.

  101. Second order logic or set theory? Bulletin of Symbolic Logic, 18(1), 91-121, 2012.

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

  103. Chain models, trees of singular cardinality and dynamic EF-games, with M. Džamonja, Journal of Mathematical Logic, 11(1), 2011, 61 - 85.

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

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

  106. E. Grädel and J. Väänänen. Dependence, Independence, and Incomplete Information. In: Proceedings of 15th International Conference on Database Theory, ICDT 2012, 2012.

  107. 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].

  108. Axiomatizing first order consequences in dependence logic, with Juha Kontinen. Annals of Pure and Applied Logic 164, 1101-1117 (2013). Available in arXiv.org.

  109. Sort logic and foundations of mathematics, in: Infinity and Truth, Edited by: Chitat Chong, Qi Feng, Theodore A Slaman, W Hugh Woodin, Lecture Notes Series of the Institute for Mathematical Sciences, World Scientific, vol. 25, 2014, 171-186. Available in arXiv.org.

  110. Dependence and independence, with Erich Grädel. Studia Logica: Volume 101, Issue 2 (2013), Page 233-236. ArXiv.

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

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

  113. Independence in database relations. with Juha Kontinen and Sebastian Link, in: L. Libkin, U. Kohlenbach, and R. de Queiroz (Eds.): WoLLIC 2013, LNCS 8071, pp. 179-193, 2013.

  114. Dependence logic with generalized quantifiers: axiomatizations. with Fredrik Engström and Juha Kontinen, in: L. Libkin, U. Kohlenbach, and R. de Queiroz (Eds.): WoLLIC 2013, LNCS 8071, pp. 138-152, 2013. ArXiv.

  115. Comments on Abramsky. In Logic Across the University: Foundations and Applications, Proceedings of the Tsinghua Logic Conference, College Publications, London, 2013. pp. 152-156.

  116. On dependence logic, with Pietro Galliani. Trends in Logic: Outstanding Contributions in Logic, (ed. A. Baltag and S. Smets), Springer, 2014, 101-119. ArXiv.

  117. Multiverse set theory and absolutely undecidable propositions. in: J. Kennedy (Ed.): Interpreting Gödel, Cambridge University Press, 2014, 180-208.

  118. The Size of a Formula as a Measure of Complexity, with Lauri Hella, in Logic Without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics, edited by Åsa Hirvonen, Juha Kontinen, Roman Kossak and Andrés Villaveces, De Gruyter, 2015, 193-214. Available in arXiv.org.

  119. Pursuing logic without borders, in: Logic Without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics, edited by Åsa Hirvonen, Juha Kontinen, Roman Kossak and Andrés Villaveces, De Gruyter, 2015, 403-416.

  120. Internal Categoricity in Arithmetic and Set Theory, with Tong Wang. Notre Dame Journal of Formal Logic, 56:1(2015), 121-134.

  121. Boolean valued second order logic, with Daisuke Ikegami, Notre Dame Journal of Formal Logic, 56:1 (2015), 167-190.

  122. Categoricity and consistency in second order logic. Inquiry (An Interdisciplinary Journal of Philosophy), 58(1), 2015, 20-27.

  123. Positional strategies in long Ehrenfeucht-Fraïssé games., with Saharon Shelah and Boban Veličković, Journal of Symbolic Logic 80(1), 2015, 285-300. ArXiv.

  124. Aesthetics and the Dream of Objectivity: Notes from Set Theory, with J. Kennedy. Inquiry (An Interdisciplinary Journal of Philosophy), 58(1), 2015, 83-98.

  125. Tractability Frontier of Data Complexity in Team Semantics, with Arnaud Durand, Nicolas de Rugy-Altherre, and Juha Kontinen, in: International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2015), Electronic Proceedings in Theoretical Computer Science 193 (2015). ArXiv.

  126. Second order logic and set theory. Philosophy Compass, 10 (2015), 463-478.

  127. Mika Seppälä - virtuaaliopetuksen uranuurtaja, with Peter Buser, Arkhimedes 4 (2015), 20-21.

  128. Jaakko Hintikka 1929 - 2015. The Bulletin of Symbolic Logic, Volume 21, Issue 04, December 2015, pp 431 - 436.

  129. Quantum team logic and Bell's inequalities, with Tapani Hyttinen and Gianluca Paolini, Review of Symbolic Logic, 8(4), 722-742, 2015. Available in arXiv.org

  130. Dependence Logic in Pregeometries and omega-Stable Theories, with Gianluca Paolini. Journal of Symbolic Logic Volume 81(1), 32 - 55, 2016. Available in arXiv.org

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

  132. Propositional Logics of Dependence, with Fan Yang, Annals of Pure and Applied Logic 167, 557-589 (2016), DOI. ArXiv.

  133. Grelling on dependence, in: Dependence Logic: Theory and Applications, edited by S. Abramsky, J. Kontinen, J. Väänänen and H. Vollmer, Progress in Computer Science and Applied Logic, Birkhäuser, 2016.

  134. In Memoriam: Jaakko Hintikka, Arkhimedes 1(2016), p. 32-35.

  135. Dependence Logic: Theory and Applications, edited with S. Abramsky, J. Kontinen, and H. Vollmer, Progress in Computer Science and Applied Logic, Birkhäuser, 2016.

  136. A Logical approach to context-specific independence, with Jukka Corander, Antti Hyttinen, Juha Kontinen, and Johan Pensar. Proceedings of WoLLIC 2016, vol. 9803 of Springer Lecture Notes in Computer Science, 165-182. Journal version Annals of Pure and Applied Logic vol 170 (2019), 975-992.

  137. Proceedings of WoLLIC 2016, edited with Åsa Hirvonen and Ruy de Queiroz. Springer Lecture Notes in Computer Science, volume 9803, 2016.

  138. 23rd Workshop on Logic, Language, Information and Computation (WoLLIC 2016) with Ruy de Queiroz, Mauricio Osorio Galindo, Claudia Zepeda Cortes Jose R. Arrazola Ramirez, Logic Journal of IGPL 2016, doi: 10.1093/jigpal/jzw063.

  139. The Logic of Approximate Dependence, Chapter 12 in: Rohit Parikh on Logic, Language and Society (edited by: Can Baskent, Lawrence S. Moss and Ramaswamy Ramanujam), Springer, 2017, 227-234. Arxiv.

  140. A dichotomy theorem for the generalized Baire space and elementary embeddability at uncountable cardinals, with Dorottya Sziraki, Fundamenta Mathematicae, 238(2017), 53-78.

  141. Propositional team logics, with Fan Yang, Annals of Pure and Applied Logic, 168(2017), 1406-1441. Available online. ArXiv.

  142. Squeezing Arguments and Strong Logics, with Juliette Kennedy, Proceedings of the CLMPS 2015, (Hannes Leitgeb, Ilkka Niiniluoto, Päivi Seppälä and Elliot Sober, eds.), College Publications, 20 pages, 2017.

  143. A logic for arguing about probabilities in measure teams, with Tapani Hyttinen and Gianluca Paolini, Archive for mathematical logic, Vol. 56(5–6), pp 475–489, 2017. ArXiv.

  144. Dependence logic with generalized quantifiers: Axiomatizations. with Fredrik Engström and Juha Kontinen, Journal of Computer and System Sciences Vol. 88, pp. 90-102, 2017. ArXiv.

  145. An extension of a theorem of Zermelo. Bulletin of Symbolic Logic, 25(2), 208-212, 2019. Available in ArXiv.

  146. Proceedings of Logic Colloquium 2015, Special issue of Annals of Pure and Applied Logic, Volume 169, Issue 12, Pages 1243-1456 (December 2018), Edited with Åsa Hirvonen, Thomas Scanlon, and Dag Westerståhl.

  147. Proceedings of the 23rd Workshop on Logic, Language, Information and Computation (WOLLIC 2016), Special issue of Annals of Pure and Applied Logic, Volume 170, Issue 9, September 2019, Edited with Ruy de Queiroz.

  148. Second-order and Higher-order Logic, Entry in Stanford Encyclopedia of Philosophy, 2019.

  149. Logic and Games, with Wilfrid Hodges, Entry in Stanford Encyclopedia of Philosophy, 2019.

  150. Diversity, Dependence and Independence, with P. Galliani, Proceedings of FoIKS 2020, Springer Lecture Notes in Computer Science vol. 12012. arxiv.

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

  152. Proceedings of Workshop on Logics of Dependence and Independence (LoDE 2020V), edited with F. Yang, Acta Generalia Instituti Mathematico-Rationarii, University of Helsinki, Helsinki, Finland. Published in 2020.

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

  154. Tracing internal categoricity. Theoria vol. 87 (4), 986-1000 (2021). Available in ArXiv.

  155. Inner Models from Extended Logics: Part 1, with J. Kennedy and M. Magidor. Journal of Mathematical Logic Vol. 21, No. 2, Paper No. 2150012, 53 pp, (2021), Online Ready.

  156. Inner Models from Extended Logics: Part 2, with J. Kennedy and M. Magidor. Submitted. Available in arXiv.

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

  158. Lenguaje, teorías, modelos, with Andrés Villaveces, EUDEBA, Buenos Aires, 2022, pp. 176.

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

  160. Team Semantics and Independence Notions in Quantum Physics, with Samson Abramsky and Joni Puljujärvi. Preprint. arXiv.

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

  162. An atom's worth of anonymity. Logic Journal of the IGPL, November 2022. Available in arXiv.

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

  164. Diversity, Dependence and Independence (Journal version), with P. Galliani, Annals of Mathematics and Artificial Intelligence, November, vol. 90 (2-3), pages 211-233 (2022). Arxiv

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

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

  167. Philosophical Uses of Categoricity Arguments, with Penelope Maddy, Cambridge Elements series, to appear. In arXiv.

  168. Model theory of second order logic. In Beyond First Order Model Theory, Volume 2, CRC Press, edited by Jose Iovino, 2023, Chapter 7, 289-304.

  169. Logics of Dependence and Independence. A special issue of the Annals of Pure and Applied Logic, edited with Philip Scott and Fan Yang. Annals of Pure and Applied Logic 173(10), 2022.

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

  171. Dimension in team semantics, with Lauri Hella and Kerkko Luosto. Mathematical Structures in Computer Science, to appear. Available in arXiv.

  172. Modular SAT-based techniques for reasoning tasks in team semantics, with Arnaud Durand and Juha Kontinen, to appear. Available in arXiv.

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

  174. The Liar Paradox and the three logics framework. With J. Kennedy. For the volume The Liar Paradox, Classic Philosophical Arguments series of Cambridge University Press, Lorenzo Rossi, editor. To appear.

  175. Aronszajn trees and maximality-Part 2, with Omer Ben-Neria and Menachem Magidor. To appear. Available in arXiv.

  176. How first order is first order logic?, with Juliette Kennedy. For The Oxford Handbook of Philosophy of Logic, editors: Elke Brendel, Massimiliano Carrara, Filippo Ferrari, Ole Hjortland, Gil Sagi, Gila Sher, Florian Steinberger, Oxford University Press. To appear.

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

  178. On the categoricity of complete second order theories, with Tapio Saarinen and Hugh Woodin. To appear. Available in arXiv.

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