Quel est l'objectif de la théorie des modèles ?
L'un des objectifs de la théorie des modèles est de proposer une caractérisation et une classification des théories, en particulier des théories mathématiques, sur la base des propriétés que possèdent leurs modèles (pour reprendre la formule de Shelah, le programme général est de construire une « classification theory » 3 ).
Qui a inventé la théorie de la stabilité ?
Un pas vers la stabilité La théorie de la stabilité est le « must » de la théorie des modèles d'aujourd'hui. Elle a été inventée par Shelah et revisitée par Hrushovsky (Shelah est considéré comme le Grothendieck de la théorie des modèles, et Hrushovsky est un peu son Deligne...
Quelle est la théorie des corps algébriquement clos ?
D'après le théorème de Macintyre (1971), la théorie des corps algébriquement clos est -stable (la démonstration repose sur le théorème de la base de Hilbert, et donc l'axiome du choix).
Qui a inventé la théorie des modèles ?
Il a cependant fallu attendre les années 1950 et 60 pour que la théorie des modèles devienne une discipline à part entière. Parmi ses pionniers figurent Tarski, R. L. Vaught et M. Morley. Aujourd'hui, la théorie des modèles est l'une des branches les plus importantes de la logique .
Research Interests
I am interested in model theory and algebra. More precisely my research interests are: 1. Model theory of nilpotent groups and Lie algebras. 2. Tame expansions of the group of integers in the NIP side (p-adic valuations, predicates. 3. dp-rank and algebra: classification of dp-minimal integral domains; example of dp-finite division algebras. 4. gen
Publications
Existentially closed models of fields with a distinguished submodule (joint with Leor Neuhauser and Itay Kaplan): We study the category of existentially closed models of fields with a distinguished
Preprints
Model-theoretic properties of nilpotent groups and Lie algebras (joint with Isabel Müller, Nick Ramsey and Daoud Siniora): We prove that the class of c-nilpotent Lie algebras over an arbitrary fiel
Selected Talks
A 4 hours course on amalgamation of Lazard Lie algebras given in Leeds in november 2023.A videoof my talk on generic multiplicative endomorphism of fields, at the Oberwolfach Workshop ID 2302 in January 2023.Dp-minimal integral domains.(Slides from a talk in may 2021 at the Logic Seminar at the Imperial College in London.)Generic expansion by a reduct.(Slides from a talk in winter 2020: Topological and Differential Expansions of O-minimal Structures at Universidad de los Andes/UniversitätKonstanz/Università di Pisa) See full list on choum.net
Lecture Notes
The AKE TheoremCourse on the AKE Theorem at the Basque Center for Applied Mathematics ( 2023).Axiomatic Theory of Independence Relations in ModelTheoryNote of my course at the University of Bonn in the summer semester 2023. See full list on choum.net
Phd Thesis
I defended my Ph.D. thesis at the Institut Camille Jordan, in summer 2019, under the supervision of Thomas Blossier (ICJ Lyon) and Zoé Chatzidakis (ENS Paris). My PhD dissertation: 1. French Introduction 2. English Introduction 3. Full Contents (English) See full list on choum.net
Fields Model Theory Seminar
I was co-organizing a model theory seminar at the Fields Institute. 1. The Fields Model Theory Seminar official wepage 2. A calendar of the Model Theory events at the Fields Institute (including the FMTS) See full list on choum.net
Various Notes
Note on a bomb dropped by Mr Conant and Mr Kruckman, and its consequences for the theory ACFGThe AKE TheoremNotesof my course on independence relations (2023).Generic Imaginary Sorts and Frank Olaf Wagner, an early contribution of Wagner to NSOP1 and a generic expansion preserving weak elimination of imaginaries See full list on choum.net
THESE DE DOCTORAT DE L'UNIVERSITE PARIS 6 Mesure de la
Mesure de la masse du boson Wdans l'expérience ALEPH
Sur la conjecture de Manin-Mumford
Galois +´Equidistribution = Manin-Mumford
Premières leçons sur la raison dans l'histoire de Hegel
Chapitre IV– Le courant électrique continu
La Nanotechnologie (la nanoscience les différents aspects
Fiches de cours KeepSchool Lois du courant continu :
Chapitre 2 VE L'intensité définition et lois
