Tapani Hyttinen

Publication Activity (10 Years)

Years Active: 1990-2023
Publications (10 Years): 13

Top Topics

Rough Approximations

Eigenvalue Problems

Equivalence Relation

Top Venues

Arch. Math. Log.

Ann. Pure Appl. Log.

Notre Dame J. Formal Log.

Publications

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