Tapani Hyttinen

发表

A logic for arguing about probabilities in measure teams

Gianluca Paolini, Tapani Hyttinen, Jouko Väänänen, 2017, Arch. Math. Log..

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

Tapani Hyttinen, Vera Koponen, 2015, Stud Logica.

Counting Measure and Forking in Finite Models

Tapani Hyttinen, 2015, Logic Without Borders.

The canary tree revisited

Tapani Hyttinen, Mika Rautila, Mika Rautila, 2001, Journal of Symbolic Logic.

Finitely generated submodels of an uncountably categorical homogeneous structure

Tapani Hyttinen, 2004, Math. Log. Q..

Simplicity and uncountable categoricity in excellent classes

Tapani Hyttinen, Olivier Lessmann, 2006, Ann. Pure Appl. Log..

Independence in finitary abstract elementary classes

Tapani Hyttinen, Meeri Kesälä, 2006, Ann. Pure Appl. Log..

On the $\kappa$-cub game on $\lambda $ and $I[\lambda ]$

Tapani Hyttinen, Mika Rautila, Taneli Huuskonen, 1999, Arch. Math. Log..

The Nonabsoluteness of Model Existence in Uncountable Cardinals for Lω1,ω

Sy-David Friedman, Tapani Hyttinen, Martin Koerwien, 2013, Notre Dame J. Formal Log..

Categoricity in homogeneous complete metric spaces

Tapani Hyttinen, Åsa Hirvonen, 2009, Arch. Math. Log..

Interpreting Groups and Fields in some Nonelementary Classes

Saharon Shelah, Tapani Hyttinen, Olivier Lessmann, 2005, J. Math. Log..

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

Tapani Hyttinen, Vadim Kulikov, 2015, Math. Log. Q..

Preservation by Homomorphisms and Infinitary Languages

Tapani Hyttinen, 1991, Notre Dame J. Formal Log..

IF logic and the foundations of mathematics

Tapani Hyttinen, Gabriel Sandu, G. Sandu, 2004, Synthese.

On the reducibility of isomorphism relations

Tapani Hyttinen, Miguel Moreno, 2017, Math. Log. Q..

Canonical Finite Diagrams and Quantifier Elimination

Tapani Hyttinen, 2002, Math. Log. Q..

Generalizing Morley's Theorem

Tapani Hyttinen, 1998, Math. Log. Q..

On stability in finite models

Tapani Hyttinen, 2000, Arch. Math. Log..

Locally modular geometries in homogeneous structures

Tapani Hyttinen, 2005, Math. Log. Q..

Truth and definite truth

Tapani Hyttinen, Gabriel Sandu, G. Sandu, 2004, Ann. Pure Appl. Log..

Measuring Dependence in Metric Abstract Elementary Classes with perturbations

Tapani Hyttinen, Åsa Hirvonen, 2017, J. Symb. Log..

On Non-wellfounded Sets as Fixed Points of Substitutions

Tapani Hyttinen, Matti Pauna, 2001, Notre Dame J. Formal Log..

On Nonstructure of Elementary Submodels of an Unsuperstable Homogeneous Structure

Tapani Hyttinen, 1997, Math. Log. Q..

Potential isomorphism of elementary substructures of a strictly stable homogeneous model

Sy-David Friedman, Tapani Hyttinen, Agatha Walczak-Typke, 2011, J. Symb. Log..

Decidability of IF Modal Logic of Perfect Recall

Tapani Hyttinen, Tero Tulenheimo, 2004, Advances in Modal Logic.

Constructing Strongly Equivalent Nonisomorphic Models for Unsuperstable Theories, Part B

Saharon Shelah, Tapani Hyttinen, 1995, J. Symb. Log..

Lascar Types and Lascar Automorphisms in Abstract Elementary Classes

Tapani Hyttinen, Meeri Kesälä, 2011, Notre Dame J. Formal Log..

A Remark on Weakly Compact Cardinals

Tapani Hyttinen, 2002, Math. Log. Q..

Main Gap for Locally Saturated Elementary Submodels of A Homogeneous Structure

Saharon Shelah, Tapani Hyttinen, 2001, J. Symb. Log..

Henkin Quantifiers and the Definability of Truth

Tapani Hyttinen, Gabriel Sandu, G. Sandu, 2000, J. Philos. Log..

Stability and General Logics

Tapani Hyttinen, 1999, Math. Log. Q..

Types in Abstract Elementary Classes

Tapani Hyttinen, 2004, Notre Dame J. Formal Log..

On potential isomorphism and non-structure

Tapani Hyttinen, Mika Rautila, Taneli Huuskonen, 2004, Arch. Math. Log..

Quasiminimal structures, groups and Zariski-like geometries

Tapani Hyttinen, Kaisa Kangas, 2016, Ann. Pure Appl. Log..

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

Tapani Hyttinen, Miguel Moreno, Vadim Kulikov, 2017, Arch. Math. Log..

Finiteness of U-rank implies simplicity in homogeneous structures

Tapani Hyttinen, 2003, Math. Log. Q..

On local modularity in homogeneous structures

Tapani Hyttinen, Jouko Väänänen, Viggo Stoltenberg-Hansen, 2016 .

On eigenvectors, approximations and the Feynman propagator

Tapani Hyttinen, Åsa Hirvonen, Åsa Hirvonen, 2014, Ann. Pure Appl. Log..

Remarks on Structure Theorems for ω1-Saturated Models

Tapani Hyttinen, 1995, Notre Dame J. Formal Log..

Forking and Incomplete Types

Tapani Hyttinen, 1996, Math. Log. Q..

On second-order characterizability

Tapani Hyttinen, Jouko A. Väänänen, Kaisa Kangas, 2013, Log. J. IGPL.

Remarks on Strong Nonstructure Theorems

Saharon Shelah, Tapani Hyttinen, Heikki Tuuri, 1993, Notre Dame J. Formal Log..

Classification theory and 0#

Sy-David Friedman, Tapani Hyttinen, Mika Rautila, 2003, J. Symb. Log..

Strong Splitting in Stable Homogeneous Models

Saharon Shelah, Tapani Hyttinen, 2000, Ann. Pure Appl. Log..

Reducibility of Equivalence Relations Arising from Nonstationary Ideals under Large Cardinal Assumptions

David Asperó, Tapani Hyttinen, Vadim Kulikov, 2019, Notre Dame J. Formal Log..

On Borel equivalence relations in generalized Baire space

Sy-David Friedman, Tapani Hyttinen, S. Friedman, 2012, Archive for Mathematical Logic.

Interpreting groups and fields in simple, finitary AECs

Tapani Hyttinen, Meeri Kesälä, 2012, Ann. Pure Appl. Log..

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

Gianluca Paolini, Tapani Hyttinen, T. Hyttinen, 2015, Ann. Pure Appl. Log..

Categoricity transfer in simple finitary abstract elementary classes

Tapani Hyttinen, Meeri Kesälä, 2011, J. Symb. Log..

First-order model theory of free projective planes

Gianluca Paolini, Tapani Hyttinen, 2021, Ann. Pure Appl. Log..

On Scott and Karp Trees of Uncountable Models

Tapani Hyttinen, Jouko A. Väänänen, 1990, J. Symb. Log..

Categoricity and universal classes

Tapani Hyttinen, Kaisa Kangas, Kaisa Kangas, 2017, Math. Log. Q..

Interpreting Groups inside Modular strongly Minimal homogeneous Models

Tapani Hyttinen, 2003, J. Math. Log..

A rank for the class of elementary submodels of a superstable homogeneous model

Tapani Hyttinen, Olivier Lessmann, O. Lessmann, 2002, Journal of Symbolic Logic.

Uncountably categorical local tame abstract elementary classes with disjoint amalgamation

Tapani Hyttinen, 2006, Arch. Math. Log..

On the Number of Elementary Submodels of an Unsuperstable Homogeneous Structure

Saharon Shelah, Tapani Hyttinen, 1998, Math. Log. Q..

Constructing Strongly Equivalent Nonisomorphic Models for Unstable Theories

Tapani Hyttinen, Heikki Tuuri, Tapani Hyttinen, 1991, Ann. Pure Appl. Log..

Forking in Finite Models

Tapani Hyttinen, 2015, Notre Dame J. Formal Log..

A Remark on Algebraic Closure and Orthogonality

Tapani Hyttinen, 1998, Notre Dame J. Formal Log..

Canonical bases in excellent classes

Tapani Hyttinen, Olivier Lessmann, 2008, J. Symb. Log..

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

Tapani Hyttinen, 1992, Math. Log. Q..

QUANTUM TEAM LOGIC AND BELL’S INEQUALITIES

Gianluca Paolini, Tapani Hyttinen, Jouko A. Väänänen, 2014, The Review of Symbolic Logic.

Games and infinitary languages

Tapani Hyttinen, 2020 .

On definability of order in logic with choice

Tapani Hyttinen, Taneli Huuskonen, 2001, Proceedings 16th Annual IEEE Symposium on Logic in Computer Science.

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

Gianluca Paolini, Tapani Hyttinen, G. Paolini, 2016, Notre Dame J. Formal Log..

Onκ-complete reduced products

Tapani Hyttinen, 1992, Arch. Math. Log..

Reduction of database independence to dividing in atomless Boolean algebras

Gianluca Paolini, Tapani Hyttinen, G. Paolini, 2014, Archive for Mathematical Logic.

On nonstructure of elementary submodels of a stable homogeneous structure

Tapani Hyttinen, T. Hyttinen, 1998 .

Borel* Sets in the Generalised Baire Space

Tapani Hyttinen, Vadim Kulikov, 2012 .

Quasiminimal structures and excellence

Tapani Hyttinen, Bradd Hart, Jonathan Kirby, 2014 .

Reduction of Embedded Multivalued Dependence to Dividing in Atomless Boolean Algebras

Gianluca Paolini, Tapani Hyttinen, 2014 .

ON MODEL THEORY OF COVERS OF ALGEBRAICALLY CLOSED FIELDS

Tapani Hyttinen, Kaisa Kangas, 2015 .

Model theory for infinite quantifier languages

Tapani Hyttinen, 1990 .

A Borel-reducibility Counterpart of Shelah's Main Gap Theorem

Tapani Hyttinen, Vadim Kulikov, Miguel Moreno, 2016 .

Generalized Descriptive Set Theory and Classification Theory

Sy-David Friedman, Tapani Hyttinen, Vadim Kulikov, 2012, 1207.4311.

On Borel Reducibility in Generalised Baire Space

Sy-David Friedman, Tapani Hyttinen, Vadim Kulikov, 2014 .

HILBERT SPACES WITH GENERIC PREDICATES

Tapani Hyttinen, Alexander Berenstein, Andr'es Villaveces, 2007 .