Väänänen, J., de Queiroz, R., Osorio Galindo, M., Zepeda Cortés, C., Arrazola Ramírez, J.R. (2017) 23rd Workshop on Logic, Language, Information and Computation (WoLLIC 2016): co-sponsored by the Association for Symbolic Logic : Puebla, Mexico, August 16–19, 2016.

Bulletin of Symbolic Logic, Vol. 23 (pp 270-271)

Editorial | https://doi.org/10.1017/bsl.2017.17 | UvA-DARE

Väänänen, J., Hirvonen, Å., de Queiroz, R. (2016) Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016 : proceedings.

Lecture Notes in Computer Science
FoLLI Publications on Logic, Language and Information, Vol. 9803. Springer.

Book (Editorship) | https://doi.org/10.1007/978-3-662-52921-8 | UvA-DARE

Väänänen, J., Hodges, W. (2010) Dependence of variables construed as an atomic formula.

Annals of Pure and Applied Logic, Vol. 161 (pp 817-828)

Article | https://doi.org/10.1016/j.apal.2009.06.009 | UvA-DARE

Väänänen, J., Wang, T. (2013) An Ehrenfeucht-Fraïssé game for Lω1ω.

Mathematical Logic Quarterly, Vol. 59 (pp 357-370)

Article | https://doi.org/10.1002/malq.201200104 | UvA-DARE

Väänänen, J., Wang, T. (2015) Internal Categoricity in Arithmetic and Set Theory.

Notre Dame Journal of Formal Logic, Vol. 56 (pp 121-134)

Article | https://doi.org/10.1215/00294527-2835038 | UvA-DARE

Väänänen, J., Welch, P.D. (2023) When cardinals determine the power set: inner models and Härtig quantifier logic.

Mathematical Logic Quarterly, Vol. 69 (pp 460-471)

Article | https://doi.org/10.1002/MALQ.202200030 | UvA-DARE

Väänänen, J., Westerståhl, D. (2010) In memoriam: Per Lindström.

Theoria, Vol. 76 (pp 100-107)

Article | https://doi.org/10.1111/j.1755-2567.2010.01069.x | UvA-DARE

Väänänen, J. (2008) Modal dependence logic.

In Apt, K.R. van Rooij, R. (Eds.), New Perspectives on Games and Interaction (pp 237-254) (Texts in logic and games, Vol. 4). Amsterdam University Press.

Väänänen, J. (2008) How complicated can structures be?.

Nieuw Archief voor Wiskunde, Vol. 5/9 (pp 117-121)

Article | http://www.nieuwarchief.nl/serie5/pdf/naw5-2008-09-2-117.pdf | UvA-DARE

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

Journal of Indian Council of Philosophical Research, Vol. 27 (pp 143-163)

Article | http://www.csc.liv.ac.uk/~mjw/pubs/icpr2011.pdf | UvA-DARE

Väänänen, J. (2010) How I became a logician.

In Roinila, M. (Eds.), Miten meistä tuli tohtoreita (pp 59-63). Suomen filosofinen yhdistys.

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, 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. (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. (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) 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. (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. (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. (2015) Second-order logic and set theory.

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

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