Tapani Hyttinen

According to our database, Tapani Hyttinen authored at least 68 papers between 1990 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of two.

2023

An AEC framework for fields with commuting automorphisms.

Tapani Hyttinen, Kaisa Kangas

Arch. Math. Log., November, 2023

2021

First-order model theory of free projective planes.

Tapani Hyttinen, Gianluca Paolini

Ann. Pure Appl. Log., 2021

2019

Coxeter Groups and Abstract Elementary Classes: The Right-Angled Case.

Tapani Hyttinen, Gianluca Paolini

Notre Dame J. Formal 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

On eigenvectors, approximations and the Feynman propagator.

Åsa Hirvonen, Tapani Hyttinen

Ann. Pure Appl. Log., 2019

2018

Categoricity and universal classes.

Tapani Hyttinen, Kaisa Kangas

Math. Log. Q., 2018

Beyond abstract elementary classes: On the model theory of geometric lattices.

Tapani Hyttinen, Gianluca Paolini

Ann. Pure Appl. Log., 2018

2017

On the reducibility of isomorphism relations.

Tapani Hyttinen, Miguel Moreno

Math. Log. Q., 2017

Measuring Dependence in Metric Abstract Elementary Classes with perturbations.

Åsa Hirvonen, Tapani Hyttinen

J. Symb. Log., 2017

A logic for arguing about probabilities in measure teams.

Tapani Hyttinen, Gianluca Paolini, Jouko Väänänen

Arch. Math. Log., 2017

A generalized Borel-reducibility counterpart of Shelah's main gap theorem.

Tapani Hyttinen, Vadim Kulikov, Miguel Moreno

Arch. Math. Log., 2017

2016

Quasiminimal structures, groups and Zariski-like geometries.

Tapani Hyttinen, Kaisa Kangas

Ann. Pure Appl. Log., 2016

Reduction of database independence to dividing in atomless Boolean algebras.

Tapani Hyttinen, Gianluca Paolini

Arch. Math. Log., 2016

2015

On Compactness of Logics That Can Express Properties of Symmetry or Connectivity.

Vera Koponen, Tapani Hyttinen

Stud Logica, 2015

Quantum Team Logic and Bell's inequalities.

Tapani Hyttinen, Gianluca Paolini, Jouko Väänänen

Rev. Symb. Log., 2015

Forking in Finite Models.

Tapani Hyttinen

Notre Dame J. Formal Log., 2015

On Σ11-complete equivalence relations on the generalized Baire space.

Tapani Hyttinen, Vadim Kulikov

Math. Log. Q., 2015

Counting Measure and Forking in Finite Models.

Tapani Hyttinen

Proceedings of the Logic Without Borders, 2015

2013

The Nonabsoluteness of Model Existence in Uncountable Cardinals for L_ω₁,ω.

Sy-David Friedman, Tapani Hyttinen, Martin Koerwien

Notre Dame J. Formal Log., 2013

On second-order characterizability.

Tapani Hyttinen, Kaisa Kangas, Jouko A. Väänänen

Log. J. IGPL, 2013

2012

Interpreting groups and fields in simple, finitary AECs.

Tapani Hyttinen, Meeri Kesälä

Ann. Pure Appl. Log., 2012

On Borel equivalence relations in generalized Baire space.

Sy-David Friedman, Tapani Hyttinen

Arch. Math. Log., 2012

2011

Lascar Types and Lascar Automorphisms in Abstract Elementary Classes.

Tapani Hyttinen, Meeri Kesälä

Notre Dame J. Formal Log., 2011

Categoricity transfer in simple finitary abstract elementary classes.

Tapani Hyttinen, Meeri Kesälä

J. Symb. Log., 2011

Potential isomorphism of elementary substructures of a strictly stable homogeneous model.

Sy-David Friedman, Tapani Hyttinen, Agatha Walczak-Typke

J. Symb. Log., 2011

2009

Categoricity in homogeneous complete metric spaces.

Åsa Hirvonen, Tapani Hyttinen

Arch. Math. Log., 2009

2008

Canonical bases in excellent classes.

Tapani Hyttinen, Olivier Lessmann

J. Symb. Log., 2008

2006

Simplicity and uncountable categoricity in excellent classes.

Tapani Hyttinen, Olivier Lessmann

Ann. Pure Appl. Log., 2006

Independence in finitary abstract elementary classes.

Tapani Hyttinen, Meeri Kesälä

Ann. Pure Appl. Log., 2006

Uncountably categorical local tame abstract elementary classes with disjoint amalgamation.

Tapani Hyttinen

Arch. Math. Log., 2006

2005

Locally modular geometries in homogeneous structures.

Tapani Hyttinen

Math. Log. Q., 2005

Interpreting Groups and Fields in some Nonelementary Classes.

Tapani Hyttinen, Olivier Lessmann, Saharon Shelah

J. Math. Log., 2005

2004

Types in Abstract Elementary Classes.

Tapani Hyttinen

Notre Dame J. Formal Log., 2004

Finitely generated submodels of an uncountably categorical homogeneous structure.

Tapani Hyttinen

Math. Log. Q., 2004

Truth and definite truth.

Tapani Hyttinen, Gabriel Sandu

Ann. Pure Appl. Log., 2004

On potential isomorphism and non-structure.

Taneli Huuskonen, Tapani Hyttinen, Mika Rautila

Arch. Math. Log., 2004

Decidability of IF Modal Logic of Perfect Recall.

Tapani Hyttinen, Tero Tulenheimo

Proceedings of the Advances in Modal Logic 5, 2004

2003

Finiteness of U-rank implies simplicity in homogeneous structures.

Tapani Hyttinen

Math. Log. Q., 2003

Classification theory and 0^#.

Sy D. Friedman, Tapani Hyttinen, Mika Rautila

J. Symb. Log., 2003

Interpreting Groups inside Modular strongly Minimal homogeneous Models.

Tapani Hyttinen

J. Math. Log., 2003

2002

Canonical Finite Diagrams and Quantifier Elimination.

Tapani Hyttinen

Math. Log. Q., 2002

A Remark on Weakly Compact Cardinals.

Tapani Hyttinen

Math. Log. Q., 2002

A Rank for the Class of Elementary Submodels of A Superstable Homogeneous Model.

Tapani Hyttinen, Olivier Lessmann

J. Symb. Log., 2002

2001

IF logic and the foundations of mathematics.

Gabriel Sandu, Tapani Hyttinen

Synth., 2001

On Non-wellfounded Sets as Fixed Points of Substitutions.

Tapani Hyttinen, Matti J. Pauna

Notre Dame J. Formal Log., 2001

Main Gap for Locally Saturated Elementary Submodels of A Homogeneous Structure.

Tapani Hyttinen, Saharon Shelah

J. Symb. Log., 2001

The Canary Tree Revisited.

Tapani Hyttinen, Mika Rautila

J. Symb. Log., 2001

On Definability of Order in Logic with Choice.

Taneli Huuskonen, Tapani Hyttinen

Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 2001

2000

Henkin Quantifiers and the Definability of Truth.

Tapani Hyttinen, Gabriel Sandu

J. Philos. Log., 2000

Strong Splitting in Stable Homogeneous Models.

Tapani Hyttinen, Saharon Shelah

Ann. Pure Appl. Log., 2000

On stability in finite models.

Tapani Hyttinen

Arch. Math. Log., 2000

1999

Stability and General Logics.

Tapani Hyttinen

Math. Log. Q., 1999

Constructing Strongly Equivalent Nonisomorphic Models for Unsuperstable Theories, Part C.

Tapani Hyttinen, Saharon Shelah

J. Symb. Log., 1999

On the k\kappa-cub game on l\lambda and <i>I</i>[l]I[\lambda ].

Taneli Huuskonen, Tapani Hyttinen, Mika Rautila

Arch. Math. Log., 1999

1998

A Remark on Algebraic Closure and Orthogonality.

Tapani Hyttinen

Notre Dame J. Formal Log., 1998

On the Number of Elementary Submodels of an Unsuperstable Homogeneous Structure.

Tapani Hyttinen, Saharon Shelah

Math. Log. Q., 1998

Generalizing Morley's Theorem.

Tapani Hyttinen

Math. Log. Q., 1998

1997

On Nonstructure of Elementary Submodels of an Unsuperstable Homogeneous Structure.

Tapani Hyttinen

Math. Log. Q., 1997

1996

Forking and Incomplete Types.

Tapani Hyttinen

Math. Log. Q., 1996

1995

Remarks on Structure Theorems for ω₁-Saturated Models.

Tapani Hyttinen

Notre Dame J. Formal Log., 1995

Constructing Strongly Equivalent Nonisomorphic Models for Unsuperstable Theories, Part B.

Tapani Hyttinen, Saharon Shelah

J. Symb. Log., 1995

1994

Constructing Strongly Equivalent Nonisomorphic Models for Unsuperstable Theories, Part A.

Tapani Hyttinen, Saharon Shelah

J. Symb. Log., 1994

1993

Remarks on Strong Nonstructure Theorems.

Tapani Hyttinen, Saharon Shelah, Heikki Tuuri

Notre Dame J. Formal Log., 1993

1992

On Non-Determined Ehrenfeucht-FRAïSSé Games and unstable Theories.

Tapani Hyttinen

Math. Log. Q., 1992

On<i>κ</i>-complete reduced products.

Tapani Hyttinen

Arch. Math. Log., 1992

1991

Preservation by Homomorphisms and Infinitary Languages.

Tapani Hyttinen

Notre Dame J. Formal Log., 1991

Constructing Strongly Equivalent Nonisomorphic Models for Unstable Theories.

Tapani Hyttinen, Heikki Tuuri

Ann. Pure Appl. Log., 1991

1990

On Scott and Karp Trees of Uncountable Models.

Tapani Hyttinen, Jouko A. Väänänen

J. Symb. Log., 1990