Photo of Jouko Väänänen
  • PL 68 (Pietari Kalmin katu 5)

    00014

    Finland

1973 …2020

Research output per year

If you made any changes in Pure these will be visible here soon.

Publications

2020

An overview of Saharon Shelah's contributions to mathematical logic, in particular to model theory

Väänänen, J., 20 Apr 2020, In : Theoria . 12 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File

Chain logic and Shelah’s infinitary logic

Väänänen, J. & Dzamonja, M., 2020, (Accepted/In press) In : Israel Journal of Mathematics.

Research output: Contribution to journalArticleScientificpeer-review

Diversity, Dependence and Independence

Galliani, P. & Väänänen, J., 2020, Foundations of Information and Knowledge Systems. Herzig, A. & Kontinen, J. (eds.). University of Helsinki, Vol. 12012. p. 106-121 16 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

Inner Models from Extended Logics: Part 1

Väänänen, J., Magidor, M. & Kennedy, J., 2020, (Accepted/In press) Journal of mathematical logic.

Research output: Working paperScientific

Inner Models from Extended Logics: Part 2

Väänänen, J., Magidor, M. & Kennedy, J., 2020, (Submitted).

Research output: Working paperScientific

Lenguaje, teorías, modelos

Väänänen, J. & Villaveces, A., 2020, (Accepted/In press) Buenos Aires: EUDEBA. 176 p.

Research output: Book/ReportBookScientificpeer-review

Positive logics

Väänänen, J. & Shelah, S., 2020, (In preparation) In : arXiv.org .

Research output: Contribution to journalArticleScientificpeer-review

Proceedings of Workshop on Logics of Dependence and Independence (LoDE 2020V)

Väänänen, J. (ed.) & Yang, F. (ed.), 2020, University of Helsinki. 58 p. (Acta Generalia Instituti Mathematico-Rationarii)

Research output: Book/ReportBookScientificpeer-review

Open Access

Tracing internal categoricity

Väänänen, J., 15 Jun 2020, In : Theoria. 0, p. 1-10

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
2019

23rd Workshop on Logic, Language, Information and Computation - WoLLIC 2016

Väänänen, J. & de Queiroz, R. J. G. B., Sep 2019, In : Annals of Pure and Applied Logic. 170, 9, p. 921-922 2 p.

Research output: Contribution to journalEditorialScientific

A Logical Approach to Context-Specific Independence

Corander, J., Hyttinen, A., Kontinen, J., Pensar, J. & Väänänen, J., Sep 2019, In : Annals of Pure and Applied Logic. 170, 9, p. 975-992 18 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File

AN EXTENSION OF A THEOREM OF ZERMELO

Vaananen, J., Jun 2019, In : Bulletin of Symbolic Logic. 25, 2, p. 208-212 5 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access

Logic and Games

Hodges, W. & Väänänen, J., 2019, Stanford Encyclopedia of Philosophy. Nala, E. N. (ed.). Fall 2019 ed. Metaphysics Research Lab, Stanford, (The Stanford Encyclopedia of Philosophy).

Research output: Chapter in Book/Report/Conference proceedingEntry for encyclopedia / dictionaryScientificpeer-review

Open Access

Preface of the Special issue of Annals of Pure and Applied Logic

Väänänen, J. & de Queiroz, R., Sep 2019, 23rd Workshop on Logic, Language, Information and Computation - WoLLIC 2016. Väänänen, J. & de Queiroz, R. (eds.). 9 ed. Elsevier, Vol. 170. p. 921-922 2 p. (Annals of Pure and Applied Logic).

Research output: Chapter in Book/Report/Conference proceedingForeword / postscriptScientificpeer-review

Second-order and higher-order logic

Väänänen, J. A., 1 Aug 2019, Stanford Encyclopedia of Philosophy. Zalta, E. N. (ed.). Metaphysics Research Lab, Stanford, (Stanford encyclopedia of philosophy).

Research output: Chapter in Book/Report/Conference proceedingEntry for encyclopedia / dictionaryScientificpeer-review

Open Access
2018

Logic colloquium 2015 proceedings: Preface

Hirvonen, Å. (ed.), Scanlon, T. (ed.), Väänänen, J. (ed.) & Westerståhl, D. (ed.), Dec 2018, Elsevier. 1243 p. (Annals of Pure and Applied Logic; vol. 169, no. 12)

Research output: Book/ReportAnthology or special issueScientificpeer-review

2017

A dichotomy theorem for the generalized Baire space and elementary embeddability at uncountable cardinals

Sziraki, D. & Väänänen, J., 2017, In : Fundamenta Mathematicae. 238, 1, p. 53-78 26 p.

Research output: Contribution to journalArticleScientificpeer-review

A logic for arguing about probabilities in measure teams

Hyttinen, T., Paolini, G. & Väänänen, J., Aug 2017, In : Archive for Mathematical Logic. 56, 5-6, p. 475-489 15 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File

Dependence logic with generalized quantifiers: Axiomatizations

Engström, F., Kontinen, J. & Väänänen, J., 2017, In : Journal of Computer and System Sciences. 88, p. 90-102 13 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File

Inner Models from Extended Logics

Kennedy, J., Magidor, M. & Väänänen, J., 2017, Isaac Newton Institute Preprint Series. Cambridge: Isaac Newton Institute for Mathematical Sciences, 75 p. (Preprint Series).

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

Propositional team logics

Yang, F. & Väänänen, J., Jul 2017, In : Annals of Pure and Applied Logic. 168, 7, p. 1406-1441 36 p.

Research output: Contribution to journalArticleScientificpeer-review

Set-Theoretic Definability of Logics

Väänänen, J., 2017, Model-Theoretic Logics. Barwise, J. & Feferman, S. (eds.). Cambridge University Press, p. 599–644 (Perspectives in Logic).

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

Squeezing Arguments and Strong Logics

Kennedy, J. & Väänänen, J., 2017, Logic, Methodology and Philosophy of Science: Proceedings of the Fifteenth International Congress. Leitgeb, H., Niiniluoto, I., Seppälä, P. & Sober, E. (eds.). London: College publications, 24 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

The Logic of Approximate Dependence

Väänänen, J. A., 2017, Rohit Parikh on Logic, Language and Society. Basket, C., Moss, L. & Ramanujam, R. (eds.). Springer , Vol. 11. p. 227-234 (Outstanding Contributions to Logic; vol. 11).

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

2016

A Logical Approach to Context-Specific Independence

Corander, J., Hyttinen, A., Kontinen, J., Pensar, J. & Väänänen, J., Aug 2016, Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings. Berlin: Springer-Verlag, p. 165-182 18 p. (Lecture Notes in Computer Science; vol. 9803).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Dependence Logic: Theory and Applications

Abramsky, S., Kontinen, J. (ed.), Väänänen, J. (ed.) & Vollmer, H., 2016, Basel: Birkhäuser Basel. 270 p.

Research output: Book/ReportAnthology or special issueScientificpeer-review

Dependence Logic in Pregeometries and ω-Stable Theories

Paolini, G. & Väänänen, J., Mar 2016, In : Journal of Symbolic Logic. 81, 1, p. 32-55 24 p.

Research output: Contribution to journalArticleScientificpeer-review

Grelling on dependence

Väänänen, J. A., 2016, Dependence Logic: Theory and Applications. Abramsky, S., Kontinen, J., Väänänen, J. & Vollmer, H. (eds.). Basel: Birkhäuser, 20 p. ( Progress in Computer Science and Applied Logic).

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

In Memoriam : Jaakko Hintikka.

Väänänen, J. A., 2016, In : Arkhimedes. 2016, 1, p. 32-35

Research output: Contribution to journalArticleScientific

Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings

Väänänen, J. (ed.), Hirvonen, Å. (ed.) & de Queiroz, R. (ed.), 2016, Berlin Heidelberg: Springer-Verlag. 447 p. (Lecture Notes in Computer Science; vol. 9803)

Research output: Book/ReportAnthology or special issueScientificpeer-review

On the symbiosis between model-theoretic and set-theoretic properties of large cardinals

Bagaria, J. & Väänänen, J., Jun 2016, In : Journal of Symbolic Logic. 81, 2, p. 584-604 21 p.

Research output: Contribution to journalArticleScientificpeer-review

Propositional Logics of Dependence

Yang, F. & Väänänen, J., 2016, In : Annals of Pure and Applied Logic. 167, 7, p. 557-589 33 p.

Research output: Contribution to journalArticleScientificpeer-review

2015

Aesthetics and the Dream of Objectivity: Notes from Set Theory

Kennedy, J. & Väänänen, J., 2 Jan 2015, In : Inquiry. 58, 1, p. 83-98 16 p.

Research output: Contribution to journalArticleScientificpeer-review

Boolean-Valued Second-Order Logic

Ikegami, D. & Väänänen, J., 2015, In : Notre Dame Journal of Formal Logic. 56, 1, p. 167-190 24 p.

Research output: Contribution to journalArticleScientificpeer-review

Categoricity and Consistency in Second-Order Logic

Väänänen, J., 2 Jan 2015, In : Inquiry. 58, 1, p. 20-27 8 p.

Research output: Contribution to journalArticleScientificpeer-review

Internal Categoricity in Arithmetic and Set Theory

Väänänen, J. & Wang, T., 2015, In : Notre Dame Journal of Formal Logic. 56, 1, p. 121-134 14 p.

Research output: Contribution to journalArticleScientificpeer-review

Jaakko Hintikka 1929-2015

Väänänen, J., Dec 2015, In : Bulletin of Symbolic Logic. 21, 4, p. 431-436 6 p.

Research output: Contribution to journalArticleProfessional

Logics for Dependence and Independence (Dagstuhl Seminar 15261)

Grädel, E., Kontinen, J., Väänänen, J. & Vollmer, H., 2015, Leibniz: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. 16 p.

Research output: Book/ReportCommissioned reportProfessional

Mika Seppälä - virtuaaliopetuksen uranuurtaja

Buser, P. & Väänänen, J. A., 2015, In : Arkhimedes. 4, p. 20-21 2 p.

Research output: Contribution to journalArticleProfessional

On second order logic: In Honor of Professor Dionysios Anapolitanos

Väänänen, J., 2015, In : Philosophical Inquiry. 39, 1, p. 59-62 4 p.

Research output: Contribution to journalArticleScientificpeer-review

Positional strategies in long Ehrenfeucht-Fraisse games

Shelah, S., Väänänen, J. & Velickovic, B., Mar 2015, In : Journal of Symbolic Logic. 80, 1, p. 285-300 16 p.

Research output: Contribution to journalArticleScientificpeer-review

Pursuing logic without borders

Väänänen, J., 2015, Logic Without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics. Hirvonen, Å., Kontinen, J., Kossak, R. & Villaveces, A. (eds.). de Gruyter, p. 403-416 14 p.

Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

Quantum team logic and Bell's inequalities

Väänänen, J., Hyttinen, T. & Paolini, G., 2015, In : The Review of Symbolic Logic. 8, 4, p. 722-742 21 p.

Research output: Contribution to journalArticleScientificpeer-review

Regular Ultrapowers at Regular Cardinals

Kennedy, J., Shelah, S. & Väänänen, J., 2015, In : Notre Dame Journal of Formal Logic. 56, 3, p. 417-428 12 p.

Research output: Contribution to journalArticleScientificpeer-review

Second order logic and set theory

Väänänen, J., 2015, In : Philosophy Compass. 10, 7, p. 463-478 16 p.

Research output: Contribution to journalArticleScientificpeer-review

The size of a formula as a measure of complexity

Hella, L. & Väänänen, J., 2015, Logic Without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics. Hirvonen, Å., Kontinen, J., Kossak, R. & Villaveces, A. (eds.). de Gruyter, p. 193-214 22 p. (Ontos Mathematical Logic; vol. 5).

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

File

Tractability Frontier of Data Complexity in Team Semantics

Durand, A., Kontinen, J., de Rugy-Altherre, N. & Väänänen, J., 2015, Unknown host publication. Esparza, J. & Tronci, E. (eds.). p. 73-85 13 p. (Electronic Proceedings in Theoretical Computer Science; vol. 193).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Multiverse set theory and absolutely undecidable propositions

Väänänen, J., 2014, Interpreting Gödel. Kennedy, J. (ed.). New York: Cambrigde University Press, p. 180-208

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review