Thèmes de recherche

Cette partie du site est en construction, voir l'ancien site.

Publications

2012

Publications référencées

• Luc Bélair, Françoise Point, Corrigendum to: Quantifier elimination in valued Ore modules, Journal of Symbolic Logic, 77 (2012), pp. 727–728.

Présentations sans abstract

• Quentin Brouette, A nullstellensatz and a Positivstellensatz for Ordered Differential Fields, British Postgraduate Model Theory Conference, Oxford, 4-6 January 2012, Oxford, UK (2012).

2011

Publications référencées

• Françoise Point, Ensembles définissables dans les corps ordonnés différentiellement clos, Francoise Point, C.R.Acad.Sci.Paris, Ser.I 349 (2011), 929-933., Comptes Rendus de l'Académie des Sciences. Série I. Mathématique, 349 (2011), pp. 929–933.
• Pietro Dello Stritto, Asymptotic classes of finite Moufang polygons, Journal of Algebra, 332 (2011), pp. 114–135.

Autres publications

• Abderezak OULD HOUCINE, Homogeneity and prime models in torsion-free hyperbolic groups, Confluentes Matematici, 3 (2011), pp. 121–155.
• Françoise Point, Definability in valued Ore modules, Logic Colloquium 2010, Paris, France (2011).

Éditeur

• Javier Esparza, Christian Michaux, Charles Steinhorn, Finite and Algorithmic Model Theory (2011).

2010

Publications référencées

• Luc Bélair, Françoise Point, Quantifier elimination in valued Ore modules, Journal of Symbolic Logic, 75 (2010), pp. 1007–1034.
• Sonia L’Innocente, Angus Macintyre, Françoise Point, Exponentiations over the universal enveloping algebra of sl2(C), Annals of Pure & Applied Logic, 161 (2010), pp. 1565–1580.
• Françoise Point, Existentially closed ordered difference fields and rings, Mathematical Logic Quarterly, 56 (2010), pp. 239–256.
• Nicolas Guzy, Françoise Point, Topological differential fields, Annals of Pure & Applied Logic, 161 (2010), pp. 570–598.

2009

Publications référencées

• Thomas Brihaye, Christian Michaux, Cédric Rivière, Cell decomposition and dimension function in the theory of closed ordered differential fields, Annals of Pure & Applied Logic, 159 (2009), pp. 111–128.

Interventions dans les médias

• Thomas Brihaye, Christian Michaux, Economie, environnement et mathématiques (2009).

2008

Publications référencées

• Luc Bélair, Françoise Point, Élimination des quantificateurs dans les équations aux différences linéaires sur les vecteurs de Witt, C. R. Math. Acad. Sci. Paris, 346 (2008), pp. 703–706.

2007

Publications référencées

• Ehud Hrushovski, Françoise Point, On von Neumann regular rings with an automorphism, Journal of Algebra, 315 (2007), pp. 76–120.

Chapitres d'ouvrage

• A. M. W. Glass, Françoise Point, Finitely presented abelian lattice-ordered groups (2007).

2006

Publications référencées

• Thomas Brihaye, Christian Michaux, Corrigendum to "On the expressiveness and decidability of o-minimal hybrid systems" [J. Complexity 21 (2005) 447-478], Journal of Complexity, 22 (2006), pp. 431–434.
• Françoise Point, Some model theory of Bezout difference rings-a survey, Bulletin of the Belgian Mathematical Society Simon Stevin, 13 (2006), pp. 807–826.

2005

Publications référencées

• Christian Michaux, Cédric Rivière, Quelques remarques concernant la théorie des corps ordonnés différentiellement clos, Bulletin de la Société Mathématique de Belgique, 12 (2005), pp. 341–348.
• Thomas Brihaye, Christian Michaux, On the expressiveness and decidability of o-minimal hybrid systems, Journal of Complexity, 21 (2005), pp. 447–478.
• A. M. W. Glass, Angus Macintyre, Françoise Point, Free abelian lattice-ordered groups, Annals of Pure & Applied Logic, 134 (2005), pp. 265–283.
• Françoise Point, Asymptotic theory of modules of separably closed fields, Journal of Symbolic Logic, 70 (2005), pp. 573–592.

2004

Publications référencées

• Thomas Brihaye, Christian Michaux, Cédric Rivière, Christophe Troestler, On O-Minimal Hybrid Systems, Lecture Notes in Computer Science, 2993 (2004), pp. 133–138.