Foto av Jouko Väänänen

Jouko Väänänen

  • PL 68 (Pietari Kalmin katu 5)

    00014

    Finland

1973 …2020

Forskningsoutput per år

Om du gjort några ändringar i Pure kommer de visas här snart.

Publikationer

Filter
Artikel
2020

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

Väänänen, J., 20 apr 2020, I : Theoria . 12 s.

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

Öppen tillgång
Fil

Chain logic and Shelah’s infinitary logic

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

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

Positive logics

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

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

Tracing internal categoricity

Väänänen, J., 15 jun 2020, I : Theoria. 0, s. 1-10

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

Öppen tillgång
Fil
2019

A Logical Approach to Context-Specific Independence

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

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

AN EXTENSION OF A THEOREM OF ZERMELO

Vaananen, J., jun 2019, I : Bulletin of Symbolic Logic. 25, 2, s. 208-212 5 s.

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

Öppen tillgång
2017

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

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

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

A logic for arguing about probabilities in measure teams

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

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

Öppen tillgång
Fil

Dependence logic with generalized quantifiers: Axiomatizations

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

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

Öppen tillgång
Fil

Propositional team logics

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

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

2016

Dependence Logic in Pregeometries and ω-Stable Theories

Paolini, G. & Väänänen, J., mar 2016, I : Journal of Symbolic Logic. 81, 1, s. 32-55 24 s.

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

In Memoriam : Jaakko Hintikka.

Väänänen, J. A., 2016, I : Arkhimedes. 2016, 1, s. 32-35

Forskningsoutput: TidskriftsbidragArtikelVetenskaplig

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

Bagaria, J. & Väänänen, J., jun 2016, I : Journal of Symbolic Logic. 81, 2, s. 584-604 21 s.

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

Propositional Logics of Dependence

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

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

2015

Aesthetics and the Dream of Objectivity: Notes from Set Theory

Kennedy, J. & Väänänen, J., 2 jan 2015, I : Inquiry. 58, 1, s. 83-98 16 s.

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

Boolean-Valued Second-Order Logic

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

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

Categoricity and Consistency in Second-Order Logic

Väänänen, J., 2 jan 2015, I : Inquiry. 58, 1, s. 20-27 8 s.

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

Internal Categoricity in Arithmetic and Set Theory

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

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

Jaakko Hintikka 1929-2015

Väänänen, J., dec 2015, I : Bulletin of Symbolic Logic. 21, 4, s. 431-436 6 s.

Forskningsoutput: TidskriftsbidragArtikelProfessionell

Mika Seppälä - virtuaaliopetuksen uranuurtaja

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

Forskningsoutput: TidskriftsbidragArtikelProfessionell

On second order logic: In Honor of Professor Dionysios Anapolitanos

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

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

Positional strategies in long Ehrenfeucht-Fraisse games

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

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

Quantum team logic and Bell's inequalities

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

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

Regular Ultrapowers at Regular Cardinals

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

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

Second order logic and set theory

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

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

2013

An Ehrenfeucht-Fraisse game for L-omega 1 omega

Vaananen, J. & Wang, T., aug 2013, I : Mathematical Logic Quarterly. 59, 4-5, s. 357-370 14 s.

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

Axiomatizing first-order consequences in dependence logic

Kontinen, J. & Väänänen, J., nov 2013, I : Annals of Pure and Applied Logic. 164, 11, s. 1101-1117 17 s.

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

Dependence and independence

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

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

Editorial Introduction: Special Issue Dependence and Independence in Logic

Kontinen, J., Väänänen, J. & Westerståhl, D., apr 2013, I : Studia Logica. 101, 2, s. 233-236 4 s.

Forskningsoutput: TidskriftsbidragArtikelVetenskaplig

On second-order characterizability

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

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

2012

Second order logic or set theory?

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

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

2011

A Remark on Negation in Dependence Logic

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

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

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

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

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

Erratum to: On Definability in Dependence Logic

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

Forskningsoutput: TidskriftsbidragArtikelVetenskaplig

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

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

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

2010

Dependence of variables construed as an atomic formula

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

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

In Memoriam: Per Lindström

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

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

2009

From IF to BI: a tale of dependence and separation

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

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

LINDSTRÖM THEOREMS FOR FRAGMENTS OF FIRST-ORDER LOGIC

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

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

On definability in dependence logic

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

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

2008

How complicated can structures be?

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

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

Maths for everyday life

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

Forskningsoutput: TidskriftsbidragArtikelVetenskaplig

Regular ultrafilters and finite square principles

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

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

The Craig Interpolation Theorem in abstract model theory

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

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

2006

A remark on nondeterminacy in IF logic

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

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

Recursive logic frames

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

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

2005

A note on extensions of infinitary logic

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

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

Finite information logic

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

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

On ordinals accessible by infinitary languages

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

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review