72 citations
- International Center for Transitional JusticeUS79 papers
- Lyon 1 UniversitéFR51 papers
- Centre National de la Recherche ScientifiqueFR32 papers
- Bouygues (France)FR10 papers
- Institut National des Sciences Appliquées de LyonFR4 papers
- École Centrale de LyonFR3 papers
- Institut FourierFR3 papers
- Institutul de Cercetari ElectrotehniceRO3 papers
- Nankai UniversityCN3 papers
- Université Paris CitéFR3 papers
- Laboratoire de Mathématiques Blaise PascalFR2 papers
- Laboratoire de Mathématiques d'OrsayFR2 papers
10 papers · 1 filter
Iterative differential Galois theory: a model theoretic approach
Javier Moreno
This paper introduces a natural extension of Kolchin's differential Galois theory to positive characteristic iterative differential fields, generalizing to the non-linear case the…
Lovely pairs of models: the non first order case
Itaï Ben Yaacov
We prove that for every simple theory (or even simple thick compact abstract theory) there is a (unique) compact abstract theory $T^\fP$ whose saturated models are the lovely p…
On supersimplicity and lovely pairs of cats
Itaï Ben Yaacov
We prove that the definition of supersimplicity in metric structures from \cite{pezz:Morley} is equivalent to an \textit{a priori} stronger variant. This stronger variant is then u…
Stability and Bounded Balls of Free Products
Azadeh Neman
In a series of papers starting in [Sel01] and culminating in [Sel07], Z. Sela proved that free groups, and more generally torsion-free hyperbolic groups, have a stable first-order…
Model theoretic forcing in analysis
Itaï Ben Yaacov, José Iovino
We present a framework for model theoretic forcing in a non-first-order context, and present some applications of this framework to Banach space theory.
On perturbations of Hilbert spaces and probability algebras with a generic automorphism
Itaï Ben Yaacov, Alexander Berenstein
We prove that , the theory of infinite dimensional Hilbert spaces equipped with a generic automorphism, is -stable up to perturbation of the automorphism, and admi…