397 citations
- F. Chapoton2 profiles22 · h 18
- Jiang Zeng2 profiles14 · h 34
- S. Richard13 · h 18
- L. Brandolese10 · h 18
- N. Guillotin-Plantard9 · h 12
- V. Maume-Deschamps9 · h 14
- F. Fanelli2 profiles8 · h 14
- M. Pouzet8 · h 20
- Thomas Strobl2 profiles8 · h 2
- Bruno Schapira2 profiles7 · h 13
- I. Yaacov7 · h 18
- Philippe Nadeau2 profiles7 · h 3
- International Center for Transitional JusticeUS209 papers
- Lyon 1 UniversitéFR190 papers
- Centre National de la Recherche ScientifiqueFR131 papers
- Analyse, Géométrie et ModélisationFR40 papers
- Laboratoire de Chimie ThéoriqueFR23 papers
- Institut National des Sciences Appliquées de LyonFR18 papers
- École Centrale de LyonFR14 papers
- Laboratoire de Mathématiques d'OrsayFR13 papers
- Université Jean MonnetFR13 papers
- Institut de Mathématiques de Jussieu-Paris Rive GaucheFR12 papers
- Laboratoire de Mathématiques Blaise PascalFR12 papers
- Bouygues (France)FR10 papers
4 papers · 2 filters
Lie rings in finite-dimensional theories
Moreno Invitti
We study Lie rings definable in a finite-dimensional theory, extending the results for the finite Morley rank case. In particular, we prove a classification of Lie rings of dimensi…
A note on stable Kim-forking
Yvon Bossut
We define weak stable Kim-forking, a notion that generalizes stable forking to the context of NSOP1 theories. We adapt some of the known results on stable forking to this context.
Integration in finite terms and exponentially algebraic functions
Rémi Jaoui, Jonathan Kirby
We develop techniques at the interface between differential algebra and model theory to study the following problems of exponential algebraicity: Does a given algebraic differentia…
Stability in affine logic
Itaï Ben Yaacov, Tomás Ibarlucía
We develop foundational aspects of stability theory in affine logic. On the one hand, we prove appropriate affine versions of many classical results, including definability of type…