552 documents

  • Joelle Cohen, Dominique Perrin, Jean-Eric Pin. On the expressive power of temporal logic for finite words. Journal of Computer and System Sciences (JCSS), Elsevier, 1993, 46, pp.271-294. <hal-00020069>
  • Patrick Cegielski, Denis Richard. Indécidabilité de la théorie des entiers naturels munis d'une énumération des premiers et de la divisibilité. Comptes rendus de l'Académie des sciences. Série I, Mathématique, Elsevier, 1992, 315, pp.1431-1434. <hal-00095664>
  • Patrick Cegielski. La théorie des corps inductifs archimédiens rationnellement complets. Comptes rendus de l'Académie des sciences. Série I, Mathématique, Elsevier, 1990, 311, pp.847-850. <hal-00095659>
  • Patrick Cegielski. La théorie des corps réels-clos inductifs est une extension conservative de l'arithmétique de Peano. Comptes rendus de l'Académie des sciences. Série I, Mathématique, Elsevier, 1990, 310, pp.239-242. <hal-00095655>
  • Patrick Cegielski. The Elementary Theory of the Natural Lattice is Finitely Axiomatizable. Notre Dame Journal of Formal Logic, University of Notre Dame, 1989, 30, pp.138-150. <hal-00095651>
  • Patrick Cegielski. Historique de la théorie élémentaire des ensembles. Fragments d'histoire des mathématiques II, APMEP (Association des Professeurs de Mathématiques de l'Enseignement Public), pp.161-210, 1987. <hal-00096775>
  • Patrick Cegielski, Leszek Pacholski, Denis Richard, Jerzy Tomasik, Alex Wilkie. Preface - Logic Colloquium '94, 21-30 July 1994, Clermont-Ferrand, France. Annals of Pure and Applied Logic, Elsevier Masson, 1987, 89, pp.1-3. <hal-00097607>
  • Patrick Cegielski. La théorie élémentaire de la divisibilité est finiment axiomatisable. Comptes rendus de l'Académie des sciences. Série I, Mathématique, Elsevier, 1984, 299, pp.367-369. <hal-00095646>
  • Patrick Cegielski, Kenneth Mc Aloon, George Wilmers. Modèles récursivement saturés de l'addition et de la multiplication des entiers naturels. D. van Dalen. Logic colloquium 80, North-Holland, pp.57-68, 1982. <hal-00096748>
  • Patrick Cegielski. La théorie élémentaire de la multiplication est conséquence d'un nombre fini d'axiomes de ISigmaZéro. Comptes rendus de l'Académie des sciences. Série I, Mathématique, Elsevier, 1981, 293, pp.351-352. <hal-00095642>