-
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)
-
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.Conference contribution | http://www.nomic.net/~uckelman/tmp/tlg/tlg4.pdf | UvA-DAREVäänänen, J. (2008) How complicated can structures be?.Nieuw Archief voor Wiskunde, Vol. 5/9 (pp 117-121)Väänänen, J. (2010) A taste of set theory for philosophers.Journal of Indian Council of Philosophical Research, Vol. 27 (pp 143-163)Väänänen, J. (2010) How I became a logician.In Roinila, M. (Eds.), Miten meistä tuli tohtoreita (pp 59-63). Suomen filosofinen yhdistys.Chapter | UvA-DAREVäänänen, J. (2011) Models and games.Cambridge Studies in Advanced Mathematics, Vol. 132. Cambridge University Press.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.Chapter | UvA-DAREVää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.Chapter | https://doi.org/10.1007/978-94-007-4435-6_17 | UvA-DAREVää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-DAREVää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.Chapter | https://doi.org/10.1007/978-3-642-38164-5_22 | UvA-DAREVää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.Chapter | https://doi.org/10.1017/CBO9780511756306.013 | UvA-DAREVää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.Conference contribution | https://doi.org/10.1142/9789814571043_0005 | UvA-DAREVää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-DAREVää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-DAREVää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. (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.Chapter | https://doi.org/10.1007/978-3-319-31803-5_3 | UvA-DAREVäänänen, J. (2016) In Memoriam: Jaakko Hintikka.Arkhimedes, Vol. 2016 (pp 32-35)Article | https://www.doria.fi/handle/10024/126158 | UvA-DARE
The data of this list is taken from the Pure database. If you find output is missing from the list, please follow the previous link to find out how to submit to Pure. In case there are mistakes in PURE, please contact illc at uva.nl