185 citations
- International Center for Transitional JusticeUS130 papers
- Lyon 1 UniversitéFR96 papers
- Centre National de la Recherche ScientifiqueFR62 papers
- Bouygues (France)FR10 papers
- Institut de Mathématiques de Jussieu-Paris Rive GaucheFR7 papers
- Laboratoire de Mathématiques d'OrsayFR7 papers
- Université Paris CitéFR7 papers
- Institut National des Sciences Appliquées de LyonFR6 papers
- École Centrale de LyonFR5 papers
- Laboratoire de Mathématiques Blaise PascalFR5 papers
- Institut de Mathématiques de MarseilleFR4 papers
- Institut FourierFR4 papers
Showing 2012 · math.LOShow all
3 papers · 2 filters
math.LO2012★ 1 cited
Groups and fields with NTP2
Artem Chernikov, Itay Kaplan, Pierre Simon
NTP2 is a large class of first-order theories defined by Shelah and generalizing simple and NIP theories. Algebraic examples of NTP2 structures are given by ultra-products of p-adi…
math.LO2012
Prime types and geometric completeness
Jean Berthet
The geometric form of Hilbert's Nullstellensatz may be understood as a property of "geometric saturation" in algebraically closed fields. We conceptualise this property in the lang…
math.LO2012★ 5 cited
Externally definable sets and dependent pairs II
Artem Chernikov, Pierre Simon
We continue investigating the structure of externally definable sets in NIP theories and preservation of NIP after expanding by new predicates. Most importantly: types over finite…