Second order logic
 Second order logic and foundations of mathematics,
Bulletin of Symbolic Logic, Volume 7, Issue 4, December, 2001.
 Second order logic, set theory and foundations of mathematics.
Epistemology versus Ontology, Essays of the Philosophy and Foundations of Mathematics
in Honor of Per MartinLöf, Editors: P. Dybjer, S. Lindström, E. Palmgren and G. Sundholm, Log. Epistemol. Unity Sci., 27, Springer, 2012, 371380.
 Second order logic or set theory? Bulletin of Symbolic Logic, 18(1), 91121, 2012.
 On second order characterizability, with Tapani Hyttinen and Kaisa Kangas. Logic Journal of the IGPL
(2013) 21 (5): 767787.
 Sort logic and foundations of mathematics, in: Infinity and Truth, Edited by: Chitat Chong, Qi Feng, Theodore A Slaman, W Hugh Woodin, Lecture Notes Series of the Institute for Mathematical Sciences, World Scientific, vol. 25, 2014, 171186.
 An EhrenfeuchtFraisse Game for Lomega1omega, with Tong Wang. Mathematical Logic Quarterly 59,
No 45, 357370 (2013).
 Breaking the atom with Samson. In: Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson
Abramsky.
Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday.
Editors: Bob Coecke, Luke Ong, Prakash Panangaden, Lecture Notes in Computer Science, volume 7860, 2013, pp. 327335.

Internal Categoricity in Arithmetic and Set Theory,
with Tong Wang. Notre Dame Journal of Formal Logic, 56:1(2015), 121134.
 Boolean valued second order logic, with Daisuke Ikegami,
Notre Dame Journal of Formal Logic, 56:1 (2015), 167190.
 Categoricity and consistency in second order logic. Inquiry (An Interdisciplinary Journal of
Philosophy), 58(1), 2015, 2027.
 Second order logic and set theory. Philosophy Compass, 10 (2015), 463478.
 Tracing internal categoricity. Under prepration.
Back to the homepage of Jouko Väänänen.