List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| AN EXPOSITION OF THE COMPACTNESS OF The Bulletin of Symbolic Logic | 2021-04-21 | Paper |
| Model theory of Steiner triple systems Journal of Mathematical Logic | 2020-09-04 | Paper |
| More on tree properties Fundamenta Mathematicae | 2020-07-15 | Paper |
| Universal theories and compactly expandable models Journal of Symbolic Logic | 2019-09-17 | Paper |
| Ample pairs Fundamenta Mathematicae | 2019-07-31 | Paper |
| Stable forking and imaginaries Notre Dame Journal of Formal Logic | 2018-12-21 | Paper |
| Stable forking and imaginaries Notre Dame Journal of Formal Logic | 2018-12-21 | Paper |
| scientific article; zbMATH DE number 6845502 (Why is no real title available?) | 2018-02-28 | Paper |
| Orbits of subsets of the monster model and geometric theories Annals of Pure and Applied Logic | 2017-09-29 | Paper |
| scientific article; zbMATH DE number 6692129 (Why is no real title available?) | 2017-03-06 | Paper |
| Generic stability and stability The Journal of Symbolic Logic | 2014-09-30 | Paper |
| Normal hyperimaginaries Archive for Mathematical Logic | 2014-08-29 | Paper |
| On many-sorted \(\omega \)-categorical theories Fundamenta Mathematicae | 2011-10-17 | Paper |
| On many-sorted \(\omega \)-categorical theories Fundamenta Mathematicae | 2011-10-17 | Paper |
| Simple theories and hyperimaginaries | 2011-09-28 | Paper |
| Simplicity simplified | 2008-09-29 | Paper |
| Logical operations and invariance Journal of Philosophical Logic | 2007-01-29 | Paper |
| |T |+-resplendent models and the Lascar group MLQ | 2005-11-15 | Paper |
| Weak forms of elimination of imaginaries MLQ | 2004-03-29 | Paper |
| Dividing and chain conditions Archive for Mathematical Logic | 2004-03-07 | Paper |
| The free roots of the complete graph Proceedings of the American Mathematical Society | 2004-02-12 | Paper |
| Some remarks on indiscernible sequences MLQ | 2003-11-10 | Paper |
| Stable theories with a new predicate The Journal of Symbolic Logic | 2003-01-13 | Paper |
| Local superssimplicity and related concepts Journal of Symbolic Logic | 2002-12-04 | Paper |
| Galois groups of first order theories Journal of Mathematical Logic | 2002-05-20 | Paper |
| A supersimple nonlow theory Notre Dame Journal of Formal Logic | 2001-07-17 | Paper |
| The number of types in simple theories Annals of Pure and Applied Logic | 2000-07-05 | Paper |
| A test for expandability Archive for Mathematical Logic | 1999-03-25 | Paper |
| On elementary equivalence for equality-free logic Notre Dame Journal of Formal Logic | 1997-05-19 | Paper |
| Omitting types in incomplete theories Journal of Symbolic Logic | 1997-01-13 | Paper |
| Compactly expandable models and stability Journal of Symbolic Logic | 1995-12-13 | Paper |
Research outcomes over time
This page was built for person: Enrique Casanovas
