default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTapani Hyttinen
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2023
[j65]Tapani Hyttinen
, Kaisa Kangas:
An AEC framework for fields with commuting automorphisms. Arch. Math. Log. 62(7-8): 1001-1032 (2023)- 2021
- [j64]Tapani Hyttinen, Gianluca Paolini:
First-order model theory of free projective planes. Ann. Pure Appl. Log. 172(2): 102888 (2021) - 2019
- [j63]Åsa Hirvonen, Tapani Hyttinen:
On eigenvectors, approximations and the Feynman propagator. Ann. Pure Appl. Log. 170(1): 109-135 (2019) - [j62]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): 665-682 (2019) - [j61]Tapani Hyttinen, Gianluca Paolini:
Coxeter Groups and Abstract Elementary Classes: The Right-Angled Case. Notre Dame J. Formal Log. 60(4): 707-731 (2019) - 2018
- [j60]Tapani Hyttinen, Gianluca Paolini:
Beyond abstract elementary classes: On the model theory of geometric lattices. Ann. Pure Appl. Log. 169(2): 117-145 (2018) - [j59]Tapani Hyttinen, Kaisa Kangas:
Categoricity and universal classes. Math. Log. Q. 64(6): 464-477 (2018) - 2017
- [j58]Tapani Hyttinen, Vadim Kulikov, Miguel Moreno:
A generalized Borel-reducibility counterpart of Shelah's main gap theorem. Arch. Math. Log. 56(3-4): 175-185 (2017) - [j57]Tapani Hyttinen, Gianluca Paolini, Jouko Väänänen:
A logic for arguing about probabilities in measure teams. Arch. Math. Log. 56(5-6): 475-489 (2017) - [j56]Åsa Hirvonen, Tapani Hyttinen:
Measuring Dependence in Metric Abstract Elementary Classes with perturbations. J. Symb. Log. 82(4): 1199-1228 (2017) - [j55]Tapani Hyttinen, Miguel Moreno:
On the reducibility of isomorphism relations. Math. Log. Q. 63(3-4): 175-192 (2017) - 2016
- [j54]Tapani Hyttinen, Gianluca Paolini:
Reduction of database independence to dividing in atomless Boolean algebras. Arch. Math. Log. 55(3-4): 505-518 (2016) - [j53]Tapani Hyttinen, Kaisa Kangas:
Quasiminimal structures, groups and Zariski-like geometries. Ann. Pure Appl. Log. 167(6): 457-505 (2016) - 2015
- [j52]Tapani Hyttinen, Vadim Kulikov:
On Σ11-complete equivalence relations on the generalized Baire space. Math. Log. Q. 61(1-2): 66-81 (2015) - [j51]Tapani Hyttinen:
Forking in Finite Models. Notre Dame J. Formal Log. 56(2): 307-320 (2015) - [j50]Tapani Hyttinen, Gianluca Paolini, Jouko Väänänen:
Quantum Team Logic and Bell's inequalities. Rev. Symb. Log. 8(4): 722-742 (2015) - [j49]Vera Koponen, Tapani Hyttinen:
On Compactness of Logics That Can Express Properties of Symmetry or Connectivity. Stud Logica 103(1): 1-20 (2015) - 2013
- [j48]Tapani Hyttinen, Kaisa Kangas, Jouko A. Väänänen:
On second-order characterizability. Log. J. IGPL 21(5): 767-787 (2013) - [j47]Sy-David Friedman, Tapani Hyttinen, Martin Koerwien:
The Nonabsoluteness of Model Existence in Uncountable Cardinals for Lω1,ω. Notre Dame J. Formal Log. 54(2): 137-151 (2013) - 2012
- [j46]Sy-David Friedman, Tapani Hyttinen:
On Borel equivalence relations in generalized Baire space. Arch. Math. Log. 51(3-4): 299-304 (2012) - [j45]Tapani Hyttinen, Meeri Kesälä:
Interpreting groups and fields in simple, finitary AECs. Ann. Pure Appl. Log. 163(9): 1141-1162 (2012) - 2011
- [j44]Tapani Hyttinen, Meeri Kesälä:
Categoricity transfer in simple finitary abstract elementary classes. J. Symb. Log. 76(3): 759-806 (2011) - [j43]Sy-David Friedman, Tapani Hyttinen, Agatha Walczak-Typke:
Potential isomorphism of elementary substructures of a strictly stable homogeneous model. J. Symb. Log. 76(3): 987-1004 (2011) - [j42]Tapani Hyttinen, Meeri Kesälä:
Lascar Types and Lascar Automorphisms in Abstract Elementary Classes. Notre Dame J. Formal Log. 52(1): 39-54 (2011) - 2009
- [j41]Åsa Hirvonen, Tapani Hyttinen:
Categoricity in homogeneous complete metric spaces. Arch. Math. Log. 48(3-4): 269-322 (2009) - 2008
- [j40]Tapani Hyttinen, Olivier Lessmann:
Canonical bases in excellent classes. J. Symb. Log. 73(1): 165-180 (2008) - 2006
- [j39]Tapani Hyttinen:
Uncountably categorical local tame abstract elementary classes with disjoint amalgamation. Arch. Math. Log. 45(1): 63-73 (2006) - [j38]Tapani Hyttinen, Olivier Lessmann:
Simplicity and uncountable categoricity in excellent classes. Ann. Pure Appl. Log. 139(1-3): 110-137 (2006) - [j37]Tapani Hyttinen, Meeri Kesälä:
Independence in finitary abstract elementary classes. Ann. Pure Appl. Log. 143(1-3): 103-138 (2006) - 2005
- [j36]Tapani Hyttinen, Olivier Lessmann, Saharon Shelah:
Interpreting Groups and Fields in some Nonelementary Classes. J. Math. Log. 5(1) (2005) - [j35]Tapani Hyttinen:
Locally modular geometries in homogeneous structures. Math. Log. Q. 51(3): 291-298 (2005) - 2004
- [j34]Taneli Huuskonen, Tapani Hyttinen, Mika Rautila:
On potential isomorphism and non-structure. Arch. Math. Log. 43(1): 85-120 (2004) - [j33]Tapani Hyttinen, Gabriel Sandu:
Truth and definite truth. Ann. Pure Appl. Log. 126(1-3): 49-55 (2004) - [j32]Tapani Hyttinen:
Finitely generated submodels of an uncountably categorical homogeneous structure. Math. Log. Q. 50(1): 77-98 (2004) - [j31]Tapani Hyttinen:
Types in Abstract Elementary Classes. Notre Dame J. Formal Log. 45(2): 99-108 (2004) - 2003
- [j30]Tapani Hyttinen:
Interpreting Groups inside Modular strongly Minimal homogeneous Models. J. Math. Log. 3(1) (2003) - [j29]Sy D. Friedman, Tapani Hyttinen, Mika Rautila:
Classification theory and 0#. J. Symb. Log. 68(2): 580-588 (2003) - [j28]Tapani Hyttinen:
Finiteness of U-rank implies simplicity in homogeneous structures. Math. Log. Q. 49(6): 576-578 (2003) - 2002
- [j27]Tapani Hyttinen, Olivier Lessmann:
A Rank for the Class of Elementary Submodels of A Superstable Homogeneous Model. J. Symb. Log. 67(4): 1469-1482 (2002) - [j26]Tapani Hyttinen:
A Remark on Weakly Compact Cardinals. Math. Log. Q. 48(3): 397-402 (2002) - [j25]Tapani Hyttinen:
Canonical Finite Diagrams and Quantifier Elimination. Math. Log. Q. 48(4): 533-554 (2002) - 2001
- [j24]Tapani Hyttinen, Saharon Shelah:
Main Gap for Locally Saturated Elementary Submodels of A Homogeneous Structure. J. Symb. Log. 66(3): 1286-1302 (2001) - [j23]Tapani Hyttinen, Mika Rautila:
The Canary Tree Revisited. J. Symb. Log. 66(4): 1677-1694 (2001) - [j22]Tapani Hyttinen, Matti J. Pauna:
On Non-wellfounded Sets as Fixed Points of Substitutions. Notre Dame J. Formal Log. 42(1): 23-40 (2001) - [j21]Gabriel Sandu, Tapani Hyttinen:
IF logic and the foundations of mathematics. Synth. 126(1-2): 37-47 (2001) - 2000
- [j20]Tapani Hyttinen:
On stability in finite models. Arch. Math. Log. 39(2): 89-102 (2000) - [j19]Tapani Hyttinen, Saharon Shelah:
Strong Splitting in Stable Homogeneous Models. Ann. Pure Appl. Log. 103(1-3): 201-228 (2000) - [j18]Tapani Hyttinen, Gabriel Sandu:
Henkin Quantifiers and the Definability of Truth. J. Philos. Log. 29(5): 507-527 (2000) - 1999
- [j17]Taneli Huuskonen, Tapani Hyttinen, Mika Rautila:
On the k\kappa-cub game on l\lambda and I[l]I[\lambda ]. Arch. Math. Log. 38(8): 549-557 (1999) - [j16]Tapani Hyttinen, Saharon Shelah:
Constructing Strongly Equivalent Nonisomorphic Models for Unsuperstable Theories, Part C. J. Symb. Log. 64(2): 634-642 (1999) - [j15]Tapani Hyttinen:
Stability and General Logics. Math. Log. Q. 45: 219-240 (1999) - 1998
- [j14]Tapani Hyttinen:
Generalizing Morley's Theorem. Math. Log. Q. 44: 176-184 (1998) - [j13]Tapani Hyttinen, Saharon Shelah:
On the Number of Elementary Submodels of an Unsuperstable Homogeneous Structure. Math. Log. Q. 44: 354-358 (1998) - [j12]Tapani Hyttinen:
A Remark on Algebraic Closure and Orthogonality. Notre Dame J. Formal Log. 39(4): 527-530 (1998) - 1997
- [j11]Tapani Hyttinen:
On Nonstructure of Elementary Submodels of an Unsuperstable Homogeneous Structure. Math. Log. Q. 43: 134-142 (1997) - 1996
- [j10]Tapani Hyttinen:
Forking and Incomplete Types. Math. Log. Q. 42: 421-432 (1996) - 1995
- [j9]Tapani Hyttinen, Saharon Shelah:
Constructing Strongly Equivalent Nonisomorphic Models for Unsuperstable Theories, Part B. J. Symb. Log. 60(4): 1260-1272 (1995) - [j8]Tapani Hyttinen:
Remarks on Structure Theorems for ω1-Saturated Models. Notre Dame J. Formal Log. 36(2): 269-278 (1995) - 1994
- [j7]Tapani Hyttinen, Saharon Shelah:
Constructing Strongly Equivalent Nonisomorphic Models for Unsuperstable Theories, Part A. J. Symb. Log. 59(3): 984-996 (1994) - 1993
- [j6]Tapani Hyttinen, Saharon Shelah, Heikki Tuuri:
Remarks on Strong Nonstructure Theorems. Notre Dame J. Formal Log. 34(2): 157-168 (1993) - 1992
- [j5]Tapani Hyttinen:
Onκ-complete reduced products. Arch. Math. Log. 31(3): 193-199 (1992) - [j4]Tapani Hyttinen:
On Non-Determined Ehrenfeucht-FRAïSSé Games and unstable Theories. Math. Log. Q. 38(1): 399-408 (1992) - 1991
- [j3]Tapani Hyttinen, Heikki Tuuri:
Constructing Strongly Equivalent Nonisomorphic Models for Unstable Theories. Ann. Pure Appl. Log. 52(3): 203-248 (1991) - [j2]Tapani Hyttinen:
Preservation by Homomorphisms and Infinitary Languages. Notre Dame J. Formal Log. 32(2): 167-172 (1991) - 1990
- [j1]Tapani Hyttinen, Jouko A. Väänänen:
On Scott and Karp Trees of Uncountable Models. J. Symb. Log. 55(3): 897-908 (1990)
Conference and Workshop Papers
- 2004
- [c2]Tapani Hyttinen, Tero Tulenheimo:
Decidability of IF Modal Logic of Perfect Recall. Advances in Modal Logic 2004: 111-131 - 2001
- [c1]Taneli Huuskonen, Tapani Hyttinen:
On Definability of Order in Logic with Choice. LICS 2001: 167-172
Parts in Books or Collections
- 2015
- [p1]Tapani Hyttinen:
Counting Measure and Forking in Finite Models. Logic Without Borders 2015: 265-280
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 21:01 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
