Publications du service "Service de Logique mathématique"
(110 éléments)

2024

Périodiques scientifiques/Article

  • Pilatte, C. (10 May 2024). A solution to the Erdős-Sárközy-Sós problem on asymptotic Sidon bases of order 3. "Compositio Mathematica, 160" (6), 1418-1432. doi:10.48550/arXiv.2303.09659
    2303.09659.pdf

Colloques et congrès scientifiques/Communication orale non publiée/Abstract

  • Point, F., & Point, F.*. (03 October 2024). "Definable groups in generic differential expansions of geometric theories of fields" [Paper presentation]. Model Theory and Applications to Groups and Combinatorics, Marseille, France.
    CIRM_Point.pdf
  • Regnault, N.* , & Point, F.*. (06 February 2024). "Exponential ideals and a Nullstellensatz" [Paper presentation]. 24w5224 - Exponential Fields, Banff, Canada.
    Sept17-E-hensel-arxiv2020-.pdf

Rapports/Rapport de recherche externe

  • Pilatte, C. (2024). "Unconditional correctness of recent quantum algorithms for factoring and computing discrete logarithms". https://orbi.umons.ac.be/handle/20.500.12907/51783
    2404.16450v1.pdf

2023

Périodiques scientifiques/Article

  • Cubides-Kovacsics, P., & Point, F. (March 2023). Topological fields with a generic derivation. "Annals of Pure and Applied Logic, 174" (Numero 3). doi:10.1016/j.apal.2022.103211
    delta_april22.pdf

Rapports/Rapport de recherche externe

  • Pilatte, C. (2023). "Improved bounds for the two-point logarithmic Chowla conjecture". doi:10.48550/arXiv.2310.19357https://orbi.umons.ac.be/handle/20.500.12907/48033
    2310.19357.pdf

E-prints, Working papers et Carnets de recherche/Eprint diffusé à l'origine sur un autre site

  • Point, F.*. (2023). "Dense pairs of rings". ORBi UMONS-University of Mons. https://orbi.umons.ac.be/handle/20.500.12907/47688.
  • Point, F.*. (2023). "A decidable expansion of $(Γ,+,F)$ with the independence property". ORBi UMONS-University of Mons. https://orbi.umons.ac.be/handle/20.500.12907/47689.

2022

Colloques et congrès scientifiques/Communication orale non publiée/Abstract

  • Nihoul, C. (07 February 2022). "Les droites et les plans dans l'espace : quels impacts des pratiques enseignantes sur les apprentissages des élèves ?" [Paper presentation]. Séminaire de l'Ecole Doctorale Thématique Didactique des disciplines, Mons, Belgium.
    EDT22-NIHOUL.pdf

Colloques et congrès scientifiques/Communication publiée dans un périodique

  • Point, F.*. (December 2022). On differential expansions of topological fields. "Bulletin of Symbolic Logic, 28" (4), 572-573.
    Point.pdf

Documents pédagogiques/Notes de cours et syllabus

2021

Périodiques scientifiques/Article

  • Galant, D., & Pilatte, C. (2021). A note on optimal degree-three spanners of the square lattice. "Discrete Mathematics, Algorithms and Applications".
    2010.13473.pdf
  • Eleftheriou, P. E., Sánchez, O. L., & Regnault, N. (May 2021). On coincidence of dimensions in closed ordered differential fields. "Notre Dame Journal of Formal Logic, 62" (2), 257 - 268. doi:10.1215/00294527-2021-0013
    2002.12929v2.pdf

Colloques et congrès scientifiques/Communication orale non publiée/Abstract

  • Nihoul, C. (26 November 2021). "Etude didactique des pratiques enseignantes pour l'enseignement des équations de droites et de plans dans l'espace : quels impacts sur les apprentissages des élèves ?" [Paper presentation]. Séminaire du CREM (Centre de Recherche sur l'Enseignement des Mathématiques), Nivelles, Belgium.
    CREM21_Nihoul.pdf
  • Point, F. (20 October 2021). "On definable groups in expansions of topological  fields by a generic derivation" [Paper presentation]. Fields Institute (Thematic Program on Trends in Pure and Applied Model Theory), Toronto, Canada.

Colloques et congrès scientifiques/Communication poster

  • Pilatte, C. (07 April 2021). "The Inverse Slope Problem and Additive Combinatorics" [Poster presentation]. British Mathematical Colloquium (BMC), Glasgow, (Online), United Kingdom.
    baposter-BMC2021.pdf

Mémoires et thèses/Thèse de doctorat

  • Lambotte, Q. (2021). "Tame pairs of integers" [Doctoral thesis, Université de Mons]. ORBi UMONS-University of Mons. https://orbi.umons.ac.be/handle/20.500.12907/28104
    these.pdf

Développements informatiques/Base de données textuelles, factuelles ou bibliographiques

  • Pilatte, C. (2021). "New bound for Roth's theorem with generalized coefficients".

E-prints, Working papers et Carnets de recherche/Working paper

  • Point, F. (2021). "ON EXPONENTIAL TOPOLOGICAL FIELDS ENDOWED WITH A GENERIC DERIVATION". ORBi UMONS-University of Mons. https://orbi.umons.ac.be/handle/20.500.12907/32204.
  • Point, F. (2021). "On definable groups in expansions of topological  fields by a generic derivation". ORBi UMONS-University of Mons. https://orbi.umons.ac.be/handle/20.500.12907/24053.
  • Point, F. (2021). "On topological  fields of characteristic 0 with a generic derivation". ORBi UMONS-University of Mons. https://orbi.umons.ac.be/handle/20.500.12907/8415.

2020

Périodiques scientifiques/Article

  • Pilatte, C. (2020). NP-completeness of slope-constrained drawing of complete graphs. "Journal of Computational Geometry".
    493-2141-1-PB.pdf
  • Lambotte, Q., & Point, F. (25 March 2020). On expansions of (Z,+,0). "Annals of Pure and Applied Logic, 171" (8), 1-36. doi:10.1016/j.apal.2020.102809
    mc.pdf
  • Mariaule, N. (11 March 2020). Expansions of the p-adic numbers that interpret the ring of integers. "Mathematical Logic Quarterly, 66" (1), 82-90. doi:10.1002/malq.201900040
    1905.11146.pdf
  • L'Innocente, S., & Point, F. (01 March 2020). Bézout domains and lattice-valued modules. "Journal of Pure and Applied Algebra, 224" (1), 444-467. doi:10.1016/j.jpaa.2019.05.016
    Bezout-LP-rev-8.pdf
  • Pilatte, C. (2020). On the sets of n points forming n + 1 directions. "Electronic Journal of Combinatorics". doi:10.37236/8308
    8308-PDF_file-30834-2-10-20200120.pdf

Colloques et congrès scientifiques/Communication orale non publiée/Abstract

  • Point, F. (25 November 2020). "Generic differential expansions of topological fields of characteristic 0" [Paper presentation]. Mathematical Science Research Institute, Berkeley, United States - California.
    MSRI-25-11-20.pdf

Documents pédagogiques/Notes de cours et syllabus

Développements informatiques/Base de données textuelles, factuelles ou bibliographiques

  • Galant, D., & Pilatte, C. (2020). "A note on optimal degree-three spanners of the square lattice".
    2010.13473.pdf

2019

Périodiques scientifiques/Article

  • Brouette, Q., Cubides-Kovacsics, P., & Point, F. (2019). Strong density property of definable types and closed ordered differential fields. "Journal of Symbolic Logic".
    JSL.pdf
  • Pilatte, C. (2019). Un problème de pentes. "Losanges".
  • L'Innocente, S., Point, F., Puninski, G., & Toffalori, C. (2019). The Ziegler spectrum of the ring of entire complex valued functions. "Journal of Symbolic Logic".
    S0022481218000026.pdf

Colloques et congrès scientifiques/Communication publiée dans un périodique

  • Point, F. (2019). "Valued modules on skew polynomial rings and Bézout domains" [Paper presentation]. Model theory of modules, algebras and categories, Erice, Italy.
    FPoint-valuedmodules-rev-3.pdf

Mémoires et thèses/Thèse de doctorat

  • Regnault, N. (2019). "On Differential Topological Exponential Fields" [Doctoral thesis, UMONS - University of Mons]. ORBi UMONS-University of Mons. https://orbi.umons.ac.be/handle/20.500.12907/52656
    Nathalie_Regnault_thesis.pdf

Documents pédagogiques/Notes de cours et syllabus

Allocutions et communications diverses/Autre

  • Delgrange, F., Goeminne, A., Hallet, M., Meurisse, Q., Tamines, C., Thomasset, N., Randour, M., & Van Mieghem, K. (2019). "A vous de jouer !"
    JMS2019.pdf

2018

Périodiques scientifiques/Article

Colloques et congrès scientifiques/Communication orale non publiée/Abstract

  • Brouette, Q. (23 December 2018). "Clôture algébrique et dimension en théorie des modèles" [Paper presentation]. Séminaire théorie des modèles, Mons, Belgium.
  • Point, F. (19 October 2018). "Topological large fields, their generic differential expansions and transfer results" [Paper presentation]. Kolchin seminar, New-York, United States.
  • Cubides Kovacsics, P., & Point, F. (03 October 2018). "Topological large fields, their generic differential expansions and transfer results" [Paper presentation]. Workshop on Tame Expansions of O-minimal Structures, Konstanz, Germany.
  • Point, F. (05 August 2018). "Topological large fields, their generic differential expansions and transfer results" [Paper presentation]. Model-Theoretic Methods in Number Theory and Algebraic Differential Equations, Manchester, United Kingdom.
  • Lambotte, Q. (26 July 2018). "Superstable expansions of (Z,+,0)" [Paper presentation]. Logic Colloquium 2018, Udine, Italy.
    lc18_lambotte.pdf

Colloques et congrès scientifiques/Communication poster

  • Point, F. (08 October 2018). "Nullstellensatz in exponential fields" [Poster presentation]. Real Algebraic Geometry and Model Theory (RAGMT), Konstanz, Germany.

Documents pédagogiques/Notes de cours et syllabus

2017

Colloques et congrès scientifiques/Communication orale non publiée/Abstract

  • Point, F. (14 September 2017). "Topological large fields and their generic expansion to differential fields" [Paper presentation]. Model theory and applications to geometry, Padoue, Italy.
  • Point, F. (30 July 2017). "Bézout domains and lattice valued modules" [Paper presentation]. Model theory of modules, algebras and categories, Erice, Italy.
  • Brouette, Q. (20 March 2017). "Dimensions en théorie des modèles et d'autres sujets mathématiques" [Paper presentation]. Séminaire Jeunes (Math-Info), Mons, Belgium.
  • Mariaule, N. (16 January 2017). "Some remarks about the field of p-adic numbers expanded by a multiplicative subgroup" [Paper presentation]. Model Theory and Applications, Mons, Belgium.

Colloques et congrès scientifiques/Communication publiée dans un périodique

  • Kuhlmann, S., Matuzinski, M., & Point, F. (2017). "The valuation difference rank of a quasi-ordered difference field" [Paper presentation]. New Pathways between Group Theory and Model Theory, Mülheim an der Ruhr , Germany.

2016

Périodiques scientifiques/Article

  • Brouette, Q. (18 November 2016). Definable types in the theory of closed ordered differential fields. "Archive for Mathematical Logic, 56".
  • Point, F., Rigo, M., & Waxweiler, L. (2016). Defining multiplication in some additive expansions of polynomial rings. "Communications in Algebra".
  • Bélair, L., & Point, F. (01 July 2016). La logique des parties fractionnaires de nombres réels. "Comptes Rendus de l'Académie des Sciences. Série I. Mathématique, 354" (7), 645-648.
  • Bélair, L., Gélinas, M., & Point, F. (01 March 2016). Ensembles reconnaissables de séries formelles sur un corps fini. "Comptes Rendus de l'Académie des Sciences. Série I. Mathématique, 354" (3), 225-229.

Colloques et congrès scientifiques/Communication orale non publiée/Abstract

  • Point, F. (28 October 2016). "(Un)decidable expansions of certain Euclidean rings" [Paper presentation]. Definability and Decidability Problems in Number Theory, Oberwolfach, Germany.
  • Point, F. (21 October 2016). "Decidability questions for theories of modules over certain Bézout rings" [Paper presentation]. BN-pair, a conference in the honor of the 60th birthdays of Alexandre Borovik and Ali Nesin, Istanbul, Turkey.
  • Point, F. (28 July 2016). "Alternatives for pseudofinite groups" [Paper presentation]. Model theory of finite and pseudo finite structures, Leeds, United Kingdom.
  • Brouette, Q. (03 May 2016). "Types définissables dans les corps ordonnés différentiellement clos" [Paper presentation]. Séminaire théorie des modèles et groupes, Université Paris 7, France.
  • Lambotte, Q. (24 March 2016). "Expansions superstables du groupe des entiers" [Paper presentation]. Séminaire des jeunes chercheurs de l'UMONS, Mons, Belgium.
  • Brouette, Q. (10 February 2016). "Differential Galois theory, from Picard-Vessiot extensions to strongly normal extensions: Séminaire 'Logique et Analyse' à Gand" [Paper presentation]. Séminaire Logique et Analyse, Université de Gand, Belgium.

Colloques et congrès scientifiques/Communication publiée dans un périodique

  • Point, F. (2016). "On the field of transseries-construction and first-order properties" [Paper presentation]. Mini-Workshop: Surreal Numbers, Surreal Analysis, Hahn Fields and Derivations, Oberwolfach, Germany.
  • Point, F. (2016). "(Un)decidable expansions of certain Euclidean rings" [Paper presentation]. Definability and Decidability Problems in Number Theory, Oberwolfach, Germany.

Colloques et congrès scientifiques/Communication poster

  • Point, F. (20 December 2016). "On the field of transseries-construction and first-order properties" [Poster presentation]. Mini-Workshop: Surreal Numbers, Surreal Analysis, Hahn Fields and Derivations, Oberwolfach, Germany.
  • Lambotte, Q. (07 June 2016). "Superstable expasions of (Z,+,0)" [Poster presentation]. Second Joint Conference of the Belgian, Royal Spanish and Luxembourg Mathematical Societies, Logroño, Spain.
  • Brouette, Q. (06 June 2016). "Differential Galois groups of strongly normal extensions" [Poster presentation]. Second joint conference of the Belgian, Royal Spanish and Luxembourg Mathematical Societies, Logroño, Spain.

Documents pédagogiques/Notes de cours et syllabus

  • Point, F. (2016). "Théorie des modèles 1".

2015

Colloques et congrès scientifiques/Communication orale non publiée/Abstract

  • Brouette, Q. (13 October 2015). "Stellensätze in closed ordered differential fields" [Paper presentation]. Structures algébriques ordonnées et leurs interactions, Luminy, France.
  • Brouette, Q., & Point, F. (01 March 2015). "Differential Galois theory in the class of formally real fields" [Paper presentation]. Logic Colloquium, Vienne, Austria.

2014

Colloques et congrès scientifiques/Communication orale non publiée/Abstract

  • Point, F.*. (September 2014). "Definable sets in topological differential fields" [Paper presentation]. Logic Colloquium 2012, Manchester, United Kingdom.
    Machester12-PointF.pdf
  • Brouette, Q. (15 January 2014). "Differential Galois Theory and Real Fields" [Paper presentation]. British Postgraduate Model Theory 2014 (BPGMT2014), Leeds, United Kingdom.

2013

Périodiques scientifiques/Article

  • L'Innocente, S., Point, F., & Toffalori, C. (13 June 2013). On the model theory of the logarithmic function in compact Lie groups. "Journal of Algebra and Its Applications, 12" (8), 1350055-1/1350055-22. doi:10.1142/S0219498813500552
    LPT-Lie.pdf
  • Brouette, Q. (2013). A Nullstellensatz and a Positivstellensatz for Ordered Differential Fields. "Mathematical Logic Quarterly".
  • Point, F., & OuldHoucine, A. (28 January 2013). Alternatives for pseudofinite groups. "Journal of Group Theory, 16", 461-495. doi:10.1515/jgt-2013-0006
    jgt-2013-0006.pdf

Colloques et congrès scientifiques/Communication orale non publiée/Abstract

  • Brouette, Q. (15 July 2013). "Differential Galois theory and formally real fields" [Paper presentation]. Oberseminar Modelltheorie, Universität Konstanz, Germany.
  • Brouette, Q. (28 June 2013). "Stellensätze in closed ordered differential fields" [Paper presentation]. Oberseminar Reelle Geometrie und Algebra, Universität Konstanz, Germany.

2012

Périodiques scientifiques/Compte rendu et recension critique d’ouvrage

  • Van Praag, P. (03 February 2012). 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" (Fasc.2).

Parties d’ouvrages/Contribution à des ouvrages collectifs

  • Van Praag, P. (2012). Un pionnier en histoire des mathématiques : le Père Henri Bosmans sj (1852-1928). In "Quatre siècles de présence jésuite à Bruxelles-Vier eewen jezuïeten te Brussel, pp.604-612, éd. KADOC-Prosopon, coll. Jesuitica, Leuven, 2012". KADOC-Prosopon.

Périodiques scientifiques/Article

  • Guzy, N., & Point, F. (01 December 2012). Topological differential fields and dimension functions. "Journal of Symbolic Logic, 77" (4), 1147-1164. doi:10.2178/jsl.7704050
  • Bélair, L., & Point, F. (01 June 2012). Corrigendum to: Quantifier elimination in valued Ore modules. "Journal of Symbolic Logic, 77" (2), 727-728.

Colloques et congrès scientifiques/Communication orale non publiée/Abstract

  • Brouette, Q. (13 July 2012). "A Nullstellensatz and a Positivstellensatz for Ordered Differential Fields" [Paper presentation]. Logic Colloquium 2012, Manchester, United Kingdom.
  • Brouette, Q. (05 January 2012). "A nullstellensatz and a Positivstellensatz for Ordered Differential Fields" [Paper presentation]. British Postgraduate Model Theory Conference, Oxford, 4-6 January 2012, Oxford, United Kingdom.

Documents pédagogiques/Notes de cours et syllabus

  • Point, F. (2012). "Cours 'Théorie des modèles 1' (Cours du trimestre automne 2012)".

2011

Périodiques scientifiques/Article

  • Point, F. (16 September 2011). 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", 929-933.
    codf-septembre2011.pdf
  • OULD HOUCINE, A. (10 September 2011). Homogeneity and prime models in torsion-free hyperbolic groups. "Confluentes Mathematici, 3" (1), 121-155.
  • Dello Stritto, P. (15 April 2011). Asymptotic classes of finite Moufang polygons. "Journal of Algebra, 332", 114-135.

Ouvrages/Ouvrage collectif publié en tant qu’éditeur ou directeur

  • Michaux, C., Steinhorn, C., Esparza, J., Michaux, C. (Ed.), Esparza, J. (Ed.), & Steinhorn, C. (Ed.). (2011). "Finite and Algorithmic Model Theory". Cambridge University Press.

Colloques et congrès scientifiques/Communication orale non publiée/Abstract

  • Point, F. (01 June 2011). "Definability in valued Ore modules" [Paper presentation]. Logic Colloquium 2010, Paris, France.

2010

Périodiques scientifiques/Article

  • L'Innocente, S., Macintyre, A., & Point, F. (01 September 2010). Exponentiations over the universal enveloping algebra of sl2(C). "Annals of Pure and Applied Logic, 161" (12), 1565-1580. doi:10.1016/j.apal.2010.06.006
    Linnocente-Macintyre-Point.pdf
  • Bélair, L., & Point, F. (01 September 2010). Quantifier elimination in valued Ore modules. "Journal of Symbolic Logic, 75" (3), 1007-1034. doi:10.2178/jsl/1278682213
    Belair-Point2.pdf
  • Point, F. (01 June 2010). Existentially closed ordered difference fields and rings. "Mathematical Logic Quarterly, 56" (3), 239-256.
    Point3.pdf
  • Guzy, N., & Point, F. (01 January 2010). Topological differential fields. "Annals of Pure and Applied Logic, 161" (4), 570-598. doi:10.1016/j.apal.2009.08.001
    Guzy-Point.pdf

2009

Périodiques scientifiques/Article

  • Brihaye, T., Michaux, C., & Rivière, C. (01 May 2009). Cell decomposition and dimension function in the theory of closed ordered differential fields. "Annals of Pure and Applied Logic, 159" (Issues 1-2), 111-128. doi:10.1016/j.apal.2008.09.029
    BRIHAYE-2009-14-JOURNAL.pdf

Allocutions et communications diverses/Article grand public

  • Brihaye, T., & Michaux, C. (2009). "Economie, environnement et mathématiques".

2008

Périodiques scientifiques/Article

  • Bélair, L., & Point, F. (01 July 2008). É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" (13-14), 703-706. doi:10.1016/j.crma.2008.05.011
    Belair-Point1.pdf

2007

Parties d’ouvrages/Contribution à des ouvrages collectifs

  • Glass, A. M. W., & Point, F. (2007). Finitely presented abelian lattice-ordered groups. In "Algebraic and Proof-theoretic Aspects of Non-classical Logics" (pp. 160-193). Berlin Heidelberg, Unknown/unspecified: Springer-Verlag.
    fpa105.pdf

Périodiques scientifiques/Article

  • Hrushovski, E., & Point, F. (01 September 2007). On von Neumann regular rings with an automorphism. "Journal of Algebra, 315" (1), 76-120. doi:10.1016/j.jalgebra.2007.05.006
    Hrushovski-Point.pdf

2006

Périodiques scientifiques/Article

  • Brihaye, T., & Michaux, C. (31 January 2006). Corrigendum to 'On the expressiveness and decidability of o-minimal hybrid systems' [J. Complexity 21 (2005) 447-478]. "Journal of Complexity, 22" (Issue 3), 431-434.
  • Point, F. (01 January 2006). Some model theory of Bezout difference rings-a survey. "Bulletin of the Belgian Mathematical Society Simon Stevin, 13" (5), 807-826.
    Point2.pdf

2005

Périodiques scientifiques/Article

  • Michaux, C., & Rivière, C. (01 September 2005). Quelques remarques concernant la théorie des corps ordonnés différentiellement clos. "Bulletin de la Société Mathématique de Belgique, 12" (3), 341-348.
    RIVIERE-2005-1-BSMB.pdf
  • Brihaye, T., & Michaux, C. (01 August 2005). On the expressiveness and decidability of o-minimal hybrid systems. "Journal of Complexity, 21" (Issue 4), 447-478. doi:10.1016/j.jco.2004.09.003
    BRIHAYE-2005-01-JOURNAL.pdf
  • Glass, A. M. W., Macintyre, A., & Point, F. (01 July 2005). Free abelian lattice-ordered groups. "Annals of Pure and Applied Logic, 134" (2-3), 265-283. doi:10.1016/j.apal.2004.10.017
    Glass-Macintyre-Point.pdf
  • Point, F. (01 June 2005). Asymptotic theory of modules of separably closed fields. "Journal of Symbolic Logic, 70" (2), 573-592. doi:10.2178/jsl/1120224729
    Point1.pdf

2004

Périodiques scientifiques/Article

  • Brihaye, T., Michaux, C., Rivière, C., & Troestler, C. (01 January 2004). On O-Minimal Hybrid Systems. "Lecture Notes in Computer Science, 2993", 133-138. doi:10.1007/978-3-540-24743-2_15
    ominhysysbis.pdf

Allocutions et communications diverses/Autre

  • Michaux, C., Troestler, C., & Bridoux, S. (2004). "Préparer la transition secondaire-université dans les cours de mathématiques".

2000

Périodiques scientifiques/Article

  • Troestler, C., & Michaux, C. (28 January 2000). Isomorphism theorem for BSS recursively enumerable sets on real closed fields. "Theoretical Computer Science, 231", 253-273. doi:10.1016/S0304-3975(99)00103-6
    1-s2.0-S0304397599001036-main.pdfBSSre.pdf

1998

Colloques et congrès scientifiques/Communication publiée dans un périodique

  • Michaux, C., & Troestler, C. (1998). "Isomorphism Theorem for BSS Recursiveley Enumerable Sets over Real Closed Fields" [Paper presentation]. International Colloquium Universal Machines and Computations, Metz, France.

Rapports/Rapport de recherche interne

  • Michaux, C., & Troestler, C. (1998). "Isomorphism theorem for BSS recursively enumerable sets on real closed fields". NeuroCOLT2. https://orbi.umons.ac.be/handle/20.500.12907/9562
    10.1.1.9.6375.ps

1900

Périodiques scientifiques/Compte rendu et recension critique d’ouvrage

Sous presse

Parties d’ouvrages/Contribution à des ouvrages collectifs

  • Point, F. (in press). On the expansion (N,+,2^x) of Presburger arithmetic. In "Boolean relation theory an incompleteness by harvey Friedman in Lecture Notes in Logic". Association of symbolic logic.
    FPoint_0AppB072710-1mnlwyn.pdf