On Scott and Karp Trees of Uncountable Models. - Tapani Hyttinen; Jouko A. Väänänen (J. Symb. Log., 1990)

Constructing Strongly Equivalent Nonisomorphic Models for Unstable Theories. - Tapani Hyttinen; Heikki Tuuri (Ann. Pure Appl. Log., 1991)

Preservation by Homomorphisms and Infinitary Languages. - Tapani Hyttinen (Notre Dame J. Formal Log., 1991)

Onκ-complete reduced products. - Tapani Hyttinen (Arch. Math. Log., 1992)

On Non-Determined Ehrenfeucht-FRAïSSé Games and unstable Theories. - Tapani Hyttinen (Math. Log. Q., 1992)

Remarks on Strong Nonstructure Theorems. - Tapani Hyttinen; Saharon Shelah; Heikki Tuuri (Notre Dame J. Formal Log., 1993)

Constructing Strongly Equivalent Nonisomorphic Models for Unsuperstable Theories, Part A. - Tapani Hyttinen; Saharon Shelah (J. Symb. Log., 1994)

Constructing Strongly Equivalent Nonisomorphic Models for Unsuperstable Theories, Part B. - Tapani Hyttinen; Saharon Shelah (J. Symb. Log., 1995)

Remarks on Structure Theorems for ω1-Saturated Models. - Tapani Hyttinen (Notre Dame J. Formal Log., 1995)

Forking and Incomplete Types. - Tapani Hyttinen (Math. Log. Q., 1996)

On Nonstructure of Elementary Submodels of an Unsuperstable Homogeneous Structure. - Tapani Hyttinen (Math. Log. Q., 1997)

Generalizing Morley's Theorem. - Tapani Hyttinen (Math. Log. Q., 1998)

On the Number of Elementary Submodels of an Unsuperstable Homogeneous Structure. - Tapani Hyttinen; Saharon Shelah (Math. Log. Q., 1998)

A Remark on Algebraic Closure and Orthogonality. - Tapani Hyttinen (Notre Dame J. Formal Log., 1998)

On the k kappa-cub game on l lambda and I[l]I[ lambda ]. - Taneli Huuskonen; Tapani Hyttinen; Mika Rautila (Arch. Math. Log., 1999)

Constructing Strongly Equivalent Nonisomorphic Models for Unsuperstable Theories, Part C. - Tapani Hyttinen; Saharon Shelah (J. Symb. Log., 1999)

Stability and General Logics. - Tapani Hyttinen (Math. Log. Q., 1999)

On stability in finite models. - Tapani Hyttinen (Arch. Math. Log., 2000)

Strong Splitting in Stable Homogeneous Models. - Tapani Hyttinen; Saharon Shelah (Ann. Pure Appl. Log., 2000)

Henkin Quantifiers and the Definability of Truth. - Tapani Hyttinen; Gabriel Sandu (J. Philos. Log., 2000)

On Definability of Order in Logic with Choice. - Taneli Huuskonen; Tapani Hyttinen (LICS, 2001)

The Canary Tree Revisited. - Tapani Hyttinen; Mika Rautila (J. Symb. Log., 2001)

Main Gap for Locally Saturated Elementary Submodels of A Homogeneous Structure. - Tapani Hyttinen; Saharon Shelah (J. Symb. Log., 2001)

On Non-wellfounded Sets as Fixed Points of Substitutions. - Tapani Hyttinen; Matti J. Pauna (Notre Dame J. Formal Log., 2001)

IF logic and the foundations of mathematics. - Gabriel Sandu; Tapani Hyttinen (Synth., 2001)

A Rank for the Class of Elementary Submodels of A Superstable Homogeneous Model. - Tapani Hyttinen; Olivier Lessmann (J. Symb. Log., 2002)

A Remark on Weakly Compact Cardinals. - Tapani Hyttinen (Math. Log. Q., 2002)

Canonical Finite Diagrams and Quantifier Elimination. - Tapani Hyttinen (Math. Log. Q., 2002)

Interpreting Groups inside Modular strongly Minimal homogeneous Models. - Tapani Hyttinen (J. Math. Log., 2003)

Classification theory and 0#. - Sy D. Friedman; Tapani Hyttinen; Mika Rautila (J. Symb. Log., 2003)

Finiteness of U-rank implies simplicity in homogeneous structures. - Tapani Hyttinen (Math. Log. Q., 2003)

Decidability of IF Modal Logic of Perfect Recall. - Tapani Hyttinen; Tero Tulenheimo (Advances in Modal Logic, 2004)

On potential isomorphism and non-structure. - Taneli Huuskonen; Tapani Hyttinen; Mika Rautila (Arch. Math. Log., 2004)

Truth and definite truth. - Tapani Hyttinen; Gabriel Sandu (Ann. Pure Appl. Log., 2004)

Finitely generated submodels of an uncountably categorical homogeneous structure. - Tapani Hyttinen (Math. Log. Q., 2004)

Types in Abstract Elementary Classes. - Tapani Hyttinen (Notre Dame J. Formal Log., 2004)

Interpreting Groups and Fields in some Nonelementary Classes. - Tapani Hyttinen; Olivier Lessmann; Saharon Shelah (J. Math. Log., 2005)

Locally modular geometries in homogeneous structures. - Tapani Hyttinen (Math. Log. Q., 2005)

Uncountably categorical local tame abstract elementary classes with disjoint amalgamation. - Tapani Hyttinen (Arch. Math. Log., 2006)

Independence in finitary abstract elementary classes. - Tapani Hyttinen; Meeri Kesälä (Ann. Pure Appl. Log., 2006)

Simplicity and uncountable categoricity in excellent classes. - Tapani Hyttinen; Olivier Lessmann (Ann. Pure Appl. Log., 2006)

Canonical bases in excellent classes. - Tapani Hyttinen; Olivier Lessmann (J. Symb. Log., 2008)

Categoricity in homogeneous complete metric spaces. - Åsa Hirvonen; Tapani Hyttinen (Arch. Math. Log., 2009)

Potential isomorphism of elementary substructures of a strictly stable homogeneous model. - Sy-David Friedman; Tapani Hyttinen; Agatha Walczak-Typke (J. Symb. Log., 2011)

Categoricity transfer in simple finitary abstract elementary classes. - Tapani Hyttinen; Meeri Kesälä (J. Symb. Log., 2011)

Lascar Types and Lascar Automorphisms in Abstract Elementary Classes. - Tapani Hyttinen; Meeri Kesälä (Notre Dame J. Formal Log., 2011)

On Borel equivalence relations in generalized Baire space. - Sy-David Friedman; Tapani Hyttinen (Arch. Math. Log., 2012)

Interpreting groups and fields in simple, finitary AECs. - Tapani Hyttinen; Meeri Kesälä (Ann. Pure Appl. Log., 2012)

On second-order characterizability. - Tapani Hyttinen; Kaisa Kangas; Jouko A. Väänänen (Log. J. IGPL, 2013)

The Nonabsoluteness of Model Existence in Uncountable Cardinals for Lω1,ω. - Sy-David Friedman; Tapani Hyttinen; Martin Koerwien (Notre Dame J. Formal Log., 2013)

Counting Measure and Forking in Finite Models. - Tapani Hyttinen (Logic Without Borders, 2015)

On Σ11-complete equivalence relations on the generalized Baire space. - Tapani Hyttinen; Vadim Kulikov (Math. Log. Q., 2015)

Forking in Finite Models. - Tapani Hyttinen (Notre Dame J. Formal Log., 2015)

Quantum Team Logic and Bell's inequalities. - Tapani Hyttinen; Gianluca Paolini; Jouko Väänänen (Rev. Symb. Log., 2015)

On Compactness of Logics That Can Express Properties of Symmetry or Connectivity. - Vera Koponen; Tapani Hyttinen (Stud Logica, 2015)

Reduction of database independence to dividing in atomless Boolean algebras. - Tapani Hyttinen; Gianluca Paolini (Arch. Math. Log., 2016)

Quasiminimal structures, groups and Zariski-like geometries. - Tapani Hyttinen; Kaisa Kangas (Ann. Pure Appl. Log., 2016)

A generalized Borel-reducibility counterpart of Shelah's main gap theorem. - Tapani Hyttinen; Vadim Kulikov; Miguel Moreno (Arch. Math. Log., 2017)

A logic for arguing about probabilities in measure teams. - Tapani Hyttinen; Gianluca Paolini; Jouko Väänänen (Arch. Math. Log., 2017)

Measuring Dependence in Metric Abstract Elementary Classes with perturbations. - Åsa Hirvonen; Tapani Hyttinen (J. Symb. Log., 2017)

On the reducibility of isomorphism relations. - Tapani Hyttinen; Miguel Moreno (Math. Log. Q., 2017)

Beyond abstract elementary classes: On the model theory of geometric lattices. - Tapani Hyttinen; Gianluca Paolini (Ann. Pure Appl. Log., 2018)

Categoricity and universal classes. - Tapani Hyttinen; Kaisa Kangas (Math. Log. Q., 2018)

On eigenvectors, approximations and the Feynman propagator. - Åsa Hirvonen; Tapani Hyttinen (Ann. Pure Appl. Log., 2019)

Reducibility of Equivalence Relations Arising from Nonstationary Ideals under Large Cardinal Assumptions. - David Asperó; Tapani Hyttinen; Vadim Kulikov; Miguel Moreno (Notre Dame J. Formal Log., 2019)

Coxeter Groups and Abstract Elementary Classes: The Right-Angled Case. - Tapani Hyttinen; Gianluca Paolini (Notre Dame J. Formal Log., 2019)

First-order model theory of free projective planes. - Tapani Hyttinen; Gianluca Paolini (Ann. Pure Appl. Log., 2021)

An AEC framework for fields with commuting automorphisms. - Tapani Hyttinen; Kaisa Kangas (Arch. Math. Log., 2023)