| Publication | Date of Publication | Type |
|---|
TRANSITIVITY, LOWNESS, AND RANKS IN NSOP THEORIES
Journal of Symbolic Logic | 2023-09-11 | Paper |
Automorphism groups over a hyperimaginary
Journal of the Mathematical Society of Japan | 2023-02-14 | Paper |
Automorphism groups over a hyperimaginary
Journal of the Mathematical Society of Japan | 2023-02-14 | Paper |
Independence over arbitrary sets in \(\mathrm{NSOP}_1\) theories
Annals of Pure and Applied Logic | 2022-01-18 | Paper |
WEAK CANONICAL BASES IN NSOP THEORIES
Journal of Symbolic Logic | 2021-12-09 | Paper |
THE RELATIVIZED LASCAR GROUPS, TYPE-AMALGAMATION, AND ALGEBRAICITY
Journal of Symbolic Logic | 2021-10-27 | Paper |
Automorphism groups over a hyperimaginary
(available as arXiv preprint) | 2021-06-16 | Paper |
More on tree properties
Fundamenta Mathematicae | 2020-07-15 | Paper |
The relativized Lascar groups, type-amalgamation, and algebraicity
(available as arXiv preprint) | 2020-04-23 | Paper |
Non-commutative groupoids obtained from the failure of 3-uniqueness in stable theories
Fundamenta Mathematicae | 2020-03-04 | Paper |
Independence over arbitrary sets in NSOP$_1$ theories
(available as arXiv preprint) | 2019-09-18 | Paper |
On the number of countable models of a countable NSOP\(_1\) theory without weight \(\omega\)
Journal of Symbolic Logic | 2019-09-17 | Paper |
Amalgamation functors and homology groups in model theory
(available as arXiv preprint) | 2017-10-25 | Paper |
The Lascar groups and the first homology groups in model theory
Annals of Pure and Applied Logic | 2017-09-29 | Paper |
The Lascar groups and the first homology groups in model theory
Annals of Pure and Applied Logic | 2017-09-29 | Paper |
Homology groups of types in stable theories and the Hurewicz correspondence
Annals of Pure and Applied Logic | 2017-06-15 | Paper |
Characterization of the second homology group of a stationary type in a stable theory
Proceedings of the 13th Asian Logic Conference | 2017-06-09 | Paper |
On the \(n\)-uniqueness of types in rosy theories
Archive for Mathematical Logic | 2017-02-02 | Paper |
Type-amalgamation properties and polygroupoids in stable theories
Journal of Mathematical Logic | 2015-08-14 | Paper |
A classification of 2-chains having 1-shell boundaries in rosy theories
Journal of Symbolic Logic | 2015-05-20 | Paper |
Homology groups of types in model theory and the computation of \(H_2(p)\)
Journal of Symbolic Logic | 2014-04-04 | Paper |
Tree indiscernibilities, revisited
Archive for Mathematical Logic | 2014-02-25 | Paper |
The Lascar group and the strong types of hyperimaginaries
Notre Dame Journal of Formal Logic | 2013-10-09 | Paper |
Simplicity theory
Oxford Logic Guides | 2013-09-05 | Paper |
Amalgamation functors and boundary properties in simple theories
Israel Journal of Mathematics | 2013-06-19 | Paper |
Notions around tree property 1
Annals of Pure and Applied Logic | 2011-09-22 | Paper |
| Geometric simplicity theory | 2010-06-17 | Paper |
Recovering the hyperdefinable group action in the group configuration theorem
Journal of Symbolic Logic | 2010-03-15 | Paper |
Generalized amalgamation and \(n\)-simplicity
Annals of Pure and Applied Logic | 2008-11-12 | Paper |
Stable definability and generic relations
Journal of Symbolic Logic | 2008-02-25 | Paper |
Stable definability and generic relations
Journal of Symbolic Logic | 2008-02-25 | Paper |
CONSTRUCTING THE HYPERDEFINABLE GROUP FROM THE GROUP CONFIGURATION
Journal of Mathematical Logic | 2007-06-05 | Paper |
A note on weak dividing
Archive for Mathematical Logic | 2007-03-06 | Paper |
The geometry of 1-based minimal types
Transactions of the American Mathematical Society | 2003-07-28 | Paper |
Around stable forking
Fundamenta Mathematicae | 2002-02-21 | Paper |
Simplicity and stability in there
The Journal of Symbolic Logic | 2001-10-14 | Paper |
A supersimple nonlow theory
Notre Dame Journal of Formal Logic | 2001-07-17 | Paper |
Coordinatisation and canonical bases in simple theories
Journal of Symbolic Logic | 2000-10-08 | Paper |
| scientific article; zbMATH DE number 1405579 (Why is no real title available?) | 2000-07-13 | Paper |
On the Number of Countable Models of a Countable Supersimple Theory
Journal of the London Mathematical Society | 2000-06-22 | Paper |
A note on Lascar strong types in simple theories
Journal of Symbolic Logic | 1999-02-02 | Paper |
A note on Lascar strong types in simple theories
Journal of Symbolic Logic | 1999-02-02 | Paper |
Simple theories
Annals of Pure and Applied Logic | 1998-10-19 | Paper |
From Stability to Simplicity
The Bulletin of Symbolic Logic | 1998-10-11 | Paper |
| scientific article; zbMATH DE number 1065060 (Why is no real title available?) | 1997-12-11 | Paper |
Forking in Simple Unstable Theories
Journal of the London Mathematical Society | 1996-12-12 | Paper |
A number of countable models of a countable supersimple theory
(available as arXiv preprint) | N/A | Paper |
