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

Filter
Article
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

Positive logics

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

Research output: Contribution to journalArticleScientificpeer-review

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

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
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

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

2016

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

In Memoriam : Jaakko Hintikka.

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

Research output: Contribution to journalArticleScientific

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

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

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

2013

An Ehrenfeucht-Fraisse game for L-omega 1 omega

Vaananen, J. & Wang, T., Aug 2013, In : Mathematical Logic Quarterly. 59, 4-5, p. 357-370 14 p.

Research output: Contribution to journalArticleScientificpeer-review

Axiomatizing first-order consequences in dependence logic

Kontinen, J. & Väänänen, J., Nov 2013, In : Annals of Pure and Applied Logic. 164, 11, p. 1101-1117 17 p.

Research output: Contribution to journalArticleScientificpeer-review

Dependence and independence

Grädel, E. & Väänänen, J., 2013, In : Studia Logica. 101, 2, p. 399-410 11 p.

Research output: Contribution to journalArticleScientificpeer-review

Editorial Introduction: Special Issue Dependence and Independence in Logic

Kontinen, J., Väänänen, J. & Westerståhl, D., Apr 2013, In : Studia Logica. 101, 2, p. 233-236 4 p.

Research output: Contribution to journalArticleScientific

On second-order characterizability

Hyttinen, T., Kangas, K. & Väänänen, J., 2013, In : Logic journal of the IGPL. 21, 5, p. 767-787 21 p.

Research output: Contribution to journalArticleScientificpeer-review

2012

Second order logic or set theory?

Väänänen, J., 2012, In : Bulletin of Symbolic Logic. 18, 1, p. 91-121 31 p.

Research output: Contribution to journalArticleScientificpeer-review

2011

A Remark on Negation in Dependence Logic

Kontinen, J. & Väänänen, J., 2011, In : Notre Dame Journal of Formal Logic. 52, 1, p. 55-65 11 p.

Research output: Contribution to journalArticleScientificpeer-review

Chain models, trees of singular cardinality and dynamic EF-games

Dzamonja, M. & Väänänen, J., 2011, In : Journal of Mathematical Logic. 11, 1, p. 61-85 25 p.

Research output: Contribution to journalArticleScientificpeer-review

Erratum to: On Definability in Dependence Logic

Kontinen, J. & Väänänen, J. A., 2011, In : Journal of Logic, Language and Information. 20, 1, p. 133-134 2 p.

Research output: Contribution to journalArticleScientific

On Löwenheim-Skolem-Tarski numbers for extensions of first order logic

Magidor, M. & Väänänen, J., 2011, In : Journal of Mathematical Logic. 11, 1, p. 87-113 27 p.

Research output: Contribution to journalArticleScientificpeer-review

2010

Dependence of variables construed as an atomic formula

Väänänen, J. & Hodges, W., 2010, In : Annals of Pure and Applied Logic. 161, 6, p. 817-828 12 p.

Research output: Contribution to journalArticleScientificpeer-review

In Memoriam: Per Lindström

Väänänen, J. & Westerstahl, D., 2010, In : Theoria. 76, 2, p. 100-107 8 p.

Research output: Contribution to journalArticleScientificpeer-review

2009

From IF to BI: a tale of dependence and separation

Abramsky, S. & Väänänen, J., 2009, In : Synthese. 167, p. 207-230 24 p.

Research output: Contribution to journalArticleScientificpeer-review

LINDSTRÖM THEOREMS FOR FRAGMENTS OF FIRST-ORDER LOGIC

Van Benthem, J., Ten Cate, B. & Väänänen, J., 2009, In : Logical Methods in Computer Science. 5, 27 p.

Research output: Contribution to journalArticleScientificpeer-review

On definability in dependence logic

Kontinen, J. & Väänänen, J., 2009, In : Journal of Logic, Language and Information. 18, 3, p. 317-332 16 p.

Research output: Contribution to journalArticleScientificpeer-review

2008

How complicated can structures be?

Väänänen, J., 2008, In : Nieuw archief voor wiskunde.. 9, 2, p. 117-121 5 p.

Research output: Contribution to journalArticleScientificpeer-review

Maths for everyday life

Väänänen, J. & Trottenberg, U., 2008, In : ERCIM news. 73, p. 10-11 2 p.

Research output: Contribution to journalArticleScientific

Regular ultrafilters and finite square principles

Kennedy, J., Shelah, S. & Väänänen, J., 2008, In : Journal of Symbolic Logic. 73, 3, p. 817-823 7 p.

Research output: Contribution to journalArticleScientificpeer-review

The Craig Interpolation Theorem in abstract model theory

Väänänen, J., 2008, In : Synthese. 164, 3, p. 401-420 20 p.

Research output: Contribution to journalArticleScientificpeer-review

2006

A remark on nondeterminacy in IF logic

Väänänen, J., 2006, In : Acta Philosophica Fennica. 76, p. 71-77 7 p.

Research output: Contribution to journalArticleScientificpeer-review

Recursive logic frames

Shelah, S. & Väänänen, J., 2006, In : Mathematical Logic Quarterly. 52, 2, p. 151-164 14 p.

Research output: Contribution to journalArticleScientificpeer-review

2005

A note on extensions of infinitary logic

Shelah, S. & Väänänen, J., 2005, In : Archive for Mathematical Logic. 44, 1, p. 63-69 7 p.

Research output: Contribution to journalArticleScientificpeer-review

Finite information logic

Parikh, R. & Väänänen, J., 2005, In : Annals of Pure and Applied Logic. 134, 1, p. 83-93 11 p.

Research output: Contribution to journalArticleScientificpeer-review

On ordinals accessible by infinitary languages

Shelah, S., Väisänen, P. & Väänänen, J., 2005, In : Fundamenta Mathematicae. 186, 3, p. 193-214 22 p.

Research output: Contribution to journalArticleScientificpeer-review