Tapani Hyttinen

69 papers A* 1B 1Journal 66
YearRankTypeTitle / Venue / Authors
2026 J jnl
Strictly
J. Symb. Log.
Tapani Hyttinen, Miguel Martins, Tommaso Moraschini, Davide Emilio Quadrellaro
2023 J jnl
An AEC framework for fields with commuting automorphisms.
Arch. Math. Log.
Tapani Hyttinen, Kaisa Kangas
2021 J jnl
First-order model theory of free projective planes.
Ann. Pure Appl. Log.
Tapani Hyttinen, Gianluca Paolini
2019 J jnl
Coxeter Groups and Abstract Elementary Classes: The Right-Angled Case.
Notre Dame J. Formal Log.
Tapani Hyttinen, Gianluca Paolini
2019 J jnl
On eigenvectors, approximations and the Feynman propagator.
Ann. Pure Appl. Log.
Åsa Hirvonen, Tapani Hyttinen
2019 J jnl
Reducibility of Equivalence Relations Arising from Nonstationary Ideals under Large Cardinal Assumptions.
Notre Dame J. Formal Log.
David Asperó, Tapani Hyttinen, Vadim Kulikov, Miguel Moreno
2018 J jnl
Beyond abstract elementary classes: On the model theory of geometric lattices.
Ann. Pure Appl. Log.
Tapani Hyttinen, Gianluca Paolini
2018 J jnl
Categoricity and universal classes.
Math. Log. Q.
Tapani Hyttinen, Kaisa Kangas
2017 J jnl
A generalized Borel-reducibility counterpart of Shelah's main gap theorem.
Arch. Math. Log.
Tapani Hyttinen, Vadim Kulikov, Miguel Moreno
2017 J jnl
A logic for arguing about probabilities in measure teams.
Arch. Math. Log.
Tapani Hyttinen, Gianluca Paolini, Jouko Väänänen
2017 J jnl
Measuring Dependence in Metric Abstract Elementary Classes with perturbations.
J. Symb. Log.
Åsa Hirvonen, Tapani Hyttinen
2017 J jnl
On the reducibility of isomorphism relations.
Math. Log. Q.
Tapani Hyttinen, Miguel Moreno
2016 J jnl
Quasiminimal structures, groups and Zariski-like geometries.
Ann. Pure Appl. Log.
Tapani Hyttinen, Kaisa Kangas
2016 J jnl
Reduction of database independence to dividing in atomless Boolean algebras.
Arch. Math. Log.
Tapani Hyttinen, Gianluca Paolini
2015 — ch.
Counting Measure and Forking in Finite Models.
Logic Without Borders
Tapani Hyttinen
2015 J jnl
Forking in Finite Models.
Notre Dame J. Formal Log.
Tapani Hyttinen
2015 J jnl
On Compactness of Logics That Can Express Properties of Symmetry or Connectivity.
Stud Logica
Vera Koponen, Tapani Hyttinen
2015 J jnl
On Σ11-complete equivalence relations on the generalized Baire space.
Math. Log. Q.
Tapani Hyttinen, Vadim Kulikov
2015 J jnl
Quantum Team Logic and Bell's inequalities.
Rev. Symb. Log.
Tapani Hyttinen, Gianluca Paolini, Jouko Väänänen
2013 J jnl
On second-order characterizability.
Log. J. IGPL
Tapani Hyttinen, Kaisa Kangas, Jouko A. Väänänen
2013 J jnl
The Nonabsoluteness of Model Existence in Uncountable Cardinals for L
Notre Dame J. Formal Log.
Sy-David Friedman, Tapani Hyttinen, Martin Koerwien
2012 J jnl
Interpreting groups and fields in simple, finitary AECs.
Ann. Pure Appl. Log.
Tapani Hyttinen, Meeri Kesälä
2012 J jnl
On Borel equivalence relations in generalized Baire space.
Arch. Math. Log.
Sy-David Friedman, Tapani Hyttinen
2011 J jnl
Categoricity transfer in simple finitary abstract elementary classes.
J. Symb. Log.
Tapani Hyttinen, Meeri Kesälä
2011 J jnl
Lascar Types and Lascar Automorphisms in Abstract Elementary Classes.
Notre Dame J. Formal Log.
Tapani Hyttinen, Meeri Kesälä
2011 J jnl
Potential isomorphism of elementary substructures of a strictly stable homogeneous model.
J. Symb. Log.
Sy-David Friedman, Tapani Hyttinen, Agatha Walczak-Typke
2009 J jnl
Categoricity in homogeneous complete metric spaces.
Arch. Math. Log.
Åsa Hirvonen, Tapani Hyttinen
2008 J jnl
Canonical bases in excellent classes.
J. Symb. Log.
Tapani Hyttinen, Olivier Lessmann
2006 J jnl
Independence in finitary abstract elementary classes.
Ann. Pure Appl. Log.
Tapani Hyttinen, Meeri Kesälä
2006 J jnl
Simplicity and uncountable categoricity in excellent classes.
Ann. Pure Appl. Log.
Tapani Hyttinen, Olivier Lessmann
2006 J jnl
Uncountably categorical local tame abstract elementary classes with disjoint amalgamation.
Arch. Math. Log.
Tapani Hyttinen
2005 J jnl
Interpreting Groups and Fields in some Nonelementary Classes.
J. Math. Log.
Tapani Hyttinen, Olivier Lessmann, Saharon Shelah
2005 J jnl
Locally modular geometries in homogeneous structures.
Math. Log. Q.
Tapani Hyttinen
2004 B conf
Decidability of IF Modal Logic of Perfect Recall.
Advances in Modal Logic
Tapani Hyttinen, Tero Tulenheimo
2004 J jnl
Finitely generated submodels of an uncountably categorical homogeneous structure.
Math. Log. Q.
Tapani Hyttinen
2004 J jnl
On potential isomorphism and non-structure.
Arch. Math. Log.
Taneli Huuskonen, Tapani Hyttinen, Mika Rautila
2004 J jnl
Truth and definite truth.
Ann. Pure Appl. Log.
Tapani Hyttinen, Gabriel Sandu
2004 J jnl
Types in Abstract Elementary Classes.
Notre Dame J. Formal Log.
Tapani Hyttinen
2003 J jnl
Classification theory and 0
J. Symb. Log.
Sy D. Friedman, Tapani Hyttinen, Mika Rautila
2003 J jnl
Finiteness of U-rank implies simplicity in homogeneous structures.
Math. Log. Q.
Tapani Hyttinen
2003 J jnl
Interpreting Groups inside Modular strongly Minimal homogeneous Models.
J. Math. Log.
Tapani Hyttinen
2002 J jnl
A Rank for the Class of Elementary Submodels of A Superstable Homogeneous Model.
J. Symb. Log.
Tapani Hyttinen, Olivier Lessmann
2002 J jnl
A Remark on Weakly Compact Cardinals.
Math. Log. Q.
Tapani Hyttinen
2002 J jnl
Canonical Finite Diagrams and Quantifier Elimination.
Math. Log. Q.
Tapani Hyttinen
2001 J jnl
IF logic and the foundations of mathematics.
Synth.
Gabriel Sandu, Tapani Hyttinen
2001 J jnl
Main Gap for Locally Saturated Elementary Submodels of A Homogeneous Structure.
J. Symb. Log.
Tapani Hyttinen, Saharon Shelah
2001 A* conf
On Definability of Order in Logic with Choice.
LICS
Taneli Huuskonen, Tapani Hyttinen
2001 J jnl
On Non-wellfounded Sets as Fixed Points of Substitutions.
Notre Dame J. Formal Log.
Tapani Hyttinen, Matti J. Pauna
2001 J jnl
The Canary Tree Revisited.
J. Symb. Log.
Tapani Hyttinen, Mika Rautila
2000 J jnl
Henkin Quantifiers and the Definability of Truth.
J. Philos. Log.
Tapani Hyttinen, Gabriel Sandu
2000 J jnl
On stability in finite models.
Arch. Math. Log.
Tapani Hyttinen
2000 J jnl
Strong Splitting in Stable Homogeneous Models.
Ann. Pure Appl. Log.
Tapani Hyttinen, Saharon Shelah
1999 J jnl
Constructing Strongly Equivalent Nonisomorphic Models for Unsuperstable Theories, Part C.
J. Symb. Log.
Tapani Hyttinen, Saharon Shelah
1999 J jnl
On the k\kappa-cub game on l\lambda and
Arch. Math. Log.
Taneli Huuskonen, Tapani Hyttinen, Mika Rautila
1999 J jnl
Stability and General Logics.
Math. Log. Q.
Tapani Hyttinen
1998 J jnl
A Remark on Algebraic Closure and Orthogonality.
Notre Dame J. Formal Log.
Tapani Hyttinen
1998 J jnl
Generalizing Morley's Theorem.
Math. Log. Q.
Tapani Hyttinen
1998 J jnl
On the Number of Elementary Submodels of an Unsuperstable Homogeneous Structure.
Math. Log. Q.
Tapani Hyttinen, Saharon Shelah
1997 J jnl
On Nonstructure of Elementary Submodels of an Unsuperstable Homogeneous Structure.
Math. Log. Q.
Tapani Hyttinen
1996 J jnl
Forking and Incomplete Types.
Math. Log. Q.
Tapani Hyttinen
1995 J jnl
Constructing Strongly Equivalent Nonisomorphic Models for Unsuperstable Theories, Part B.
J. Symb. Log.
Tapani Hyttinen, Saharon Shelah
1995 J jnl
Remarks on Structure Theorems for ω
Notre Dame J. Formal Log.
Tapani Hyttinen
1994 J jnl
Constructing Strongly Equivalent Nonisomorphic Models for Unsuperstable Theories, Part A.
J. Symb. Log.
Tapani Hyttinen, Saharon Shelah
1993 J jnl
Remarks on Strong Nonstructure Theorems.
Notre Dame J. Formal Log.
Tapani Hyttinen, Saharon Shelah, Heikki Tuuri
1992 J jnl
On
Arch. Math. Log.
Tapani Hyttinen
1992 J jnl
On Non-Determined Ehrenfeucht-FRAïSSé Games and unstable Theories.
Math. Log. Q.
Tapani Hyttinen
1991 J jnl
Constructing Strongly Equivalent Nonisomorphic Models for Unstable Theories.
Ann. Pure Appl. Log.
Tapani Hyttinen, Heikki Tuuri
1991 J jnl
Preservation by Homomorphisms and Infinitary Languages.
Notre Dame J. Formal Log.
Tapani Hyttinen
1990 J jnl
On Scott and Karp Trees of Uncountable Models.
J. Symb. Log.
Tapani Hyttinen, Jouko A. Väänänen