| Publication | Date of Publication | Type |
|---|
| An AEC framework for fields with commuting automorphisms | 2023-09-27 | Paper |
| Varieties of strictly n-generated Heyting algebras | 2023-06-21 | Paper |
| On highly equivalent non-isomorphic countable models of arithmetic and set theory | 2022-08-27 | Paper |
| On approximations of Feynman path integrals | 2022-08-12 | Paper |
| On $\Sigma _1^1$-completeness of quasi-orders on $\kappa ^\kappa $ | 2021-01-25 | Paper |
| First-order model theory of free projective planes | 2020-12-15 | Paper |
| Borel $$^{*}$$ Sets in the Generalized Baire Space and Infinitary Languages | 2020-07-24 | Paper |
| Categoricity and universal classes | 2020-05-11 | Paper |
| On the reducibility of isomorphism relations | 2020-04-29 | Paper |
| Coxeter groups and abstract elementary classes: the right-angled case | 2020-02-14 | Paper |
| Reducibility of equivalence relations arising from nonstationary ideals under large cardinal assumptions | 2020-02-14 | Paper |
| On ultraproducts, the spectral theorem and rigged Hilbert spaces | 2020-02-10 | Paper |
| Counting Measure and Forking in Finite Models | 2020-02-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4623119 | 2019-02-18 | Paper |
| On eigenvectors, approximations and the Feynman propagator | 2018-11-07 | Paper |
| MEASURING DEPENDENCE IN METRIC ABSTRACT ELEMENTARY CLASSES WITH PERTURBATIONS | 2018-01-11 | Paper |
| Categoricity and Universal Classes | 2017-12-22 | Paper |
| Beyond abstract elementary classes: on the model theory of geometric lattices | 2017-12-06 | Paper |
| A logic for arguing about probabilities in measure teams | 2017-09-15 | Paper |
| On large cardinals and generalized Baire spaces | 2017-08-09 | Paper |
| A generalized Borel-reducibility counterpart of Shelah's main gap theorem | 2017-05-11 | Paper |
| Reduction of database independence to dividing in atomless Boolean algebras | 2016-05-13 | Paper |
| Quasiminimal structures, groups and Zariski-like geometries | 2016-04-14 | Paper |
| QUANTUM TEAM LOGIC AND BELL’S INEQUALITIES | 2015-12-30 | Paper |
| Beyond Abstract Elementary Classes: On The Model Theory of Geometric Lattices | 2015-12-04 | Paper |
| On model theory of covers of algebraically closed fields | 2015-10-20 | Paper |
| On Borel reducibility in generalized Baire space | 2015-09-11 | Paper |
| Forking in finite models | 2015-07-20 | Paper |
| On compactness of logics that can express properties of symmetry or connectivity | 2015-06-18 | Paper |
| On ‐complete equivalence relations on the generalized Baire space | 2015-03-19 | Paper |
| On second-order characterizability | 2015-02-27 | Paper |
| Generalized descriptive set theory and classification theory | 2014-10-17 | Paper |
| Beyond first order logic: from number of structures to structure of numbers. I | 2014-07-09 | Paper |
| Beyond first order logic: from number of structures to structure of numbers. II | 2014-07-09 | Paper |
| On Eigenvectors, Approximations and the Feynman Propagator | 2014-06-19 | Paper |
| Quasiminimal structures and excellence | 2014-03-14 | Paper |
| The nonabsoluteness of model existence in uncountable cardinals for \(L_{\omega_{1},\omega}\) | 2013-04-25 | Paper |
| Interpreting groups and fields in simple, finitary AECs | 2012-07-11 | Paper |
| Metric abstract elementary classes with perturbations | 2012-05-16 | Paper |
| On Borel equivalence relations in generalized Baire space | 2012-05-03 | Paper |
| Categoricity transfer in simple finitary abstract elementary classes | 2011-10-10 | Paper |
| Potential isomorphism of elementary substructures of a strictly stable homogeneous model | 2011-10-10 | Paper |
| Weak Ehrenfeucht-Fraïssé games | 2011-06-01 | Paper |
| Lascar types and Lascar automorphisms in abstract elementary classes | 2011-03-07 | Paper |
| Categoricity in homogeneous complete metric spaces | 2009-05-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3536267 | 2008-11-21 | Paper |
| Canonical bases in excellent classes | 2008-05-08 | Paper |
| Superstability in simple finitary AECs | 2007-09-20 | Paper |
| Hilbert Spaces with Generic Predicates | 2007-04-12 | Paper |
| Independence in finitary abstract elementary classes | 2006-10-30 | Paper |
| Decidability of IF modal logic of perfect recall | 2006-08-15 | Paper |
| On local modularity in homogeneous structures | 2006-07-03 | Paper |
| Simplicity and uncountable categoricity in excellent classes | 2006-04-28 | Paper |
| CARDINAL INVARIANTS AND EVENTUALLY DIFFERENT FUNCTIONS | 2006-03-22 | Paper |
| Uncountably categorical local tame abstract elementary classes with disjoint amalgamation | 2006-01-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5711945 | 2005-12-08 | Paper |
| INTERPRETING GROUPS AND FIELDS IN SOME NONELEMENTARY CLASSES | 2005-09-29 | Paper |
| Types in abstract elementary classes | 2005-07-06 | Paper |
| Locally modular geometries in homogeneous structures | 2005-06-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4662026 | 2005-03-30 | Paper |
| Classification theory and 0# | 2005-02-09 | Paper |
| On potential isomorphism and non-structure | 2004-09-22 | Paper |
| Truth and definite truth | 2004-08-06 | Paper |
| Finitely generated submodels of an uncountably categorical homogeneous structure | 2004-03-15 | Paper |
| A rank for the class of elementary submodels of a superstable homogeneous model | 2004-03-01 | Paper |
| Finiteness of U‐rank implies simplicity in homogeneous structures | 2004-02-12 | Paper |
| INTERPRETING GROUPS INSIDE MODULAR STRONGLY MINIMAL HOMOGENEOUS MODELS | 2004-01-22 | Paper |
| On non-wellfounded sets as fixed points of substitutions | 2003-10-13 | Paper |
| Canonical Finite Diagrams and Quantifier Elimination | 2003-04-03 | Paper |
| Potential isomorphism and semi-proper trees | 2003-01-28 | Paper |
| More on the Ehrenfeucht–Fraisse game of length ω1 | 2003-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4781769 | 2002-11-13 | Paper |
| A Remark on Weakly Compact Cardinals | 2002-11-13 | Paper |
| Main gap for locally saturated elementary submodels of a homogeneous structure | 2002-08-07 | Paper |
| Forcing a Boolean algebra with predesigned automorphism group | 2002-06-17 | Paper |
| IF logic and the foundations of mathematics | 2002-04-30 | Paper |
| The canary tree revisited | 2002-04-29 | Paper |
| Henkin quantifiers and the definability of truth | 2001-10-21 | Paper |
| A remark on algebraic closure and orthogonality | 2001-07-17 | Paper |
| Club-guessing and non-structure of trees | 2001-06-17 | Paper |
| Strong splitting in stable homogeneous models | 2001-05-28 | Paper |
| On the \(\kappa\)-cub game on \(\lambda\) and \(I[\lambda]\) | 2001-05-02 | Paper |
| On stability in finite models | 2000-05-09 | Paper |
| Constructing strongly equivalent nonisomorphic models for unsuperstable theories, Part C | 1999-09-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3842690 | 1999-07-15 | Paper |
| Stability and General Logics | 1999-05-24 | Paper |
| On the Number of Elementary Submodels of an Unsuperstable Homogeneous Structure | 1999-03-02 | Paper |
| Generalizing Morley's Theorem | 1998-06-08 | Paper |
| On Nonstructure of Elementary Submodels of an Unsuperstable Homogeneous Structure | 1997-08-20 | Paper |
| Remarks on structure theorems for \(\omega_ 1\)-saturated models | 1997-01-13 | Paper |
| Forking and Incomplete Types | 1997-01-13 | Paper |
| Constructing strongly equivalent nonisomorphic models for unsuperstable theories. Part B | 1996-05-01 | Paper |
| Constructing strongly equivalent nonisomorphic models for unsuperstable theories, Part A | 1994-11-27 | Paper |
| Remarks on strong nonstructure theorems | 1993-12-06 | Paper |
| On \(\kappa\)-complete reduced products | 1992-09-26 | Paper |
| Preservation by homomorphisms and infinitary languages | 1992-06-28 | Paper |
| Constructing strongly equivalent nonisomorphic models for unstable theories | 1992-06-25 | Paper |
| ON NON-DETERMINED EHRENFEUCHT-FRAÏSSÉ GAMES AND UNSTABLE THEORIES | 1992-01-01 | Paper |
| Model theory for infinite quantifier languages | 1990-01-01 | Paper |
| On Scott and Karp trees of uncountable models | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3778731 | 1987-01-01 | Paper |
| On Model Theory of Second-Order Objects | N/A | Paper |
