| 2008 |
|---|
| 28 | EE | S. Barry Cooper,
Herman Geuvers,
Anand Pillay,
Jouko A. Väänänen:
Preface.
Ann. Pure Appl. Logic 156(1): 1-2 (2008) |
| 2007 |
|---|
| 27 | EE | Balder ten Cate,
Johan van Benthem,
Jouko A. Väänänen:
Lindstrom theorems for fragments of first-order logic.
LICS 2007: 280-292 |
| 2006 |
|---|
| 26 | EE | Saharon Shelah,
Jouko A. Väänänen:
Recursive logic frames.
Math. Log. Q. 52(2): 151-164 (2006) |
| 2005 |
|---|
| 25 | EE | Rohit Parikh,
Jouko A. Väänänen:
Finite information logic.
Ann. Pure Appl. Logic 134(1): 83-93 (2005) |
| 24 | EE | Saharon Shelah,
Jouko A. Väänänen:
A note on extensions of infinitary logic.
Arch. Math. Log. 44(1): 63-69 (2005) |
| 2004 |
|---|
| 23 | EE | Jouko A. Väänänen,
Boban Velickovic:
Games played on partial isomorphisms.
Arch. Math. Log. 43(1): 19-30 (2004) |
| 22 | EE | Jouko A. Väänänen:
Barwise: Abstract model theory and generalized quantifiers.
Bulletin of Symbolic Logic 10(1): 37-53 (2004) |
| 2002 |
|---|
| 21 | EE | Jouko A. Väänänen:
On the semantics of informational independence.
Logic Journal of the IGPL 10(3): 339-352 (2002) |
| 2001 |
|---|
| 20 | EE | Jouko A. Väänänen:
Second-order logic and foundations of mathematics.
Bulletin of Symbolic Logic 7(4): 504-520 (2001) |
| 2000 |
|---|
| 19 | | Jouko A. Väänänen:
Generalized Quantifiers and Computation, 9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop, Aix-en-Provence, France, August 11-22, 1997, Revised Lectures
Springer 2000 |
| 18 | | Saharon Shelah,
Jouko A. Väänänen:
Stationary Sets and Infinitary Logic.
J. Symb. Log. 65(3): 1311-1320 (2000) |
| 1999 |
|---|
| 17 | | Stevo Todorcevic,
Jouko A. Väänänen:
Trees and Ehrenfeucht-Fraïssé Games.
Ann. Pure Appl. Logic 100(1-3): 69-97 (1999) |
| 16 | | Jörg Flum,
Matthias Schiehlen,
Jouko A. Väänänen:
Quantifiers and Congruence Closure.
Studia Logica 62(3): 315-340 (1999) |
| 1997 |
|---|
| 15 | EE | Jouko A. Väänänen:
Generalized Quantifiers, an Introduction.
ESSLLI 1997: 1-17 |
| 14 | | Jouko A. Väänänen:
Generalized Quantifiers.
Bulletin of the EATCS 62: (1997) |
| 13 | | Jouko A. Väänänen:
Unary Quantifiers on Finite Models.
Journal of Logic, Language and Information 6(3): 275-304 (1997) |
| 12 | | Lauri Hella,
Jouko A. Väänänen,
Dag Westerståhl:
Definability of Polyadic Lifts of Generalized Quantifiers.
Journal of Logic, Language and Information 6(3): 305-335 (1997) |
| 1996 |
|---|
| 11 | | Lauri Hella,
Kerkko Luosto,
Jouko A. Väänänen:
The Hierarchy Theorem for Generalized Quantifiers.
J. Symb. Log. 61(3): 802-817 (1996) |
| 1995 |
|---|
| 10 | | Phokion G. Kolaitis,
Jouko A. Väänänen:
Generalized Quantifiers and Pebble Games on Finite Structures.
Ann. Pure Appl. Logic 74(1): 23-75 (1995) |
| 1994 |
|---|
| 9 | | Jouko A. Väänänen,
Heikki Heikkilä:
Reflection of Long Game Formulas.
Math. Log. Q. 40: 381-392 (1994) |
| 1993 |
|---|
| 8 | | Juha Oikkonen,
Jouko A. Väänänen:
Game-Theoretic Inductive Definability.
Ann. Pure Appl. Logic 65(3): 265-306 (1993) |
| 7 | | Alan H. Mekler,
Jouko A. Väänänen:
Trees and Pi11-Subsets of omega1\omega1.
J. Symb. Log. 58(3): 1052-1070 (1993) |
| 6 | | Saharon Shelah,
Heikki Tuuri,
Jouko A. Väänänen:
On the Number of Automorphisms of Uncountable Models.
J. Symb. Log. 58(4): 1402-1418 (1993) |
| 1992 |
|---|
| 5 | | Phokion G. Kolaitis,
Jouko A. Väänänen:
Generalized Quantifiers and Pebble Games on Finite Structures
LICS 1992: 348-359 |
| 1991 |
|---|
| 4 | | Heinrich Herre,
Michal Krynicki,
Alexander Pinus,
Jouko A. Väänänen:
The Härtig Quantifier: A Survey.
J. Symb. Log. 56(4): 1153-1183 (1991) |
| 1990 |
|---|
| 3 | | Tapani Hyttinen,
Jouko A. Väänänen:
On Scott and Karp Trees of Uncountable Models.
J. Symb. Log. 55(3): 897-908 (1990) |
| 1989 |
|---|
| 2 | | Michal Krynicki,
Jouko A. Väänänen:
Henkin and Function Quantifiers.
Ann. Pure Appl. Logic 43(3): 273-292 (1989) |
| 1982 |
|---|
| 1 | | Jouko A. Väänänen:
Abstract Logic and Set Theory. II. Large Cardinals.
J. Symb. Log. 47(2): 335-346 (1982) |
