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

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

Diversity, Dependence and Independence

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

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

Inner Models from Extended Logics: Part 1

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

Forskningsoutput: ArbetsdokumentVetenskaplig

Inner Models from Extended Logics: Part 2

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

Forskningsoutput: ArbetsdokumentVetenskaplig

Lenguaje, teorías, modelos

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

Forskningsoutput: Bok/rapportBokVetenskapligPeer review

Positive logics

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

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

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

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

Forskningsoutput: Bok/rapportBokVetenskapligPeer review

Öppen tillgång

Tracing internal categoricity

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

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

Öppen tillgång
Fil
2019

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

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

Forskningsoutput: TidskriftsbidragLedareVetenskaplig

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

Logic and Games

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

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingBidrag till uppslagsverk/ordbokVetenskapligPeer review

Öppen tillgång

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. (red.). 9 red. Elsevier, Vol. 170. s. 921-922 2 s. (Annals of Pure and Applied Logic).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingFörord / efterordVetenskapligPeer review

Second-order and higher-order logic

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

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingBidrag till uppslagsverk/ordbokVetenskapligPeer review

Öppen tillgång
2018

Logic colloquium 2015 proceedings: Preface

Hirvonen, Å. (red.), Scanlon, T. (red.), Väänänen, J. (red.) & Westerståhl, D. (red.), dec 2018, Elsevier. 1243 s. (Annals of Pure and Applied Logic; vol. 169, nr. 12)

Forskningsoutput: Bok/rapportAntologi eller special utgåvaVetenskapligPeer review

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

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 s. (Preprint Series).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

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

Set-Theoretic Definability of Logics

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

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer 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. (red.). London: College publications, 24 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskaplig

The Logic of Approximate Dependence

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

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer 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, s. 165-182 18 s. (Lecture Notes in Computer Science; vol. 9803).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Dependence Logic: Theory and Applications

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

Forskningsoutput: Bok/rapportAntologi eller special utgåvaVetenskapligPeer review

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

Grelling on dependence

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

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

In Memoriam : Jaakko Hintikka.

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

Forskningsoutput: TidskriftsbidragArtikelVetenskaplig

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

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

Forskningsoutput: Bok/rapportAntologi eller special utgåvaVetenskapligPeer review

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

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

Forskningsoutput: Bok/rapportBeställd rapportProfessionell

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

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. (red.). de Gruyter, s. 403-416 14 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelProfessionell

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

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. (red.). de Gruyter, s. 193-214 22 s. (Ontos Mathematical Logic; vol. 5).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

Fil

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. (red.). s. 73-85 13 s. (Electronic Proceedings in Theoretical Computer Science; vol. 193).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Multiverse set theory and absolutely undecidable propositions

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

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

On dependence logic

Galliani, P. & Väänänen, J., 2014, Johan F. A. K. van Benthem on Logical and Informational Dynamics . Baltag, A. & Smets, S. (red.). Cham: Springer International Publishing AG, s. 101-119 19 s. (Outstanding contributions to logic; vol. 5).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review