| |
| 2004 | ||
|---|---|---|
| 8 | EE | Kerkko Luosto: Equicardinality on Linear Orders. LICS 2004: 458-465 |
| 2000 | ||
| 7 | Kerkko Luosto: Hierarchies of Monadic Generalized Quantifiers. J. Symb. Log. 65(3): 1241-1263 (2000) | |
| 1997 | ||
| 6 | EE | Kerkko Luosto: Ramsey Theory Is Needed for Solving Definability Problems of Generalized Quantifiers. ESSLLI 1997: 124-139 |
| 5 | Lauri Hella, Phokion G. Kolaitis, Kerkko Luosto: How to Define a Linear Order on Finite Models. Ann. Pure Appl. Logic 87(3): 241-267 (1997) | |
| 1996 | ||
| 4 | EE | Lauri Hella, Phokion G. Kolaitis, Kerkko Luosto: Almost everywhere equivalence of logics in finite model theory. Bulletin of Symbolic Logic 2(4): 422-443 (1996) |
| 3 | Lauri Hella, Kerkko Luosto, Jouko A. Väänänen: The Hierarchy Theorem for Generalized Quantifiers. J. Symb. Log. 61(3): 802-817 (1996) | |
| 1994 | ||
| 2 | Lauri Hella, Phokion G. Kolaitis, Kerkko Luosto: How to Define a Linear Order on Finite Models LICS 1994: 40-49 | |
| 1992 | ||
| 1 | Lauri Hella, Kerkko Luosto: The Beth-Closure of L(Qalpha) Is Not Finitely Generated. J. Symb. Log. 57(2): 442-448 (1992) | |
| 1 | Lauri Hella | [1] [2] [3] [4] [5] |
| 2 | Phokion G. Kolaitis | [2] [4] [5] |
| 3 | Jouko A. Väänänen | [3] |