151 citations
- Centre National de la Recherche ScientifiqueFR189 papers
- CY Cergy Paris UniversitéFR111 papers
- Université de Cergy-PontoiseFR97 papers
- Institut Camille JordanFR74 papers
- Institut de Mathématiques de Jussieu-Paris Rive GaucheFR25 papers
- Lyon 1 UniversitéFR19 papers
- Sorbonne UniversitéFR19 papers
- McGill UniversityCA17 papers
- Equipes Traitement de l'Information et SystèmesFR16 papers
- International Center for Transitional JusticeUS16 papers
- Université de ToulonFR16 papers
- Institut Universitaire de FranceFR15 papers
496 papers
Invitation to finite groups
Teo Banica
This is an introduction to the finite groups, with focus on the groups of permutations and reflections, and more generally, on the finite groups of unitary matrices. We first discu…
Endogenies and linearization in the non-virtually connected case
Moreno Invitti
We prove a linearization theorem for pre-rings of endogenies acting on a definable abelian group of finite dimension. Observe that no assumptions on the connectivity of A are made.…
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.
Existence of multi-solitons with any parameters for the 5D energy critical wave equation
Yvan Martel, Frank Merle
For the focusing, energy critical wave equation in dimension 5, we construct multi-solitons with any number of solitons, any choice of signs, speeds, scaling parameters and transla…
Cut-free Deductive System for Continuous Intuitionistic Logic
Guillaume Geoffroy
We introduce and develop propositional continuous intuitionistic logic and propositional continuous affine logic via complete algebraic semantics. Our approach centres on AC-algebr…