Concepedia

Tapani Hyttinen

TH

Statistics

Publications

23

Citations

536

H-Index

15

Active since

1987

Affiliations

University of Helsinki(Current)

Helsinki Institute of Physics

Hebrew University of Jerusalem

Rutgers, The State University of New Jersey

University of Oxford

Tapani Hyttinen is an author at University of Helsinki specializing in automated reasoning, game theory, and engineering.

Top concepts

Automated ReasoningEngineeringGame TheoryGamesStatisticsLinguisticsFormal MethodsIntegral GeometryFunctional AnalysisRepresentation Theory

Publications per year

1987–2017

23

Publications

23

Constructing strongly equivalent nonisomorphic models for unstable theories

Tapani Hyttinen, Heikki Tuuri · Annals of Pure and Applied Logic · 1991 · 45 citations

Equivalent Nonisomorphic Models, Unified Field Theory, Finite Model Theory +1

Strong splitting in stable homogeneous models

Tapani Hyttinen, Saharon Shelah · Annals of Pure and Applied Logic · 2000 · 43 citations

Integrable Probability, Strong Splitting, Geometric Singular Perturbation Theory +1

Independence in finitary abstract elementary classes

Tapani Hyttinen, Meeri Kesälä · Annals of Pure and Applied Logic · 2006 · 42 citations

Automated Reasoning, Foundation Of Mathematics, Model Theory +1

On Scott and Karp trees of uncountable models

Tapani Hyttinen, Jouko Väänánen · Journal of Symbolic Logic · 1990 · 36 citations

Order Theory, Tree Language, Karp Trees +8

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

Tapani Hyttinen, Olivier Lessmann · Journal of Symbolic Logic · 2002 · 34 citations

Superstable Homogeneous Models, Superstable Homogeneous Model, Dependence Relation +5

1–5 of 23