×

Väänänen, Jouko Antero

Author ID: vaananen.jouko-antero Recent zbMATH articles by "Väänänen, 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.
External Links: MGP · ORCID · Wikidata · GND · IdRef
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

Publications by Year

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

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.