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.Moller, 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 193-225, 1980.

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

  10. A quantifier for isomorphism, Zeitschrift fuer 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 fuer Mathematischen Logik und Grundlagen der Mathematik 27:17-22, 1981.

  13. On orderings of the family of all logics, with Michal Krynicki. Archiv fuer 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 Michal 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 Michal 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, Michal Krynicki and Anatoli Pinus. 33 pages, 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 fuer 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 status of the claims about MA on pages 1055-1057 - e.g. Proposition 6 - is uncertain. There is a 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-Fraisse 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 Nesetril, 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-Fraisse games, with Stevo Todorcevic. 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 Velickovic, 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.

  68. T. Hyttinen, S. Shelah and J. Väänänen, More on the Ehrenfeucht-Fraisse 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. Dzamonja 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 Garcia-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-Fraisse games. In: Stefan Bold, Benedikt Loewe, 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)

  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.

  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.

  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, Languages and Information 18(3) (2009), 317 - 332.

  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-a Swedish Journal of Philosophy 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.

  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. Dzamonja, 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.

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

  111. An Ehrenfeucht-Fraisse 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.

  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.

  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-Fraisse games., with Saharon Shelah and Boban Velickovic, Journal of Symbolic Logic 80(1), 2015, 285-300.

  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.

  133. Inner Models from Extended Logics, with J. Kennedy and M. Magidor. Isaac Newton Institute preprint series, January 2016.

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

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

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

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

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

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

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

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

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

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

  144. 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. ~

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


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