| Publication | Date of Publication | Type |
|---|
Random graph coloring and the instability
Mathematical Logic Quarterly (MLQ) | 2025-01-09 | Paper |
Dividing and forking in random hypergraphs
Annals of Pure and Applied Logic | 2024-12-12 | Paper |
Nonstandard methods for finite structures
Mathematical Logic Quarterly | 2023-09-11 | Paper |
On the number of independent orders
Annals of Pure and Applied Logic | 2020-12-15 | Paper |
A construction of real closed fields
Mathematical Logic Quarterly | 2015-06-22 | Paper |
Model companions of theories of graphs
Mathematical Logic Quarterly | 2015-06-22 | Paper |
On the existence of indiscernible trees
Annals of Pure and Applied Logic | 2012-10-11 | Paper |
Locally o-minimal structures
Journal of the Mathematical Society of Japan | 2012-10-02 | Paper |
Models omitting given complete types
Notre Dame Journal of Formal Logic | 2010-01-13 | Paper |
On generic structures with a strong amalgamation property
Journal of Symbolic Logic | 2009-09-29 | Paper |
A note on Steinhorn's omitting types theorem
Colloquium Mathematicum | 2009-03-18 | Paper |
A note on stationarity of types over models in simple theories
MLQ | 2008-12-10 | Paper |
Generalized amalgamation and \(n\)-simplicity
Annals of Pure and Applied Logic | 2008-11-12 | Paper |
Nonstandard models that are definable in models of Peano Arithmetic
MLQ | 2007-02-20 | Paper |
Construction of saturated quasi-minimal structure
Journal of Symbolic Logic | 2005-08-29 | Paper |
Implicit definability of subfields
Notre Dame Journal of Formal Logic | 2005-07-06 | Paper |
Definability of initial segments
Notre Dame Journal of Formal Logic | 2004-05-27 | Paper |
| scientific article; zbMATH DE number 2063230 (Why is no real title available?) | 2004-03-29 | Paper |
Expanding the additive reduct of a model of Peano arithmetic
MLQ | 2003-07-31 | Paper |
| scientific article; zbMATH DE number 1788860 (Why is no real title available?) | 2002-08-26 | Paper |
Random amalgamation of simple theories
Mathematical Logic Quarterly (MLQ) | 2001-08-28 | Paper |
On interpretability of almost linear orderings
Notre Dame Journal of Formal Logic | 2001-07-17 | Paper |
| scientific article; zbMATH DE number 1241170 (Why is no real title available?) | 1999-10-10 | Paper |
Amalgamations preserving ℵ1-categoricity
Journal of Symbolic Logic | 1998-11-02 | Paper |
On Theories Having Three Countable Models
Mathematical Logic Quarterly | 1998-10-11 | Paper |
Almost Total Elementary Maps
Mathematical Logic Quarterly | 1997-01-13 | Paper |
| scientific article; zbMATH DE number 935526 (Why is no real title available?) | 1996-10-15 | Paper |
On reduction properties
Journal of Symbolic Logic | 1995-03-29 | Paper |
| New developments in model theory | 1995-01-01 | Paper |
ON DEFINABILITY OF NORMAL SUBGROUPS OF A SUPERSTABLE GROUP
Mathematical Logic Quarterly | 1994-11-03 | Paper |
| scientific article; zbMATH DE number 591406 (Why is no real title available?) | 1994-06-19 | Paper |
Algebraic types and automorphism groups
Journal of Symbolic Logic | 1993-08-17 | Paper |
Non-multidimensional theories without groups
Fundamenta Mathematicae | 1992-06-25 | Paper |
Solvable and nilpotent structures
Publications of the Research Institute for Mathematical Sciences, Kyoto University | 1988-01-01 | Paper |
On a property of \(\omega\)-stable solvable groups
Archive for Mathematical Logic | 1988-01-01 | Paper |
Strongly 2-dimensional theories
Journal of Symbolic Logic | 1988-01-01 | Paper |
Categoricity and Non-Orthogonality of Types
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1987-01-01 | Paper |
Countable models and unions of theories
Journal of the Mathematical Society of Japan | 1986-01-01 | Paper |
On the number of independent partitions
Journal of Symbolic Logic | 1985-01-01 | Paper |
On theories having a finite number of nonisomorphic countable models
Journal of Symbolic Logic | 1985-01-01 | Paper |
Two theorems on the existence of indiscernible sequences
Tsukuba Journal of Mathematics | 1984-01-01 | Paper |
On reflection principles
Tsukuba Journal of Mathematics | 1982-01-01 | Paper |
On M-recursively saturated models of arithmetic
Tsukuba Journal of Mathematics | 1982-01-01 | Paper |
