Thèmes de recherche
Cette partie du site est en construction, voir l'ancien site.
Publications
2020
Publications référencées
- Bézout domains and lattice-valued modules, Journal of Pure and Applied Algebra, (2020), Elsevier. ,
2019
Publications référencées
- On expansions of (Z,+,0), Annals of Pure and Applied Logic, 171 (2019), pp. 1–36, Elsevier. , DOI: https://doi.org/10.1016/j.apal.2020.102809.
- Strong density property of definable types and closed ordered differential fields, Journal of Symbolic Logic, (2019), Cambridge University Press. ,
- The Ziegler spectrum of the ring of entire complex valued functions, Journal of Symbolic Logic, (2019), Cambridge University Press. ,
Actes de congrès avec peer-reviewing
- Valued modules on skew polynomial rings and Bézout domains, Model theory of modules, algebras and categories, Erice, Italie, 2019. ,
Publications (non référencées)
- Theorie des modeles 1, notes de cours, 2019. ,
Vulgarisation
- A vous de jouer !, 2019, Atelier, Journées Math-Sciences. ,
2018
Publications référencées
- Fractional parts of dense additive subgroups of real numbers, Algebra Universalis, 79 (2018), pp. 1–23, Birkhauser Verlag. ,
- Definability of types and vc density in topological differential fields, Archive for Mathematical Logic, 57 (2018), pp. 809–828, Springer. ,
- Embedded Picard-Vessiot extensions, Communications in Algebra, 46 (2018), pp. 1_7, Marcel Dekker. ,
Publications (non référencées)
- Théorie des modèles 1, notes de cours, 2018. ,
- Topological large fields, their generic differential expansions and transfer results, Kolchin seminar, New-York, Etats-Unis, 2018. ,
- Topological large fields, their generic differential expansions and transfer results, Workshop on Tame Expansions of O-minimal Structures, Konstanz, Allemagne, 2018. ,
- Topological large fields, their generic differential expansions and transfer results, Model-Theoretic Methods in Number Theory and Algebraic Differential Equations, Manchester, Angleterre, 2018. ,
Présentations & posters sans abstract
- Clôture algébrique et dimension en théorie des modèles, Séminaire théorie des modèles, Mons, Belgique, 2018. ,
- Nullstellensatz in exponential fields, Real Algebraic Geometry and Model Theory (RAGMT), Konstanz, Allemagne, 2018. ,
- Superstable expansions of (Z,+,0), Logic Colloquium 2018, Udine, Italie, 2018. ,
2017
Actes de congrès avec peer-reviewing
- The valuation difference rank of a quasi-ordered difference field, New Pathways between Group Theory and Model Theory, Mülheim an der Ruhr, Allemagne, 2017. ,
Publications (non référencées)
- Topological large fields and their generic expansion to differential fields, Model theory and applications to geometry, Padoue, Italie, 2017. ,
- Bézout domains and lattice valued modules, Model theory of modules, algebras and categories, Erice, Italie, 2017. ,
Présentations & posters sans abstract
- Dimensions en théorie des modèles et d’autres sujets mathématiques, Séminaire Jeunes (Math-Info), Mons, Belgique, 2017. ,
- Some remarks about the field of p-adic numbers expanded by a multiplicative subgroup, Model Theory and Applications, Mons, Belgique, 2017. ,
2016
Publications référencées
- Definable types in the theory of closed ordered differential fields, Archive for Mathematical Logic, 56 (2016), Springer Science & Business Media B.V.. ,
- Defining multiplication in some additive expansions of polynomial rings, Communications in Algebra, (2016), Taylor & Francis Ltd. ,
- La logique des parties fractionnaires de nombres réels, Comptes Rendus de l'Académie des Sciences. Série I. Mathématique, 354 (2016), pp. 645–648, Elsevier Masson. ,
- Ensembles reconnaissables de séries formelles sur un corps fini, Comptes Rendus de l'Académie des Sciences. Série I. Mathématique, 354 (2016), pp. 225–229, Elsevier Masson. ,
Publications (non référencées)
- On the field of transseries-construction and first-order properties., Mini-Workshop: Surreal Numbers, Surreal Analysis, Hahn Fields and Derivations, Oberwolfach, Allemagne, 2016. ,
- (Un)decidable expansions of certain Euclidean rings, Definability and Decidability Problems in Number Theory, Oberwolfach, Allemagne, 2016. ,
- Théorie des modèles 1, notes de cours, 2016. ,
Présentations & posters avec abstract
- Decidability questions for theories of modules over certain Bézout rings, BN-pair, a conference in the honor of the 60th birthdays of Alexandre Borovik and Ali Nesin, Istanboul, Turquie, 2016. ,
- Alternatives for pseudofinite groups, Model theory of finite and pseudo finite structures, Leeds, Grande-Bretagne, 2016. ,
Présentations & posters sans abstract
- On the field of transseries-construction and first-order properties., Mini-Workshop: Surreal Numbers, Surreal Analysis, Hahn Fields and Derivations, Oberwolfach, Allemagne, 2016. ,
- (Un)decidable expansions of certain Euclidean rings, Definability and Decidability Problems in Number Theory, Oberwolfach, Allemagne, 2016. ,
- Superstable expasions of (Z,+,0), Second Joint Conference of the Belgian, Royal Spanish and Luxembourg Mathematical Societies, Logroño, Espagne, 2016. ,
- Differential Galois groups of strongly normal extensions, Second joint conference of the Belgian, Royal Spanish and Luxembourg Mathematical Societies, Logroño, Espagne, 2016. ,
- Types définissables dans les corps ordonnés différentiellement clos., Séminaire théorie des modèles et groupes, Université Paris 7, France, 2016. ,
- Expansions superstables du groupe des entiers, Séminaire des jeunes chercheurs de l'UMONS, Mons, Belgique, 2016. ,
- Differential Galois theory, from Picard-Vessiot extensions to strongly normal extensions, Séminaire Logique et Analyse, Université de Gand, Belgique, 2016. ,
2015
Publications (non référencées)
- Differential Galois theory in the class of formally real fields, Logic Colloquium, Vienne, Autriche, 2015. ,
Présentations & posters sans abstract
- Stellensätze in closed ordered differential fields, Structures algébriques ordonnées et leurs interactions, Luminy, France, 2015. ,
2014
Présentations & posters sans abstract
- Differential Galois Theory and Real Fields, British Postgraduate Model Theory 2014 (BPGMT2014), Leeds, Grande-Bretagne, 2014. ,
2013
Publications référencées
- On the model theory of the logarithmic function in compact Lie groups, Journal of Algebra & Its Applications, 12 (2013), pp. 1350055–1/1350055–22, World Scientific Publishing Company. ,
- A Nullstellensatz and a Positivstellensatz for Ordered Differential Fields, Mathematical Logic Quarterly, (2013), John Wiley & Sons. ,
- Alternatives for pseudofinite groups, Journal of Group Theory, 16 (2013), pp. 461–495, Walter de Gruyter GmbH & Co. KG.. ,
Présentations & posters sans abstract
- Differential Galois theory and formally real fields, Oberseminar Modelltheorie, Universität Konstanz, Allemagne, 2013. ,
- Stellensätze in closed ordered differential fields, Oberseminar Reelle Geometrie und Algebra, Universität Konstanz, Allemagne, 2013. ,
2012
Publications référencées
- Topological differential fields and dimension functions, Journal of Symbolic Logic, 77 (2012), pp. 1147–1164, Association for Symbolic Logic. ,
- Corrigendum to: Quantifier elimination in valued Ore modules, Journal of Symbolic Logic, 77 (2012), pp. 727–728, Association for Symbolic Logic. ,
- 2. compte rendu de l’ ouvrage : d’Udekem-Gevers (Marie) ,La machine Mathématique (1946-1962) ,Académie royale de Belgique, Mémoire de la Cl. Des Sc., 3e série.,33, n° 2073, 2011, Revue Belge de Philologie et d'Histoire, t.90 (2012), Société pour le Progrès des Etudes Philologiques et Historiques. ,
Publications (non référencées)
- Cours "Théorie des modèles 1" (Cours du trimestre automne 2012), notes de cours, 2012. ,
- A Nullstellensatz and a Positivstellensatz for Ordered Differential Fields, Logic Colloquium 2012, Manchester, UK, 2012. ,
Chapitres d'ouvrage
- Un pionnier en histoire des mathématiques : le Père Henri Bosmans sj (1852-1928), 2012, KADOC-Prosopon. ,
Présentations & posters sans abstract
- 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
- 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, Elsevier Masson. ,
- Asymptotic classes of finite Moufang polygons, Journal of Algebra, 332 (2011), pp. 114–135, Academic Press. , EPRINT.
Publications (non référencées)
- Homogeneity and prime models in torsion-free hyperbolic groups, Confluentes Matematici, 3 (2011), pp. 121–155. ,
- Definability in valued Ore modules, Logic Colloquium 2010, Paris, France, 2011. ,
Éditeur
- Finite and Algorithmic Model Theory, 2011, Cambridge University Press. ,
2010
Publications référencées
- Quantifier elimination in valued Ore modules, Journal of Symbolic Logic, 75 (2010), pp. 1007–1034, Association for Symbolic Logic. , DOI: 10.2178/jsl/1278682213.
- Exponentiations over the universal enveloping algebra of sl2(C), Annals of Pure & Applied Logic, 161 (2010), pp. 1565–1580, Elsevier Science. , DOI: 10.1016/j.apal.2010.06.006.
- Existentially closed ordered difference fields and rings, Mathematical Logic Quarterly, 56 (2010), pp. 239–256, John Wiley & Sons, Inc. - Engineering. ,
- Topological differential fields, Annals of Pure & Applied Logic, 161 (2010), pp. 570–598, Elsevier Science. , DOI: 10.1016/j.apal.2009.08.001.
2009
Publications référencées
- Cell decomposition and dimension function in the theory of closed ordered differential fields, Annals of Pure & Applied Logic, 159 (2009), pp. 111–128, Elsevier Science. , DOI: 10.1016/j.apal.2008.09.029.
Vulgarisation
- Economie, environnement et mathématiques, 2009. ,
2008
Publications référencées
- Élimination des quantificateurs dans les équations aux différences linéaires sur les vecteurs de Witt, Comptes Rendus de l'Académie des Sciences. Série I. Mathématique, 346 (2008), pp. 703–706, Elsevier Masson. , ISSN: 1631-073X, DOI: 10.1016/j.crma.2008.05.011.
2007
Publications référencées
- On von Neumann regular rings with an automorphism, Journal of Algebra, 315 (2007), Academic Press. , DOI: 10.1016/j.jalgebra.2007.05.006.
Chapitres d'ouvrage
- Finitely presented abelian lattice-ordered groups, 2007, Springer-Verlag. , ISSN: 0302-9743.
2006
Publications référencées
- 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, Academic Press. ,
- Some model theory of Bezout difference rings-a survey, Bulletin of the Belgian Mathematical Society Simon Stevin, 13 (2006), Institut Mathématique. ,
2005
Publications référencées
- Quelques remarques concernant la théorie des corps ordonnés différentiellement clos, Bulletin de la Société Mathématique de Belgique, 12 (2005), Hirsch. ,
- On the expressiveness and decidability of o-minimal hybrid systems, Journal of Complexity, 21 (2005), Academic Press. , DOI: 10.1016/j.jco.2004.09.003.
- Free abelian lattice-ordered groups, Annals of Pure & Applied Logic, 134 (2005), Elsevier Science. , DOI: 10.1016/j.apal.2004.10.017.
- Asymptotic theory of modules of separably closed fields, Journal of Symbolic Logic, 70 (2005), pp. 573–592, Association for Symbolic Logic. , DOI: 10.2178/jsl/1120224729.
2004
Publications référencées
- On O-Minimal Hybrid Systems, Lecture Notes in Computer Science, 2993 (2004), Springer. ,
Vulgarisation
- Préparer la transition secondaire-université dans les cours de mathématiques, 2004, Organisation d'une formation IFC, UMONS, Mons. ,
2000
Publications référencées
- Isomorphism theorem for BSS recursively enumerable sets on real closed fields, Theoretical Computer Science, 231 (2000), Elsevier Science. , DOI: 10.1016/S0304-3975(99)00103-6.
1998
Actes de congrès avec peer-reviewing
- Isomorphism Theorem for BSS Recursiveley Enumerable Sets over Real Closed Fields, International Colloquium Universal Machines and Computations, Metz, France, 1998. ,
Publications (non référencées)
- Isomorphism theorem for BSS recursively enumerable sets on real closed fields, 1998, NeuroCOLT2. ,