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
Kapitel

Abstract model theory as a framework for universal logic

Garcia-Matos, M. & Väänänen, J., 2005, Logica universalis: towards a general theory of logic. Beziau, J-Y. (red.). Basel: Birkhäuser, s. 19-33 15 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

Applications of regular filters and square principles in model theory

Kennedy, J. & Väänänen, J., 2005, Set theory. Napoli: Aracne, Dipartimento di Matematica della Seconda Universita di Napoli cop., s. 111-136 26 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

Applications of Regular Filters and Square Principles in Model Theory

Kennedy, J. & Väänänen, J., 2005, Set theory: Recent trends and applications. Andretta, A. (red.). Aracne Editrice, Vol. 17. s. 111-136 25 s. (Quaderni di Matematica).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

Comments on Abramsky

Väänänen, J., 2013, Logic Across the University: Foundations and Applications, Proceedings of the Tsinghua Logic Conference. London: College publications, s. 152-156

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

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

Entry on Jaakko Hintikka

Väänänen, J., 2005, Encyclopedia of philosophy. Detroit: Thomson Gale/Macmillan Reference USA cop., s. 172-174 3 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer 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

How I became a logician

Väänänen, J., 2010, Miten meistä tuli filosofian tohtoreita?. Roinila, M. (red.). Suomen filosofinen yhdistys

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskaplig

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

Lindström's Theorem

Väänänen, J., 2012, Universal Logic: An Anthology. Beziau, J-Y. (red.). Springer-Verlag, s. 231-236 6 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

Modal dependence logic

Väänänen, J., 2008, New perspectives on games and interaction. Apt, K. R. & van Rooij, R. (red.). Amsterdam: Amsterdam University Press, s. 237-254 18 s. (Texts in Logic and Games; vol. 4).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer 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

On infinite Ehrenfeucht-Fraïssé games

Väänänen, J., 2007, Foundations of the formal sciences V. London: College publications, s. 279-317 39 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

Onko matemaattinen totuus suhteellista vai absoluuttista?

Väänänen, J., 2005, Suhteellista?. Rydman, J. (red.). Helsinki: Yliopistopaino ja Tieteellisten seurain valtuuskunta, s. 266-283 18 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer 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

Second order logic, set theory and foundations of mathematics

Väänänen, J., 2012, Epistemology versus Ontology: Essays of the Philosophy and Foundations of Mathematics in Honor of Per Martin-­‐Löf. Dybjer, P., Lindström, S., Palmgren, E. & Sundholm, G. (red.). Dordrecht: Springer-Verlag

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer 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

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

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