Väänänen, J. (2011) Models and games.

Cambridge Studies in Advanced Mathematics, Vol. 132. Cambridge University Press.

Book | https://doi.org/10.1017/CBO9780511974885 | UvA-DARE

Väänänen, J. (2011) A taste of set theory for philosophers.

In Gupta, A. van Benthem, J. (Eds.), Logic and philosophy today (pp 141-162) (Studies in Logic, Vol. 1). College Publications.

Väänänen, J. (2012) Second order logic or set theory?.

Bulletin of Symbolic Logic, Vol. 18 (pp 91-121)

Article | https://doi.org/10.2178/bsl/1327328440 | UvA-DARE

Väänänen, J. (2012) Second order logic, set theory and foundations of mathematics.

In Dybjer, P. Lindström, S. Palmgren, E. Sundholm, G. (Eds.), Epistemology versus Ontology: Essays of the Philosophy and Foundations of Mathematics in Honor of Per Martin-Löf (pp 371-380) (Logic, Epistemology, and the Unity of Science, Vol. 27). Springer.

Väänänen, J. (2013) Breaking the atom with Samson.

In Coecke, B. Ong, L. Panangaden, P. (Eds.), Computation, logic, games, and quantum foundations: the many facets of Samson Abramsky: essays dedicated to Samson Abramsky on the occasion of his 60th birthday (pp 327-335) (Lecture Notes in Computer Science, Vol. 7860). Springer.

Väänänen, J. (2014) Sort logic and foundations of mathematics.

In Chong, C. Feng, Q. Slaman, T.A. Woodin, W.H. (Eds.), Infinity and truth (pp 171-186) (Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore, Vol. 25). World Scientific.

Väänänen, J. (2014) Multiverse set theory and absolutely undecidable propositions.

In Kennedy, J. (Eds.), Interpreting Gödel: critical essays (pp 180-208). Cambridge University Press.

Väänänen, J. (2015) Pursuing logic without borders.

In Hirvonen, Å. Kontinen, J. Kossak, R. Villaveces, A. (Eds.), Logic without borders: essays on set theory, model theory, philosophical logic, and philosophy of mathematics (pp 403-416) (Ontos Mathematical Logic). De Gruyter.

Väänänen, J. (2015) Second-order logic and set theory.

Philosophy Compass, Vol. 10 (pp 463-478)

Article | https://doi.org/10.1111/phc3.12229 | UvA-DARE

Väänänen, J. (2015) Categoricity and consistency in second-order logic.

Inquiry : an Interdisciplinary Journal of Philosophy, Vol. 58 (pp 20-27)

Article | https://doi.org/10.1080/0020174X.2015.978531 | UvA-DARE

Väänänen, J. (2016) Grelling on dependence.

In Abramsky, S. Kontinen, J. Väänänen, J. Vollmer, H. (Eds.), Dependence Logic: Theory and Applications (pp 33-52). Birkhäuser.

Väänänen, J. (2016) In Memoriam: Jaakko Hintikka.

Arkhimedes, Vol. 2016 (pp 32-35)

Article | https://www.doria.fi/handle/10024/126158 | UvA-DARE

Väänänen, J.A., Grädel, E. (2012) Dependence, Independence, and Incomplete Information.

In Proceedings of 15th International Conference on Database Theory, ICDT 2012. ICDT.

Vaananen, J.A., Shelah, S. (2006) Recursive Logic Frames.

Mathematical Logic Quarterly, Vol. 52

Article | UvA-DARE

Vaananen, J.A., Stoltenberg-Hansen, V. (2006) Logic Colloquium '03: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic.

Lecture Notes in Logic. Association for Symbolic Logic.

Book (Editorship) | UvA-DARE

Väänänen, J.A., Trottenberg, U (2008) Maths for Everyday Life.

ERCIM News. ERCIM.

Book (Editorship) | UvA-DARE

Vaananen, J.A. (2006) Jaakko Hintikka.

In Borchert, Donald M. (Eds.), Encyclopedia of Philosophy (pp 172-174). Macmillan Reference USA.

Vaananen, J.A. (2006) A Remark on Nondeterminacy in IF Logic.

Acta Philosophica Fennica, Vol. 78 (pp 71-77)

Article | UvA-DARE

Väänänen, J.A. (2007) Team logic.

In van Benthem, J. Löwe, B. Gabbay, D. (Eds.), Interactive Logic (pp 281-302) (Texts in Logic and Games). Amsterdam University Press.

Väänänen, J.A. (2007) Dependence Logic.

London Mathematical Society Student Texts. Cambridge University Press.

Book | UvA-DARE