2006 |
34 | EE | Tapani Hyttinen,
Olivier Lessmann:
Simplicity and uncountable categoricity in excellent classes.
Ann. Pure Appl. Logic 139(1-3): 110-137 (2006) |
33 | EE | Tapani Hyttinen,
M. Kesälä:
Independence in finitary abstract elementary classes.
Ann. Pure Appl. Logic 143(1-3): 103-138 (2006) |
32 | EE | Tapani Hyttinen:
Uncountably categorical local tame abstract elementary classes with disjoint amalgamation.
Arch. Math. Log. 45(1): 63-73 (2006) |
2005 |
31 | EE | Tapani Hyttinen:
Locally modular geometries in homogeneous structures.
Math. Log. Q. 51(3): 291-298 (2005) |
2004 |
30 | EE | Tapani Hyttinen,
Tero Tulenheimo:
Decidability of IF Modal Logic of Perfect Recall.
Advances in Modal Logic 2004: 111-131 |
29 | EE | Tapani Hyttinen,
Gabriel Sandu:
Truth and definite truth.
Ann. Pure Appl. Logic 126(1-3): 49-55 (2004) |
28 | EE | Taneli Huuskonen,
Tapani Hyttinen,
Mika Rautila:
On potential isomorphism and non-structure.
Arch. Math. Log. 43(1): 85-120 (2004) |
27 | EE | Tapani Hyttinen:
Finitely generated submodels of an uncountably categorical homogeneous structure.
Math. Log. Q. 50(1): 77-98 (2004) |
2003 |
26 | | Sy D. Friedman,
Tapani Hyttinen,
Mika Rautila:
Classification theory and 0#.
J. Symb. Log. 68(2): 580-588 (2003) |
25 | EE | Tapani Hyttinen:
Finiteness of U-rank implies simplicity in homogeneous structures.
Math. Log. Q. 49(6): 576-578 (2003) |
2002 |
24 | | Tapani Hyttinen,
Olivier Lessmann:
A Rank for the Class of Elementary Submodels of A Superstable Homogeneous Model.
J. Symb. Log. 67(4): 1469-1482 (2002) |
23 | EE | Tapani Hyttinen:
A Remark on Weakly Compact Cardinals.
Math. Log. Q. 48(3): 397-402 (2002) |
22 | EE | Tapani Hyttinen:
Canonical Finite Diagrams and Quantifier Elimination.
Math. Log. Q. 48(4): 533-554 (2002) |
2001 |
21 | | Taneli Huuskonen,
Tapani Hyttinen:
On Definability of Order in Logic with Choice.
LICS 2001: 167-176 |
20 | | Tapani Hyttinen,
Saharon Shelah:
Main Gap for Locally Saturated Elementary Submodels of A Homogeneous Structure.
J. Symb. Log. 66(3): 1286-1302 (2001) |
19 | | Tapani Hyttinen,
Mika Rautila:
The Canary Tree Revisited.
J. Symb. Log. 66(4): 1677-1694 (2001) |
18 | | Tapani Hyttinen,
Matti Pauna:
On Non-wellfounded Sets as Fixed Points of Substitutions.
Notre Dame Journal of Formal Logic 42(1): 23-40 (2001) |
2000 |
17 | | Tapani Hyttinen,
Saharon Shelah:
Strong Splitting in Stable Homogeneous Models.
Ann. Pure Appl. Logic 103(1-3): 201-228 (2000) |
16 | EE | Tapani Hyttinen:
On stability in finite models.
Arch. Math. Log. 39(2): 89-102 (2000) |
1999 |
15 | EE | Taneli Huuskonen,
Tapani Hyttinen,
Mika Rautila:
On the k\kappa-cub game on l\lambda and I[l]I[\lambda ].
Arch. Math. Log. 38(8): 549-557 (1999) |
14 | | Tapani Hyttinen,
Saharon Shelah:
Constructing Strongly Equivalent Nonisomorphic Models for Unsuperstable Theories, Part C.
J. Symb. Log. 64(2): 634-642 (1999) |
13 | | Tapani Hyttinen:
Stability and General Logics.
Math. Log. Q. 45: 219-240 (1999) |
1998 |
12 | | Tapani Hyttinen:
Generalizing Morley's Theorem.
Math. Log. Q. 44: 176-184 (1998) |
11 | | Tapani Hyttinen,
Saharon Shelah:
On the Number of Elementary Submodels of an Unsuperstable Homogeneous Structure.
Math. Log. Q. 44: 354-358 (1998) |
10 | | Tapani Hyttinen:
A Remark on Algebraic Closure and Orthogonality.
Notre Dame Journal of Formal Logic 39(4): 527-530 (1998) |
1997 |
9 | | Tapani Hyttinen:
On Nonstructure of Elementary Submodels of an Unsuperstable Homogeneous Structure.
Math. Log. Q. 43: 134-142 (1997) |
1996 |
8 | | Tapani Hyttinen:
Forking and Incomplete Types.
Math. Log. Q. 42: 421-432 (1996) |
1995 |
7 | | Tapani Hyttinen,
Saharon Shelah:
Constructing Strongly Equivalent Nonisomorphic Models for Unsuperstable Theories, Part B.
J. Symb. Log. 60(4): 1260-1272 (1995) |
6 | | Tapani Hyttinen:
Remarks on Structure Theorems for omega1-Saturated Models.
Notre Dame Journal of Formal Logic 36(2): 269-278 (1995) |
1994 |
5 | | Tapani Hyttinen,
Saharon Shelah:
Constructing Strongly Equivalent Nonisomorphic Models for Unsuperstable Theories, Part A.
J. Symb. Log. 59(3): 984-996 (1994) |
1993 |
4 | | Tapani Hyttinen,
Saharon Shelah,
Heikki Tuuri:
Remarks on Strong Nonstructure Theorems.
Notre Dame Journal of Formal Logic 34(2): 157-168 (1993) |
1991 |
3 | | Tapani Hyttinen,
Heikki Tuuri:
Constructing Strongly Equivalent Nonisomorphic Models for Unstable Theories.
Ann. Pure Appl. Logic 52(3): 203-248 (1991) |
2 | | Tapani Hyttinen:
Preservation by Homomorphisms and Infinitary Languages.
Notre Dame Journal of Formal Logic 32(2): 167-172 (1991) |
1990 |
1 | | Tapani Hyttinen,
Jouko A. Väänänen:
On Scott and Karp Trees of Uncountable Models.
J. Symb. Log. 55(3): 897-908 (1990) |