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 Anapoli\-tanos. 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. J. Väänänen and 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 ans 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. Dependence and independence, with Erich Grädel. Studia Logica, to appear.

  101. 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. Springer, to appear.

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

  103. On second order characterizability, with Tapani Hyttinen and Kaisa Kangas. Submitted.

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

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

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

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