Tapani Hyttinen, Ph.D.


Contact Info

Address:  Department of Mathematics and Statistics
          P.O. Box 68 (Gustaf Hällströmin katu 2b) 
          FI-00014 University of Helsinki

Email:    tapani . hyttinen at helsinki . fi

Publications (2/05)

  1. Games and infinitary languages, Annales Academiae Scientiarum Fennicae Series A I Mathematica Dissertationes, vol. 64, 1987, 1-32.
  2. Model theory for infinite quantifier languages, Fundamenta Mathematicae, vol. 134, 1990, 125-142.
  3. On Scott and Karp trees of uncountable models, (with Jouko Väänänen), The Journal of Symbolic Logic, vol. 55, 1990, 897-908.
  4. Preservation by homomorphisms and infinitary languages, Notre Dame Journal of Formal Logic, vol. 32, 1991, 167-172.
  5. Constructing strongly equivalent nonisomorphic models for unstable theories, (with Heikki Tuuri), Annals of Pure and Applied Logic, vol. 52, 1991, 203-248.
  6. On $\kappa$-complete reduced products, Archive for Mathematical Logic, vol. 31, 1992, 193-199.
  7. On non-determined Ehrenfeucht-Fraïssé games and unstable theories, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 38, 1992, 399-408.
  8. Remarks on strong nonstructure theorems, (with Saharon Shelah and Heikki Tuuri), Notre Dame Journal of Formal Logic, vol. 34, 1993, 157-168.
  9. Constructing strongly equivalent nonisomorphic models for unsuperstable theories, part A, (with Saharon Shelah), The Journal of Symbolic Logic, vol. 59, 1994, 984-996.
  10. Remarks on structure theorems for $\omega_{1}$-saturated models, Notre Dame Journal of Formal Logic, vol. 36, 1995, 269-278.
  11. Constructing strongly equivalent nonisomorphic models for unsuperstable theories, part B, (with Saharon Shelah), The Journal of Symbolic Logic, vol. 60, 1995, 1260-1272.
  12. Forking and incomplete types, Mathematical Logic Quarterly, vol. 42, 1996, 421-432.
  13. On nonstructure of elementary submodels of an unsuperstable homogeneous structure, Mathematical Logic Quarterly, vol. 43, 1997, 134-142.
  14. A short introduction to classification theory, Graduate Text in Mathematics, vol. 2, Department of Mathematics, University of Helsinki, 1997, 1-36.
  15. Generalizing Morley's theorem, Mathematical Logic Quarterly, vol. 44, 1998, 176-184.
  16. On the number of elementary submodels of an unsuperstable homogeneous structure, (with Saharon Shelah), Mathematical Logic Quarterly, vol. 44, 1998, 354-358.
  17. On nonstructure of elementary submodels of a stable homogeneous structure, Fundamenta Matematicae, vol. 156, 1998, 167-182.
  18. Stability and general logics, Mathematical Logic Quarterly, vol. 45, 1999, 219-240.
  19. Constructing strongly equivalent nonisomorphic models for unsuperstable theories, part C, (with Saharon Shelah), The Journal of Symbolic Logic, vol. 64, 1999, 634-642.
  20. On $\kappa$-cub game and $I[\kappa^{+}]$, (with Taneli Huuskonen and Mika Rautila), Archive for Mathematical Logic, vol. 38, 1999, 549-557.
  21. On stability in finite models, Archive for Mathematical Logic, vol. 39, 2000, 89-102.
  22. Strong splitting in stable homogeneous models, (with Saharon Shelah), Annals of Pure and Applied Logic, vol. 103, 2000, 201-228.
  23. A remark on algebraic closure and orthogonality, Notre Dame Journal of Formal Logic, vol. 39, 2000, 527-530.
  24. Henkin quantifiers and the definability of truth, (with Gabriel Sandu), Journal of Philosophical Logic, vol. 29, 2000, 507-527.
  25. IF-logic and foundations of mathematics, (with Gabriel Sandu), Synthese, vol. 126, 2001, 37-47.
  26. Club-guessing and non-structure of trees, Fundamenta Mathematicae, vol. 168, 2001, 237-249.
  27. Main gap for locally saturated elementary submodels of a homogeneous structure, (with Saharon Shelah), The Journal of Symbolic Logic, vol. 66, 2001, 1286-1302.
  28. The canary tree revisited, (with Mika Rautila), The Journal of Symbolic Logic, vol. 66, 2001, 1677-1694.
  29. On definability of order in logic with choice, (with Taneli Huuskonen), Proceedings of the Sixteenth Annual IEEE Symposium on Logic in Computer Science 2001 (Boston, USA), IEEE Computer Society, Los Alamitos, 2001, 167-172.
  30. A remark on weakly compact cardinals, Mathematical Logic Quarterly, vol. 48, 2002, 397-402.
  31. More on the Ehrenfeucht-Fraïssé games of length $\omega_{1}$, (with Saharon Shelah and Jouko Väänänen), Fundamenta Mathematicae, vol. 175, 2002, 79-96.
  32. Canonical finite diagrams and quantifier elimination, Mathematical Logic Quarterly, vol. 48, 2002, 533-554.
  33. Forcing a Boolean algebra with predesigned automorphism group, (with Saharon Shelah), Proceedings of the American Mathematical Society, vol. 130, 2002, 2837-2844.
  34. Potential isomorphism and semi-proper trees, (with Alex Hellsten and Saharon Shelah), Fundamenta Mathematicae, vol. 175, 2002, 127-142.
  35. A rank for the class of elementary submodels of a superstable homogeneous model, (with Olivier Lessmann), The Journal of Symbolic Logic, vol. 67, 2002, 1469-1482.
  36. Groups acting on geometries, in: Y. Zhang (ed.), Logic and Algebra, Proceedings of Conferences on Logic and Algebra 2000-2001 (Istanbul, Turkey), Contemporary Mathematics, vol. 302, 2002, 221-233.
  37. Interpreting groups inside modular strongly minimal homogeneous models, Journal of Mathematical Logic, vol. 3, 2003, 127-142.
  38. Classification theory and $0^{\#}$, (with Sy D. Friedman and Mika Rautila), The Journal of Symbolic Logic, vol. 68, 2003, 580-588.
  39. On non-wellfounded sets as fixed points of substitution, (with Matti Pauna), Notre Dame Journal of Formal Logic, vol. 42, 2003, 23-40.
  40. Finiteness of U-rank implies simplicity in homogeneous structures, Mathematical Logic Quarterly, vol. 49, 2003, 576-578.
  41. Finitely generated substructures of a homogeneous structure, Mathematical Logic Quarterly, vol. 50, 2004, 77-98.
  42. Potential isomorphism and non-structure, (with Taneli Huuskonen and Mika Rautila), Archive for Mathematical Logic, vol. 43, 2004, 85-120.
  43. Cardinal invariants and eventually different functions, The Bulletin of the London Mathematical Society, to appear.
  44. Truth and definite truth, (with Gabriel Sandu), in: Z. Adamowitz et al. (ed.) Provinces of logic determined, Essays in the memory of Alfred Tarski, Annals of Pure and Applied Logic, vol. 126, 2004, 49-55.
  45. On local modularity in homogeneous structures, Proceedings of Logic Colloquium 2003, to appear.
  46. Random logarithm and homogeneity, in: Yi Zhang (ed.), Proceedings of Logic and its Applications in Algebra and Geometry, to appear.
  47. Types in abstract elementary classes, Notre Dame Journal of Formal Logic, vol. 45, 2004, 99-108.
  48. Model theory - what is that?, M. Abel (ed.), Proceedings of FinEst Math 2002, Mathematical Studies, vol. 2, Estonian Mathematical Society, 2004, 51-57.
  49. Deflatonism and arithmetical truth, (with Gabriel Sandu), Dialectica, vol. 58, 2004, 413-426.
  50. Interpreting groups and fields in some nonelementary classes, (with Olivier Lessmann and Saharon Shelah), submitted.
  51. Locally modular geometries in homogeneous structures, Mathematical Logic Quarterly, to appear.
  52. Simplicity and uncountable categoricity in excellent classes, (with Olivier Lessmann), Annals of Pure and Applied Logic, to appear.
  53. Decidability of IF modal logic of perfect recall, (with Tero Tulenheimo), Advances in Modal Logic, to appear.
  54. Uncountably categorical local tame abstract elementary classes with disjoint amalgamation, submitted.
  55. Remark on spectrums of formulas with Henkin quantifiers, submitted.
  56. Independence in local abstract elementary classes, submitted.
Publications since 1994 (JULKI publication database of the University of Helsinki).
Tapani Hyttinen / tapani . hyttinen at helsinki . fi