• J. Väänänen, On the semantics of informational independence, Logic Journal of the Interest Group in Pure and Applied Logics, 10:3, 337-350, 2002.
  • postscript-file

• J. Väänänen and Boban Velickovic, Games played on partial isomorphisms, Archive for Mathematical Logic, 43:1, 19-30, 2004.
  • PDF-file

• J. Stavi and J. Väänänen, Reflection principles for the continuum. In: Logic and algebra, 59--84, Contemp. Math., 302, Amer. Math. Soc., Providence, RI, 2002.
  • PDF-file

• J. Väänänen and D. Westerståhl, On the expressive power of monotone natural language quantifiers over finite models, 2001, Journal of Philosophical Logic, 31(2002), 327--358.
  • PDF-file,
  • postscript-file

• J. Väänänen, Second order logic and foundations of mathematics, The Bulletin of Symbolic Logic Volume 7, Issue 4, pages 504 -- 520, December, 2001.
  • postscript-file

• T. Hyttinen, S. Shelah and J. Väänänen, More on the Ehrenfeucht-Fraisse game of length omega_1, 2001, Fundamenta Mathematicae, 175 (2002), no. 1, 79--96.
  • PDF-file,
  • postscript-file

• J. Väänänen, Pseudo-finite model theory, Matematica Contemporanea vol 24, 2003, 169-183.
  • PDF-file,
  • postscript-file

• J. Väänänen, Barwise: Abstract model theory and generalized quantifiers, Bulletin of Symbolic Logic, vol. 10:1, 2004, 37-53.
  • postscript-file

• M. Dzamonja and J. Väänänen, A family of trees with no uncountable branches, Topology Proceedings vol. 28:1, 2004, 113-132
  • PDF-file

• S. Shelah and J. Väänänen, Recursive logic frames, Mathematical Logic Quarterly, vol. 52:2, 2006, 151-164.
  • PDF-file

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

• S. Shelah and J. Väänänen, A note on extensions of infinitary logic, 2000, Archive for Mathematical Logic, 44:1, 63-69, 2005.
  • PDF-file

• S. Shelah, P. Väisänen and J. Väänänen, On Ordinals accessible by Infinitary Languages, Fundamenta Mathematicae, 186:3, 193-214, 2005.
  • PDF-file

• J. Väänänen, A Remark on Nondeterminacy in IF Logic. Acta Philosophica Fennica, 78, 71-77, 2006.
  • PDF-file

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

• J. Väänänen, The Craig Interpolation Theorem in abstract model theory Synthese (2008) 164:401
  • PDF-file

• J. Väänänen, Dependence and independence, with Erich Grädel.

• J. Väänänen, Second order logic, set theory and foundations of mathematics. to appear.

• See also here.

---

• A Short Course on Finite Model Theory.
  • PDF-file,
  • postscript-file

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