Search results for "Tapani Hyttinen"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Sy-David Friedman, Tapani Hyttinen	On Borel equivalence relations in generalized Baire space.	Arch. Math. Log.	2012	DBLP DOI BibTeX RDF
1	Tapani Hyttinen, Meeri Kesälä	Lascar Types and Lascar Automorphisms in Abstract Elementary Classes.	Notre Dame Journal of Formal Logic	2011	DBLP BibTeX RDF
1	Tapani Hyttinen, Meeri Kesälä	Categoricity transfer in simple finitary abstract elementary classes.	J. Symb. Log.	2011	DBLP BibTeX RDF
1	Sy-David Friedman, Tapani Hyttinen, Agatha Walczak-Typke	Potential isomorphism of elementary substructures of a strictly stable homogeneous model.	J. Symb. Log.	2011	DBLP BibTeX RDF
1	Åsa Hirvonen, Tapani Hyttinen	Categoricity in homogeneous complete metric spaces.	Arch. Math. Log.	2009	DBLP DOI BibTeX RDF
1	Tapani Hyttinen, Olivier Lessmann	Canonical bases in excellent classes.	J. Symb. Log.	2008	DBLP BibTeX RDF
1	Tapani Hyttinen, Meeri Kesälä	Independence in finitary abstract elementary classes.	Ann. Pure Appl. Logic	2006	DBLP DOI BibTeX RDF
1	Tapani Hyttinen, Olivier Lessmann	Simplicity and uncountable categoricity in excellent classes.	Ann. Pure Appl. Logic	2006	DBLP DOI BibTeX RDF
1	Tapani Hyttinen	Uncountably categorical local tame abstract elementary classes with disjoint amalgamation.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF	Abstract elementary classes, Structure theorem, Categoricity
1	Tapani Hyttinen	Locally modular geometries in homogeneous structures.	Math. Log. Q.	2005	DBLP DOI BibTeX RDF
1	Tapani Hyttinen	Finitely generated submodels of an uncountably categorical homogeneous structure.	Math. Log. Q.	2004	DBLP DOI BibTeX RDF
1	Tapani Hyttinen	Types in Abstract Elementary Classes.	Notre Dame Journal of Formal Logic	2004	DBLP BibTeX RDF
1	Tapani Hyttinen, Gabriel Sandu	Truth and definite truth.	Ann. Pure Appl. Logic	2004	DBLP DOI BibTeX RDF
1	Taneli Huuskonen, Tapani Hyttinen, Mika Rautila	On potential isomorphism and non-structure.	Arch. Math. Log.	2004	DBLP DOI BibTeX RDF	Potential isomorphism - Ehrenfeucht-Fraïssé game
1	Tapani Hyttinen, Tero Tulenheimo	Decidability of IF Modal Logic of Perfect Recall.	Advances in Modal Logic	2004	DBLP BibTeX RDF
1	Tapani Hyttinen	Finiteness of U-rank implies simplicity in homogeneous structures.	Math. Log. Q.	2003	DBLP DOI BibTeX RDF
1	Sy D. Friedman, Tapani Hyttinen, Mika Rautila	Classification theory and 0#.	J. Symb. Log.	2003	DBLP BibTeX RDF
1	Tapani Hyttinen	A Remark on Weakly Compact Cardinals.	Math. Log. Q.	2002	DBLP DOI BibTeX RDF
1	Tapani Hyttinen	Canonical Finite Diagrams and Quantifier Elimination.	Math. Log. Q.	2002	DBLP DOI BibTeX RDF
1	Tapani Hyttinen, Olivier Lessmann	A Rank for the Class of Elementary Submodels of A Superstable Homogeneous Model.	J. Symb. Log.	2002	DBLP BibTeX RDF
1	Tapani Hyttinen, Matti Pauna	On Non-wellfounded Sets as Fixed Points of Substitutions.	Notre Dame Journal of Formal Logic	2001	DBLP BibTeX RDF
1	Tapani Hyttinen, Saharon Shelah	Main Gap for Locally Saturated Elementary Submodels of A Homogeneous Structure.	J. Symb. Log.	2001	DBLP BibTeX RDF
1	Tapani Hyttinen, Mika Rautila	The Canary Tree Revisited.	J. Symb. Log.	2001	DBLP BibTeX RDF
1	Taneli Huuskonen, Tapani Hyttinen	On Definability of Order in Logic with Choice.	LICS	2001	DBLP DOI BibTeX RDF
1	Tapani Hyttinen, Gabriel Sandu	Henkin Quantifiers and the Definability of Truth.	J. Philosophical Logic	2000	DBLP DOI BibTeX RDF
1	Tapani Hyttinen, Saharon Shelah	Strong Splitting in Stable Homogeneous Models.	Ann. Pure Appl. Logic	2000	DBLP DOI BibTeX RDF
1	Tapani Hyttinen	On stability in finite models.	Arch. Math. Log.	2000	DBLP DOI BibTeX RDF
1	Tapani Hyttinen	Stability and General Logics.	Math. Log. Q.	1999	DBLP BibTeX RDF
1	Tapani Hyttinen, Saharon Shelah	Constructing Strongly Equivalent Nonisomorphic Models for Unsuperstable Theories, Part C.	J. Symb. Log.	1999	DBLP BibTeX RDF
1	Taneli Huuskonen, Tapani Hyttinen, Mika Rautila	On the k\kappa-cub game on l\lambda and I[l]I[\lambda ].	Arch. Math. Log.	1999	DBLP DOI BibTeX RDF
1	Tapani Hyttinen	Generalizing Morley's Theorem.	Math. Log. Q.	1998	DBLP BibTeX RDF
1	Tapani Hyttinen, Saharon Shelah	On the Number of Elementary Submodels of an Unsuperstable Homogeneous Structure.	Math. Log. Q.	1998	DBLP BibTeX RDF
1	Tapani Hyttinen	A Remark on Algebraic Closure and Orthogonality.	Notre Dame Journal of Formal Logic	1998	DBLP BibTeX RDF
1	Tapani Hyttinen	On Nonstructure of Elementary Submodels of an Unsuperstable Homogeneous Structure.	Math. Log. Q.	1997	DBLP BibTeX RDF
1	Tapani Hyttinen	Forking and Incomplete Types.	Math. Log. Q.	1996	DBLP BibTeX RDF
1	Tapani Hyttinen	Remarks on Structure Theorems for omega1-Saturated Models.	Notre Dame Journal of Formal Logic	1995	DBLP BibTeX RDF
1	Tapani Hyttinen, Saharon Shelah	Constructing Strongly Equivalent Nonisomorphic Models for Unsuperstable Theories, Part B.	J. Symb. Log.	1995	DBLP BibTeX RDF
1	Tapani Hyttinen, Saharon Shelah	Constructing Strongly Equivalent Nonisomorphic Models for Unsuperstable Theories, Part A.	J. Symb. Log.	1994	DBLP BibTeX RDF
1	Tapani Hyttinen, Saharon Shelah, Heikki Tuuri	Remarks on Strong Nonstructure Theorems.	Notre Dame Journal of Formal Logic	1993	DBLP BibTeX RDF
1	Tapani Hyttinen	Preservation by Homomorphisms and Infinitary Languages.	Notre Dame Journal of Formal Logic	1991	DBLP BibTeX RDF
1	Tapani Hyttinen, Heikki Tuuri	Constructing Strongly Equivalent Nonisomorphic Models for Unstable Theories.	Ann. Pure Appl. Logic	1991	DBLP DOI BibTeX RDF
1	Tapani Hyttinen, Jouko A. Väänänen	On Scott and Karp Trees of Uncountable Models.	J. Symb. Log.	1990	DBLP BibTeX RDF

Publications of "Tapani Hyttinen" ( http://dblp.L3S.de/Authors/Tapani_Hyttinen )