| Publication | Date of Publication | Type |
|---|
| Nonstandard methods for finite structures | 2023-09-11 | Paper |
| On the number of independent orders | 2020-12-15 | Paper |
| A construction of real closed fields | 2015-06-22 | Paper |
| Model companions of theories of graphs | 2015-06-22 | Paper |
| On the existence of indiscernible trees | 2012-10-11 | Paper |
| Locally o-minimal structures | 2012-10-02 | Paper |
| Models omitting given complete types | 2010-01-13 | Paper |
| On generic structures with a strong amalgamation property | 2009-09-29 | Paper |
| A note on Steinhorn's omitting types theorem | 2009-03-18 | Paper |
| A note on stationarity of types over models in simple theories | 2008-12-10 | Paper |
| Generalized amalgamation and \(n\)-simplicity | 2008-11-12 | Paper |
| Nonstandard models that are definable in models of Peano Arithmetic | 2007-02-20 | Paper |
| Construction of saturated quasi-minimal structure | 2005-08-29 | Paper |
| Implicit definability of subfields | 2005-07-06 | Paper |
| Definability of initial segments | 2004-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4460847 | 2004-03-29 | Paper |
| Expanding the additive reduct of a model of Peano arithmetic | 2003-07-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4548463 | 2002-08-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2707070 | 2001-08-28 | Paper |
| On interpretability of almost linear orderings | 2001-07-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4224718 | 1999-10-10 | Paper |
| Amalgamations preserving ℵ1-categoricity | 1998-11-02 | Paper |
| On Theories Having Three Countable Models | 1998-10-11 | Paper |
| Almost Total Elementary Maps | 1997-01-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4895753 | 1996-10-15 | Paper |
| On reduction properties | 1995-03-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3364519 | 1995-01-01 | Paper |
| ON DEFINABILITY OF NORMAL SUBGROUPS OF A SUPERSTABLE GROUP | 1994-11-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4296712 | 1994-06-19 | Paper |
| Algebraic types and automorphism groups | 1993-08-17 | Paper |
| Non-multidimensional theories without groups | 1992-06-25 | Paper |
| On a property of \(\omega\)-stable solvable groups | 1988-01-01 | Paper |
| Solvable and nilpotent structures | 1988-01-01 | Paper |
| Strongly 2-dimensional theories | 1988-01-01 | Paper |
| Categoricity and Non-Orthogonality of Types | 1987-01-01 | Paper |
| Countable models and unions of theories | 1986-01-01 | Paper |
| On the number of independent partitions | 1985-01-01 | Paper |
| On theories having a finite number of nonisomorphic countable models | 1985-01-01 | Paper |
| Two theorems on the existence of indiscernible sequences | 1984-01-01 | Paper |
| On M-recursively saturated models of arithmetic | 1982-01-01 | Paper |
| On reflection principles | 1982-01-01 | Paper |
