| Publication | Date of Publication | Type |
|---|
A new Kim's lemma Model Theory | 2024-08-27 | Paper |
Examples of weak amalgamation classes Mathematical Logic Quarterly | 2023-09-12 | Paper |
| A New Kim's Lemma | 2023-09-06 | Paper |
The almost sure theory of finite metric spaces Bulletin of the London Mathematical Society | 2023-08-17 | Paper |
Invariant measures in simple and in small theories Journal of Mathematical Logic | 2023-05-02 | Paper |
Higher-dimensional obstructions for star reductions Fundamenta Mathematicae | 2022-02-11 | Paper |
Higher-dimensional obstructions for star reductions Fundamenta Mathematicae | 2022-02-11 | Paper |
Exploring the landscape of relational syllogistic logics The Review of Symbolic Logic | 2022-01-26 | Paper |
| Interpolative fusions II: Preservation results | 2022-01-10 | Paper |
Interpolative fusions Journal of Mathematical Logic | 2021-10-18 | Paper |
| A Myhill-Nerode theorem for automata with advice | 2021-04-27 | Paper |
A Myhill-Nerode theorem for automata with advice (available as arXiv preprint) | 2021-04-27 | Paper |
Tameness in least fixed-point logic and McColm's conjecture (available as arXiv preprint) | 2021-03-26 | Paper |
| Tameness in least fixed-point logic and McColm's conjecture | 2021-03-26 | Paper |
Independence in generic incidence structures Journal of Symbolic Logic | 2020-04-06 | Paper |
Disjoint \(n\)-amalgamation and pseudofinite countably categorical theories Notre Dame Journal of Formal Logic | 2019-05-29 | Paper |
Disjoint \(n\)-amalgamation and pseudofinite countably categorical theories Notre Dame Journal of Formal Logic | 2019-05-29 | Paper |
Interpolative Fusions I (available as arXiv preprint) | 2018-11-14 | Paper |
Higher dimensional obstructions for star reductions (available as arXiv preprint) | 2018-09-06 | Paper |
Generic expansion and Skolemization in \(\mathrm{NSOP}_{1}\) theories Annals of Pure and Applied Logic | 2018-06-05 | Paper |
| Properly ergodic structures | 2017-10-25 | Paper |
Actions arising from intersection and union Journal of Logic, Language and Information | 2017-08-07 | Paper |
Tameness in least fixed-point logic and McColm's conjecture (available as arXiv preprint) | 2017-07-31 | Paper |
Disjoint $n$-amalgamation and pseudofinite countably categorical theories (available as arXiv preprint) | 2015-10-13 | Paper |
Actions arising from intersection and union (available as arXiv preprint) | 2014-10-30 | Paper |
| The Ax-Kochen Theorem: an application of model theory to algebra | 2013-08-18 | Paper |
| Chains of distributions, hierarchical Bayesian models and Benford's Law | 2009-07-13 | Paper |
Chains of distributions, hierarchical Bayesian models and Benford's Law (available as arXiv preprint) | 2009-07-13 | Paper |
Three surprising instances of dividing (available as arXiv preprint) | N/A | Paper |