Edit Profile (opens in new tab) Väänänen, Jouko Antero Co-Author Distance Author ID: vaananen.jouko-antero Published as: Väänänen, Jouko; Vaeaenaenen, Jouko; Väänänen, J.; Väänänen, Jouko Antero; Väänänen, Jouko A.; Vaeaenaenen, J. A.; Väänänen, J. A.; Vaeaenaenen, J. more...less External Links: MGP · ORCID · Wikidata · GND · IdRef Documents Indexed: 135 Publications since 1973, including 4 Books and 11 Additional arXiv Preprints 11 Contributions as Editor · 2 Further Contributions Co-Authors: 79 Co-Authors with 97 Joint Publications 2,597 Co-Co-Authors all top 5 Co-Authors 50 single-authored 13 Kontinen, Juha 11 Shelah, Saharon 7 Kennedy, Juliette Cara 6 Hyttinen, Tapani 5 Krynicki, Michał Marian 4 Džamonja, Mirna 4 Hella, Lauri T. 4 Magidor, Menachem 4 Westerståhl, Dag 3 Abramsky, Samson 3 De Queiroz, Ruy José Guerra Barretto 3 Flum, Jörg 3 Galliani, Pietro 3 Kolaitis, Phokion G. 3 Paolini, Gianluca 3 Velickovic, Boban 2 Anapolitanos, Dionysios A. 2 Baldwin, John T. 2 Barwise, Kenneth Jon 2 Baudisch, Andreas 2 Corander, Jukka 2 de Rugy-Altherre, Nicolas 2 Dickmann, Max A. 2 Durand, Arnaud 2 Ebbinghaus, Heinz-Dieter 2 Eklof, Paul C. 2 Engström, Fredrik 2 Feferman, Solomon 2 García-Matos, Marta 2 Hirvonen, Åsa 2 Horty, John F. 2 Hyttinen, Antti 2 Kaufmann, Matt 2 Keisler, Howard Jerome 2 Luosto, Kerkko 2 Makowsky, Johann-Andreas 2 McCarty, David Charles 2 Mekler, Alan H. 2 Mundici, Daniele 2 Nadel, Mark E. 2 Pensar, Johan 2 Schmerl, James H. 2 Seese, Detlef G. 2 Steinhorn, Charles I. 2 Tuschik, Hans-Peter 2 Wang, Tong 2 Weese, Martin 2 Yang, Fan 2 Ziegler, Martin 1 Arrazola Ramírez, José Ramón Enrique 1 Bagaria, Joan 1 Ben-Neria, Omer 1 Brezzi, Franco 1 Buser, Peter 1 Cooper, Stuart Barry 1 Cortés, Claudia Zepeda 1 Fialowski, Alice 1 Galeotti, Lorenzo 1 Geuvers, Jan Herman 1 Grädel, Erich 1 Greuel, Gert-Martin 1 Halpern, Laurence 1 Heikkilä, Heikki 1 Herre, Heinrich 1 Hodges, Wilfrid 1 Huggett, Stephen A. 1 Ikegami, Daisuke 1 Kangas, Kaisa 1 Khomskii, Yurii Daniilovich 1 Kivimäki, Siiri 1 Lachlan, Alistair H. 1 Link, Sebastian 1 Maddy, Penelope J. 1 Mehrmann, Volker 1 Nešetřil, Jaroslav 1 Oikkonen, Juha 1 Oikkonen, Juha Markku Robert 1 Osorio Galindo, Mauricio 1 Parikh, Rohit 1 Pillay, Anand 1 Pinus, Aleksandr Georgievich 1 Puljujärvi, Joni 1 Raussen, Martin 1 Sandu, Gabriel 1 Sanz-Solé, Marta 1 Scanlon, Thomas J. 1 Schiehlen, Matthias 1 Sergeev, Armen Glebovich 1 Stavi, Jonathan 1 Stoltenberg-Hansen, Viggo 1 Sziráki, Dorottya 1 ten Cate, Balder David 1 Todorcevic, Stevo B. 1 Tuuri, Heikki 1 Väisänen, Pauli 1 van Benthem, Johan F. A. K. 1 Villaveces, Andrés 1 Vollmer, Heribert 1 Welch, Philip D. all top 5 Serials 12 Annals of Pure and Applied Logic 11 The Journal of Symbolic Logic 6 The Bulletin of Symbolic Logic 5 Fundamenta Mathematicae 5 Notre Dame Journal of Formal Logic 4 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 4 Archive for Mathematical Logic 4 Journal of Logic, Language and Information 4 Mathematical Logic Quarterly (MLQ) 4 Logic Journal of the IGPL 4 Lecture Notes in Logic 3 Arkhimedes 3 Studia Logica 3 Journal of Mathematical Logic 2 Synthese 2 Lecture Notes in Computer Science 2 Perspectives in Mathematical Logic 1 Archiv für Mathematische Logik und Grundlagenforschung 1 Israel Journal of Mathematics 1 Annals of Mathematical Logic 1 Commentationes Mathematicae Universitatis Carolinae 1 Journal of Computer and System Sciences 1 Journal of Philosophical Logic 1 Normat 1 Proceedings of the American Mathematical Society 1 Transactions of the American Mathematical Society 1 Bulletin of the European Association for Theoretical Computer Science (EATCS) 1 Topology Proceedings 1 Annals of Mathematics and Artificial Intelligence 1 Matemática Contemporânea 1 European Mathematical Society Newsletter 1 ACM Transactions on Computational Logic 1 Sarajevo Journal of Mathematics 1 Seminarbericht, Humboldt-Universität zu Berlin, Sektion Mathematik 1 Annales Academiæ Scientiarum Fennicæ. Series A I. Mathematica. Dissertationes 1 Cambridge Studies in Advanced Mathematics 1 London Mathematical Society Student Texts 1 Logical Methods in Computer Science 1 The Review of Symbolic Logic 1 Annales Academiae Scientiarum Fennicae. Series A I 1 Elements in the Philosophy of Mathematics all top 5 Fields 140 Mathematical logic and foundations (03-XX) 16 Computer science (68-XX) 14 General and overarching topics; collections (00-XX) 7 History and biography (01-XX) 7 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 6 Combinatorics (05-XX) 3 General topology (54-XX) 1 Number theory (11-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Category theory; homological algebra (18-XX) 1 Probability theory and stochastic processes (60-XX) 1 Statistics (62-XX) 1 Quantum theory (81-XX) 1 Mathematics education (97-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 93 Publications have been cited 852 times in 410 Documents Cited by ▼ Year ▼ Dependence logic. A new approach to independence friendly logic. Zbl 1117.03037 Väänänen, Jouko 133 2007 Model-theoretic logics. (Parts A-C). Zbl 0587.03001 89 1985 Dependence and independence. Zbl 1272.03125 Grädel, Erich; Väänänen, Jouko 84 2013 On definability in dependence logic. Zbl 1182.03063 Kontinen, Juha; Väänänen, Jouko 45 2009 From IF to BI. A tale of dependence and separation. Zbl 1175.03016 Abramsky, Samson; Väänänen, Jouko 38 2009 Modal dependence logic. Zbl 1377.03011 Väänänen, Jouko 36 2008 Propositional logics of dependence. Zbl 1355.03021 Yang, Fan; Väänänen, Jouko 36 2016 Second-order logic and foundations of mathematics. Zbl 1002.03013 Väänänen, Jouko 27 2001 Models and games. Zbl 1233.03001 Väänänen, Jouko 25 2011 Generalized quantifiers and pebble games on finite structures. Zbl 0826.03017 Kolaitis, Phokion G.; Väänänen, Jouko A. 20 1995 Trees and \(\Pi_ 1^ 1\)-subsets of \(^{\omega_ 1}\omega_ 1\). Zbl 0795.03068 Mekler, Alan; Väänänen, Jouko 19 1993 Propositional team logics. Zbl 1422.03058 Yang, Fan; Väänänen, Jouko 18 2017 Quantum team logic and Bell’s inequalities. Zbl 1371.03098 Hyttinen, Tapani; Paolini, Gianluca; Väänänen, Jouko 17 2015 Axiomatizing first-order consequences in dependence logic. Zbl 1315.03062 Kontinen, Juha; Väänänen, Jouko 17 2013 Independence in database relations. Zbl 1394.68116 Kontinen, Juha; Link, Sebastian; Väänänen, Jouko 14 2013 A remark on negation in dependence logic. Zbl 1216.03048 Kontinen, Juha; Väänänen, Jouko 13 2011 Reflection principles for the continuum. Zbl 1013.03059 Stavi, Jonathan; Väänänen, Jouko 13 2002 Second order logic or set theory? Zbl 1252.03024 Väänänen, Jouko 12 2012 The Härtig quantifier: A survey. Zbl 0737.03013 Herre, Heinrich; Krynicki, Michał; Pinus, Alexander; Väänänen, Jouko 12 1991 Team logic. Zbl 1203.03042 Väänänen, Jouko 10 2007 Multiverse set theory and absolutely undecidable propositions. Zbl 1358.03082 Väänänen, Jouko 9 2014 A logic for arguing about probabilities in measure teams. Zbl 1386.03020 Hyttinen, Tapani; Paolini, Gianluca; Väänänen, Jouko 9 2017 Games and trees in infinitary logic: A survey. Zbl 0905.03026 Väänänen, Jouko 8 1995 Lindström theorems for fragments of first-order logic. Zbl 1168.03017 van Benthem, Johan; ten Cate, Balder; Väänänen, Jouko 8 2009 Model-theoretic logics. (Parts D-F). Zbl 0587.03002 8 1985 On Löwenheim-Skolem-Tarski numbers for extensions of first order logic. Zbl 1252.03094 Magidor, Menachem; Väänänen, Jouko 7 2011 On Scott and Karp trees of uncountable models. Zbl 0733.03028 Hyttinen, Tapani; Väänänen, Jouko 7 1990 On the semantics of informational independence. Zbl 1005.03033 Väänänen, Jouko 7 2002 Abstract model theory as a framework for universal logic. Zbl 1082.03040 García-Matos, Marta; Väänänen, Jouko 6 2005 The hierarchy theorem for generalized quantifiers. Zbl 0864.03028 Hella, Lauri; Luosto, Kerkko; Väänänen, Jouko 6 1996 Unary quantifiers on finite models. Zbl 0880.03014 Väänänen, Jouko 6 1997 The Ehrenfeucht-Fraïssé-game of length \(\omega_ 1\). Zbl 0805.03027 Mekler, Alan; Shelah, Saharon; Väänänen, Jouko 6 1993 Partially ordered connectives. Zbl 0798.03040 Sandu, Gabriel; Väänänen, Jouko 6 1992 On dependence logic. Zbl 1325.03028 Galliani, Pietro; Väänänen, Jouko 6 2014 Inner models from extended logics. I. Zbl 1510.03019 Kennedy, Juliette; Magidor, Menachem; Väänänen, Jouko 6 2021 Dependence of variables construed as an atomic formula. Zbl 1225.03026 Väänänen, Jouko; Hodges, Wilfrid 5 2010 Boolean valued models and generalized quantifiers. Zbl 0484.03017 Vaeaenaenen, Jouko 5 1980 Trees and Ehrenfeucht-Fraïssé games. Zbl 0935.03056 Todorčević, Stevo; Väänänen, Jouko 5 1999 Generalized quantifiers, an introduction. Zbl 0964.03038 Väänänen, Jouko 5 1999 Pseudo-finite model theory. Zbl 1078.03029 Väänänen, Jouko 5 2003 Chain models, trees of singular cardinality and dynamic EF-games. Zbl 1260.03089 Džamonja, Mirna; Väänänen, Jouko 5 2011 Definability of polyadic lifts of generalized quantifiers. Zbl 0880.03015 Hella, Lauri; Väänänen, Jouko; Westerståhl, Dag 5 1997 Dependence logic. Theory and applications. Selected papers based on the presentations at the Dagstuhl seminar on ‘Dependence logic: theory and applications’, Wadern, Germany, February 2013. Zbl 1348.03004 5 2016 Dependence logic in pregeometries and \(\omega\)-stable theories. Zbl 1368.03041 Paolini, Gianluca; Väänänen, Jouko 5 2016 Henkin and function quantifiers. Zbl 0675.03023 Krynicki, Michael; Väänänen, Jouko 4 1989 Vector spaces and binary quantifiers. Zbl 0543.03020 Krynicki, Michał; Lachlan, Alistair; Väänänen, Jouko 4 1984 Erratum to: “On definability in dependence logic”. Zbl 1208.03034 Kontinen, Juha; Väänänen, Jouko 4 2011 Stationary sets and infinitary logic. Zbl 0969.03050 Shelah, Saharon; Väänänen, Jouko 4 2000 More on the Ehrenfeucht-Fraïssé game of length \(\omega_1\). Zbl 1013.03047 Hyttinen, Tapani; Shelah, Saharon; Väänänen, Jouko 4 2002 On the expressive power of monotone natural language quantifiers over finite models. Zbl 1014.03034 Väänänen, Jouko; Westerståhl, Dag 4 2002 Regular ultrafilters and finite square principles. Zbl 1160.03026 Kennedy, Juliette; Shelah, Saharon; Väänänen, Jouko 4 2008 A note on extensions of infinitary logic. Zbl 1059.03033 Shelah, Saharon; Väänänen, Jouko 4 2005 Barwise: Abstract model theory and generalized quantifiers. Zbl 1074.03017 Väänänen, Jouko 4 2004 A Cantor-Bendixson theorem for the space \(\omega_ 1^{\omega_ 1}\). Zbl 0732.03041 Väänänen, Jouko 4 1991 Generalized quantifiers. Zbl 0880.68061 Väänänen, Jouko 4 1997 On the symbiosis between model-theoretic and set-theoretic properties of large cardinals. Zbl 1436.03265 Bagaria, Joan; Väänänen, Jouko 4 2016 Internal categoricity in arithmetic and set theory. Zbl 1372.03088 Väänänen, Jouko; Wang, Tong 4 2015 A logical approach to context-specific independence. Zbl 1477.03068 Corander, Jukka; Hyttinen, Antti; Kontinen, Juha; Pensar, Johan; Väänänen, Jouko 4 2019 Abstract logic and set theory. II. Large cardinals. Zbl 0531.03019 Väänänen, Jouko 3 1982 Remarks on generalized quantifiers and second order logics. Zbl 0382.03010 Väänänen, Jouko 3 1977 Dependence logic with generalized quantifiers: axiomatizations. Zbl 1423.03110 Engström, Fredrik; Kontinen, Juha; Väänänen, Jouko 3 2017 Abstract model theory as a framework for universal logic. 2nd revised ed. Zbl 1143.03354 García-Matos, Marta; Väänänen, Jouko 3 2007 Tractability frontier of data complexity in team semantics. Zbl 1476.68146 Durand, Arnaud; Kontinen, Juha; de Rugy-Altherre, Nicolas; Väänänen, Jouko 3 2015 Dependence logic with generalized quantifiers: axiomatizations. Zbl 1394.03048 Engström, Fredrik; Kontinen, Juha; Väänänen, Jouko 3 2013 An Ehrenfeucht-Fraïssé game for \(\mathcal L_{\omega_1\omega}\). Zbl 1300.03020 Väänänen, Jouko; Wang, Tong 3 2013 Grelling on dependence. Zbl 1429.03122 Väänänen, Jouko 3 2016 Decidability of some logics with free quantifier variables. Zbl 0483.03018 Anapolitanos, D. A.; Vaeaenaenen, J. A. 2 1981 On orderings of the family of all logics. Zbl 0499.03024 Krynicki, Michal; Vaeaenaenen, Jouko 2 1982 A family of trees with no uncountable branches. Zbl 1078.03036 Džamonja, Mirna; Väänänen, Jouko 2 2004 The Craig interpolation theorem in abstract model theory. Zbl 1169.03028 Väänänen, Jouko 2 2008 Combinatorics and quantifiers. Zbl 0881.05096 Nešetřil, Jaroslav; Väänänen, J. A. 2 1996 Recursive logic frames. Zbl 1093.03024 Shelah, Saharon; Väänänen, Jouko 2 2006 Finite information logic. Zbl 1067.03039 Parikh, Rohit; Väänänen, Jouko 2 2005 Two axioms of set theory with applications to logic. Zbl 0392.03034 Väänänen, Jouko 2 1978 A quantifier for isomorphisms. Zbl 0435.03030 Väänänen, Jouko 2 1980 On the number of automorphisms of uncountable models. Zbl 0805.03019 Shelah, Saharon; Tuuri, Heikki; Väänänen, Jouko 2 1993 On second-order characterizability. Zbl 1323.03053 Hyttinen, Tapani; Kangas, Kaisa; Väänänen, Jouko 2 2013 Sort logic and foundations of mathematics. Zbl 1321.03048 Väänänen, Jouko 2 2014 A logical approach to context-specific independence. Zbl 1478.03067 Corander, Jukka; Hyttinen, Antti; Kontinen, Juha; Pensar, Johan; Väänänen, Jouko 2 2016 Lindström’s theorem. Zbl 1295.03023 Väänänen, Jouko 2 2012 Generalized quantifiers in models of set theory. Zbl 0509.03019 Vaeaenaenen, Jouko 1 1982 \(\Delta\)-extension and Hanf numbers. Zbl 0522.03027 Väänänen, Jouko 1 1983 On ordinals accessible by infinitary languages. Zbl 1096.03041 Shelah, Saharon; Väisänen, Pauli; Väänänen, Jouko 1 2005 Games played on partial isomorphisms. Zbl 1060.03061 Väänänen, Jouko; Veličković, Boban 1 2004 Abstract logic and set theory. I. Definability. Zbl 0433.03019 Väänänen, Jouko 1 1979 Game-theoretic inductive definability. Zbl 0797.03045 Oikkonen, Juha; Väänänen, Jouko 1 1993 Reflection of long game formulas. Zbl 0864.03027 Heikkilä, Heikki; Väänänen, Jouko 1 1994 Boolean-valued second-order logic. Zbl 1372.03090 Ikegami, Daisuke; Väänänen, Jouko 1 2015 Positional strategies in long Ehrenfeucht-Fraïssé games. Zbl 1373.03099 Shelah, S.; Väänänen, J.; Veličković, B. 1 2015 Second order logic, set theory and foundations of mathematics. Zbl 1314.03014 Väänänen, Jouko 1 2012 The size of a formula as a measure of complexity. Zbl 1429.03055 Hella, Lauri; Väänänen, Jouko 1 2015 Some strong logics within combinatorial set theory and the logic of chains. Zbl 1438.03011 Džamonja, Mirna; Väänänen, Jouko 1 2018 An extension of a theorem of Zermelo. Zbl 1477.03226 Väänänen, Jouko 1 2019 Inner models from extended logics. I. Zbl 1510.03019 Kennedy, Juliette; Magidor, Menachem; Väänänen, Jouko 6 2021 A logical approach to context-specific independence. Zbl 1477.03068 Corander, Jukka; Hyttinen, Antti; Kontinen, Juha; Pensar, Johan; Väänänen, Jouko 4 2019 An extension of a theorem of Zermelo. Zbl 1477.03226 Väänänen, Jouko 1 2019 Some strong logics within combinatorial set theory and the logic of chains. Zbl 1438.03011 Džamonja, Mirna; Väänänen, Jouko 1 2018 Propositional team logics. Zbl 1422.03058 Yang, Fan; Väänänen, Jouko 18 2017 A logic for arguing about probabilities in measure teams. Zbl 1386.03020 Hyttinen, Tapani; Paolini, Gianluca; Väänänen, Jouko 9 2017 Dependence logic with generalized quantifiers: axiomatizations. Zbl 1423.03110 Engström, Fredrik; Kontinen, Juha; Väänänen, Jouko 3 2017 Propositional logics of dependence. Zbl 1355.03021 Yang, Fan; Väänänen, Jouko 36 2016 Dependence logic. Theory and applications. Selected papers based on the presentations at the Dagstuhl seminar on ‘Dependence logic: theory and applications’, Wadern, Germany, February 2013. Zbl 1348.03004 5 2016 Dependence logic in pregeometries and \(\omega\)-stable theories. Zbl 1368.03041 Paolini, Gianluca; Väänänen, Jouko 5 2016 On the symbiosis between model-theoretic and set-theoretic properties of large cardinals. Zbl 1436.03265 Bagaria, Joan; Väänänen, Jouko 4 2016 Grelling on dependence. Zbl 1429.03122 Väänänen, Jouko 3 2016 A logical approach to context-specific independence. Zbl 1478.03067 Corander, Jukka; Hyttinen, Antti; Kontinen, Juha; Pensar, Johan; Väänänen, Jouko 2 2016 Quantum team logic and Bell’s inequalities. Zbl 1371.03098 Hyttinen, Tapani; Paolini, Gianluca; Väänänen, Jouko 17 2015 Internal categoricity in arithmetic and set theory. Zbl 1372.03088 Väänänen, Jouko; Wang, Tong 4 2015 Tractability frontier of data complexity in team semantics. Zbl 1476.68146 Durand, Arnaud; Kontinen, Juha; de Rugy-Altherre, Nicolas; Väänänen, Jouko 3 2015 Boolean-valued second-order logic. Zbl 1372.03090 Ikegami, Daisuke; Väänänen, Jouko 1 2015 Positional strategies in long Ehrenfeucht-Fraïssé games. Zbl 1373.03099 Shelah, S.; Väänänen, J.; Veličković, B. 1 2015 The size of a formula as a measure of complexity. Zbl 1429.03055 Hella, Lauri; Väänänen, Jouko 1 2015 Multiverse set theory and absolutely undecidable propositions. Zbl 1358.03082 Väänänen, Jouko 9 2014 On dependence logic. Zbl 1325.03028 Galliani, Pietro; Väänänen, Jouko 6 2014 Sort logic and foundations of mathematics. Zbl 1321.03048 Väänänen, Jouko 2 2014 Dependence and independence. Zbl 1272.03125 Grädel, Erich; Väänänen, Jouko 84 2013 Axiomatizing first-order consequences in dependence logic. Zbl 1315.03062 Kontinen, Juha; Väänänen, Jouko 17 2013 Independence in database relations. Zbl 1394.68116 Kontinen, Juha; Link, Sebastian; Väänänen, Jouko 14 2013 Dependence logic with generalized quantifiers: axiomatizations. Zbl 1394.03048 Engström, Fredrik; Kontinen, Juha; Väänänen, Jouko 3 2013 An Ehrenfeucht-Fraïssé game for \(\mathcal L_{\omega_1\omega}\). Zbl 1300.03020 Väänänen, Jouko; Wang, Tong 3 2013 On second-order characterizability. Zbl 1323.03053 Hyttinen, Tapani; Kangas, Kaisa; Väänänen, Jouko 2 2013 Second order logic or set theory? Zbl 1252.03024 Väänänen, Jouko 12 2012 Lindström’s theorem. Zbl 1295.03023 Väänänen, Jouko 2 2012 Second order logic, set theory and foundations of mathematics. Zbl 1314.03014 Väänänen, Jouko 1 2012 Models and games. Zbl 1233.03001 Väänänen, Jouko 25 2011 A remark on negation in dependence logic. Zbl 1216.03048 Kontinen, Juha; Väänänen, Jouko 13 2011 On Löwenheim-Skolem-Tarski numbers for extensions of first order logic. Zbl 1252.03094 Magidor, Menachem; Väänänen, Jouko 7 2011 Chain models, trees of singular cardinality and dynamic EF-games. Zbl 1260.03089 Džamonja, Mirna; Väänänen, Jouko 5 2011 Erratum to: “On definability in dependence logic”. Zbl 1208.03034 Kontinen, Juha; Väänänen, Jouko 4 2011 Dependence of variables construed as an atomic formula. Zbl 1225.03026 Väänänen, Jouko; Hodges, Wilfrid 5 2010 On definability in dependence logic. Zbl 1182.03063 Kontinen, Juha; Väänänen, Jouko 45 2009 From IF to BI. A tale of dependence and separation. Zbl 1175.03016 Abramsky, Samson; Väänänen, Jouko 38 2009 Lindström theorems for fragments of first-order logic. Zbl 1168.03017 van Benthem, Johan; ten Cate, Balder; Väänänen, Jouko 8 2009 Modal dependence logic. Zbl 1377.03011 Väänänen, Jouko 36 2008 Regular ultrafilters and finite square principles. Zbl 1160.03026 Kennedy, Juliette; Shelah, Saharon; Väänänen, Jouko 4 2008 The Craig interpolation theorem in abstract model theory. Zbl 1169.03028 Väänänen, Jouko 2 2008 Dependence logic. A new approach to independence friendly logic. Zbl 1117.03037 Väänänen, Jouko 133 2007 Team logic. Zbl 1203.03042 Väänänen, Jouko 10 2007 Abstract model theory as a framework for universal logic. 2nd revised ed. Zbl 1143.03354 García-Matos, Marta; Väänänen, Jouko 3 2007 Recursive logic frames. Zbl 1093.03024 Shelah, Saharon; Väänänen, Jouko 2 2006 Abstract model theory as a framework for universal logic. Zbl 1082.03040 García-Matos, Marta; Väänänen, Jouko 6 2005 A note on extensions of infinitary logic. Zbl 1059.03033 Shelah, Saharon; Väänänen, Jouko 4 2005 Finite information logic. Zbl 1067.03039 Parikh, Rohit; Väänänen, Jouko 2 2005 On ordinals accessible by infinitary languages. Zbl 1096.03041 Shelah, Saharon; Väisänen, Pauli; Väänänen, Jouko 1 2005 Barwise: Abstract model theory and generalized quantifiers. Zbl 1074.03017 Väänänen, Jouko 4 2004 A family of trees with no uncountable branches. Zbl 1078.03036 Džamonja, Mirna; Väänänen, Jouko 2 2004 Games played on partial isomorphisms. Zbl 1060.03061 Väänänen, Jouko; Veličković, Boban 1 2004 Pseudo-finite model theory. Zbl 1078.03029 Väänänen, Jouko 5 2003 Reflection principles for the continuum. Zbl 1013.03059 Stavi, Jonathan; Väänänen, Jouko 13 2002 On the semantics of informational independence. Zbl 1005.03033 Väänänen, Jouko 7 2002 More on the Ehrenfeucht-Fraïssé game of length \(\omega_1\). Zbl 1013.03047 Hyttinen, Tapani; Shelah, Saharon; Väänänen, Jouko 4 2002 On the expressive power of monotone natural language quantifiers over finite models. Zbl 1014.03034 Väänänen, Jouko; Westerståhl, Dag 4 2002 Second-order logic and foundations of mathematics. Zbl 1002.03013 Väänänen, Jouko 27 2001 Stationary sets and infinitary logic. Zbl 0969.03050 Shelah, Saharon; Väänänen, Jouko 4 2000 Trees and Ehrenfeucht-Fraïssé games. Zbl 0935.03056 Todorčević, Stevo; Väänänen, Jouko 5 1999 Generalized quantifiers, an introduction. Zbl 0964.03038 Väänänen, Jouko 5 1999 Unary quantifiers on finite models. Zbl 0880.03014 Väänänen, Jouko 6 1997 Definability of polyadic lifts of generalized quantifiers. Zbl 0880.03015 Hella, Lauri; Väänänen, Jouko; Westerståhl, Dag 5 1997 Generalized quantifiers. Zbl 0880.68061 Väänänen, Jouko 4 1997 The hierarchy theorem for generalized quantifiers. Zbl 0864.03028 Hella, Lauri; Luosto, Kerkko; Väänänen, Jouko 6 1996 Combinatorics and quantifiers. Zbl 0881.05096 Nešetřil, Jaroslav; Väänänen, J. A. 2 1996 Generalized quantifiers and pebble games on finite structures. Zbl 0826.03017 Kolaitis, Phokion G.; Väänänen, Jouko A. 20 1995 Games and trees in infinitary logic: A survey. Zbl 0905.03026 Väänänen, Jouko 8 1995 Reflection of long game formulas. Zbl 0864.03027 Heikkilä, Heikki; Väänänen, Jouko 1 1994 Trees and \(\Pi_ 1^ 1\)-subsets of \(^{\omega_ 1}\omega_ 1\). Zbl 0795.03068 Mekler, Alan; Väänänen, Jouko 19 1993 The Ehrenfeucht-Fraïssé-game of length \(\omega_ 1\). Zbl 0805.03027 Mekler, Alan; Shelah, Saharon; Väänänen, Jouko 6 1993 On the number of automorphisms of uncountable models. Zbl 0805.03019 Shelah, Saharon; Tuuri, Heikki; Väänänen, Jouko 2 1993 Game-theoretic inductive definability. Zbl 0797.03045 Oikkonen, Juha; Väänänen, Jouko 1 1993 Partially ordered connectives. Zbl 0798.03040 Sandu, Gabriel; Väänänen, Jouko 6 1992 The Härtig quantifier: A survey. Zbl 0737.03013 Herre, Heinrich; Krynicki, Michał; Pinus, Alexander; Väänänen, Jouko 12 1991 A Cantor-Bendixson theorem for the space \(\omega_ 1^{\omega_ 1}\). Zbl 0732.03041 Väänänen, Jouko 4 1991 On Scott and Karp trees of uncountable models. Zbl 0733.03028 Hyttinen, Tapani; Väänänen, Jouko 7 1990 Henkin and function quantifiers. Zbl 0675.03023 Krynicki, Michael; Väänänen, Jouko 4 1989 Model-theoretic logics. (Parts A-C). Zbl 0587.03001 89 1985 Model-theoretic logics. (Parts D-F). Zbl 0587.03002 8 1985 Vector spaces and binary quantifiers. Zbl 0543.03020 Krynicki, Michał; Lachlan, Alistair; Väänänen, Jouko 4 1984 \(\Delta\)-extension and Hanf numbers. Zbl 0522.03027 Väänänen, Jouko 1 1983 Abstract logic and set theory. II. Large cardinals. Zbl 0531.03019 Väänänen, Jouko 3 1982 On orderings of the family of all logics. Zbl 0499.03024 Krynicki, Michal; Vaeaenaenen, Jouko 2 1982 Generalized quantifiers in models of set theory. Zbl 0509.03019 Vaeaenaenen, Jouko 1 1982 Decidability of some logics with free quantifier variables. Zbl 0483.03018 Anapolitanos, D. A.; Vaeaenaenen, J. A. 2 1981 Boolean valued models and generalized quantifiers. Zbl 0484.03017 Vaeaenaenen, Jouko 5 1980 A quantifier for isomorphisms. Zbl 0435.03030 Väänänen, Jouko 2 1980 Abstract logic and set theory. I. Definability. Zbl 0433.03019 Väänänen, Jouko 1 1979 Two axioms of set theory with applications to logic. Zbl 0392.03034 Väänänen, Jouko 2 1978 Remarks on generalized quantifiers and second order logics. Zbl 0382.03010 Väänänen, Jouko 3 1977 all cited Publications top 5 cited Publications all top 5 Cited by 384 Authors 40 Väänänen, Jouko Antero 26 Kontinen, Juha 18 Galliani, Pietro 15 Yang, Fan 14 Shelah, Saharon 14 Virtema, Jonni 12 Hyttinen, Tapani 11 Hannula, Miika 11 Hella, Lauri T. 9 van Benthem, Johan F. A. K. 8 Barbero, Fausto 8 Lücke, Philipp Moritz 7 Ciardelli, Ivano A. 7 Friedman, Sy-David 7 Grädel, Erich 7 Hamkins, Joel David 7 Meier, Arne 7 Vollmer, Heribert 6 Džamonja, Mirna 6 Grilletti, Gianluca 6 Kulikov, Vadim 6 Kuusisto, Antti 6 Lück, Martin 6 Szymanik, Jakub 5 Otto, Martin 5 Paolini, Gianluca 5 Rönnholm, Raine 5 Sandu, Gabriel 5 Tulenheimo, Tero 5 Westerståhl, Dag 4 Badia, Guillermo 4 Bagaria, Joan 4 Durand, Arnaud 4 Libkin, Leonid O. 4 Link, Sebastian 4 Lohmann, Peter 4 Motto Ros, Luca 4 Naumov, Pavel G. 4 Németi, István 4 Quadrellaro, Davide Emilio 4 Székely, Gergely 3 Andréka, Hajnal 3 Baldwin, John T. 3 Barton, Neil 3 Bezhanishvili, Nick 3 Corander, Jukka 3 Ebbing, Johannes 3 Engström, Fredrik 3 Lipparini, Paolo 3 Luosto, Kerkko 3 Madarász, Judit X. 3 Mahmood, Yasir 3 Moreno, Miguel Vera 3 Olkhovikov, Grigory K. 3 Pensar, Johan 3 Sano, Katsuhiko 3 Wilke, Richard 2 Abramsky, Samson 2 Aloni, Maria 2 Bellier, Dylan 2 Benerecetti, Massimo 2 Boney, Will 2 Caicedo, Xavier 2 Cox, Sean D. 2 de Haan, Ronald 2 Della Monica, Dario 2 Fernandes, Gabriel 2 Figueira, Santiago 2 Fuchino, Sakaé 2 Fuchs, Gunter 2 Gierasimczuk, Nina 2 Gorín, Daniel 2 Gottlob, Georg 2 Grimson, Rafael 2 Haak, Anselm 2 Hawke, Peter 2 Hirvonen, Minna 2 Hoelzel, Matthias 2 Horsten, Leon 2 Humberstone, Lloyd 2 Hyttinen, Antti 2 Iemhoff, Rosalie 2 Ju, Shier 2 Kellner, Jakob 2 Khomskii, Yurii Daniilovich 2 Kirst, Dominik 2 Kolaitis, Phokion G. 2 Krynicki, Michał Marian 2 Leach-Krouse, Graham 2 Löwe, Benedikt 2 Malliaris, Maryanthe Elizabeth 2 Mansutti, Alessio 2 Meadows, Toby 2 Mogavero, Fabio 2 Nurmonen, Juha 2 Pinus, Aleksandr Georgievich 2 Punčochář, Vít 2 Rinot, Assaf 2 Rivello, Edoardo 2 Sakai, Hiroshi ...and 284 more Authors all top 5 Cited in 56 Serials 54 Annals of Pure and Applied Logic 26 The Journal of Symbolic Logic 24 Studia Logica 18 Journal of Philosophical Logic 17 Archive for Mathematical Logic 17 Mathematical Logic Quarterly (MLQ) 15 The Review of Symbolic Logic 13 Synthese 13 Journal of Logic, Language and Information 11 The Bulletin of Symbolic Logic 10 Notre Dame Journal of Formal Logic 9 Information and Computation 8 Israel Journal of Mathematics 8 Theoretical Computer Science 7 Annals of Mathematics and Artificial Intelligence 6 Journal of Computer and System Sciences 6 Logica Universalis 6 Logical Methods in Computer Science 5 Journal of Mathematical Logic 3 Journal of Applied Logic 2 Artificial Intelligence 2 Fundamenta Mathematicae 2 Journal of Pure and Applied Algebra 2 Memoirs of the American Mathematical Society 2 Monatshefte für Mathematik 2 Proceedings of the American Mathematical Society 2 Transactions of the American Mathematical Society 2 Logic and Logical Philosophy 2 Foundations of Physics 1 Discrete Mathematics 1 International Journal of Theoretical Physics 1 Information Processing Letters 1 Advances in Mathematics 1 Algebra Universalis 1 Computing 1 Duke Mathematical Journal 1 Fuzzy Sets and Systems 1 Journal of Statistical Planning and Inference 1 Siberian Mathematical Journal 1 Journal of Symbolic Computation 1 Journal of Automated Reasoning 1 Random Structures & Algorithms 1 MSCS. Mathematical Structures in Computer Science 1 Formal Methods in System Design 1 Journal of Applied Non-Classical Logics 1 Theory of Computing Systems 1 Soft Computing 1 Erkenntnis 1 RAIRO. Theoretical Informatics and Applications 1 ACM Transactions on Computational Logic 1 Sibirskie Èlektronnye Matematicheskie Izvestiya 1 Sarajevo Journal of Mathematics 1 Journal of Logic and Analysis 1 Journal of Logical and Algebraic Methods in Programming 1 European Journal of Mathematics 1 Bollettino dell’Unione Matematica Italiana all top 5 Cited in 23 Fields 381 Mathematical logic and foundations (03-XX) 97 Computer science (68-XX) 26 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 10 General and overarching topics; collections (00-XX) 9 Order, lattices, ordered algebraic structures (06-XX) 8 Combinatorics (05-XX) 6 Group theory and generalizations (20-XX) 5 Category theory; homological algebra (18-XX) 5 Probability theory and stochastic processes (60-XX) 5 Statistics (62-XX) 4 History and biography (01-XX) 4 General topology (54-XX) 4 Relativity and gravitational theory (83-XX) 2 General algebraic systems (08-XX) 1 Associative rings and algebras (16-XX) 1 Real functions (26-XX) 1 Difference and functional equations (39-XX) 1 Sequences, series, summability (40-XX) 1 Functional analysis (46-XX) 1 Mechanics of particles and systems (70-XX) 1 Quantum theory (81-XX) 1 Information and communication theory, circuits (94-XX) 1 Mathematics education (97-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.