Cégielsi, Patrick; Richard, Denis In memoriam of Alan Robert Woods. (English) Zbl 1432.03120 Cégielski, Patrick (ed.) et al., New studies in weak arithmetics. Stanford, CA: CSLI Publications; Paris: Presses Universitaires du Pôle de Recherche et d’Enseignement Supérieur Paris-Est. CSLI Lect. Notes 211, 15-31 (2013). MSC: 03F30 03B25 11U05 11N25 03-03 01A70 PDFBibTeX XMLCite \textit{P. Cégielsi} and \textit{D. Richard}, CSLI Lect. Notes 211, 15--31 (2013; Zbl 1432.03120)
Cégielski, Patrick; Richard, Denis; Vsemirnov, Maxim On the additive theory of prime numbers. (English) Zbl 1153.11061 Fundam. Inform. 81, No. 1-3, 83-96 (2007). Reviewer: Saeed Salehi (Tabriz) MSC: 11U05 03B25 PDFBibTeX XMLCite \textit{P. Cégielski} et al., Fundam. Inform. 81, No. 1--3, 83--96 (2007; Zbl 1153.11061) Full Text: arXiv
Cégielski, Patrick; Heroult, François; Richard, Denis On the amplitude of intervals of natural numbers whose every element has a common prime divisor with at least an extremity. (English) Zbl 1050.11022 Theor. Comput. Sci. 303, No. 1, 53-62 (2003). Reviewer: Štefan Porubský (Praha) MSC: 11B83 03F30 11A05 11U99 PDFBibTeX XMLCite \textit{P. Cégielski} et al., Theor. Comput. Sci. 303, No. 1, 53--62 (2003; Zbl 1050.11022) Full Text: DOI
Cegielski, P.; Richard, D. Decidability of the theory of the natural integers with the Cantor pairing function and the successor. (English) Zbl 0971.03012 Theor. Comput. Sci. 257, No. 1-2, 51-77 (2001). MSC: 03B25 11U05 PDFBibTeX XMLCite \textit{P. Cegielski} and \textit{D. Richard}, Theor. Comput. Sci. 257, No. 1--2, 51--77 (2001; Zbl 0971.03012) Full Text: DOI
Cégielski, Patrick; Grigorieff, Serge; Richard, Denis The elementary theory of the Cantor pairing function is decidable. (La théorie élémentaire de la fonction de couplage de Cantor des entiers naturels est décidable.) (French) Zbl 0956.03006 C. R. Acad. Sci., Paris, Sér. I, Math. 331, No. 2, 107-110 (2000). MSC: 03B25 PDFBibTeX XMLCite \textit{P. Cégielski} et al., C. R. Acad. Sci., Paris, Sér. I, Math. 331, No. 2, 107--110 (2000; Zbl 0956.03006) Full Text: DOI
Bès, Alexis; Richard, Denis Undecidable extensions of Skolem arithmetic. (English) Zbl 0911.03030 J. Symb. Log. 63, No. 2, 379-401 (1998). Reviewer: R.Murawski (Poznań) MSC: 03F30 PDFBibTeX XMLCite \textit{A. Bès} and \textit{D. Richard}, J. Symb. Log. 63, No. 2, 379--401 (1998; Zbl 0911.03030) Full Text: DOI
Cegielski, Patrick (ed.); Pacholski, Leszek (ed.); Richard, Denis (ed.); Tomasik, Jerzy (ed.); Wilkie, Alex (ed.) Logic colloquium ’94. Proceedings of the European summer meeting of the ASL, Clermont-Ferrand, France, July 21–30, 1994. (English) Zbl 0882.00031 Ann. Pure Appl. Logic 89, No. 1, 100 p. (1997). MSC: 00B25 03-06 68-06 PDFBibTeX XML
Bès, Alexis; Richard, Denis Undecidable extensions of Skolem arithmetic. (Extensions indécidables de l’arithmétique de Skolem.) (French) Zbl 0856.03007 C. R. Acad. Sci., Paris, Sér. I 323, No. 8, 967-970 (1996). MSC: 03B25 03F30 11U05 PDFBibTeX XMLCite \textit{A. Bès} and \textit{D. Richard}, C. R. Acad. Sci., Paris, Sér. I 323, No. 8, 967--970 (1996; Zbl 0856.03007)
Cegielski, Patrick; Matiyasevich, Yuri; Richard, Denis Definability and decidability issues in extensions of the integers with the divisibility predicate. (English) Zbl 0868.11061 J. Symb. Log. 61, No. 2, 515-540 (1996). Reviewer: S.R.Kogalovskij (Ivanovo) MSC: 11U09 03C40 03B25 11U05 PDFBibTeX XMLCite \textit{P. Cegielski} et al., J. Symb. Log. 61, No. 2, 515--540 (1996; Zbl 0868.11061) Full Text: DOI
Cegielski, Patrick; Richard, Denis Indécidabilité de la théorie des entiers naturels munis d’une énumération des premiers et de la divisibilité. (The theory of positive integers structured by a list of primes and divisibility is undecidable). (French) Zbl 0781.03004 C. R. Acad. Sci., Paris, Sér. I 315, No. 13, 1431-1434 (1992). MSC: 03B25 11U05 PDFBibTeX XMLCite \textit{P. Cegielski} and \textit{D. Richard}, C. R. Acad. Sci., Paris, Sér. I 315, No. 13, 1431--1434 (1992; Zbl 0781.03004)
Richard, Denis Definability in terms of the successor function and the coprimeness predicate in the set of arbitrary integers. (English) Zbl 0701.03030 J. Symb. Log. 54, No. 4, 1253-1287 (1989). MSC: 03F30 11U05 PDFBibTeX XMLCite \textit{D. Richard}, J. Symb. Log. 54, No. 4, 1253--1287 (1989; Zbl 0701.03030) Full Text: DOI
Richard, Denis Equivalence of some questions in mathematical logic with some conjectures in number theory. (English) Zbl 0685.03040 Number theory and applications, Proc. NATO ASI, Banff/Can. 1988, NATO ASI Ser., Ser. C 265, 529-545 (1989). Reviewer: R.Murawski MSC: 03F30 PDFBibTeX XML
Grigorieff, Serge; Richard, Denis Contribution à l’étude d’une conjecture de théorie des nombres par le codage ZBV. (Contribution to the study of a conjecture of number theory by ZBV coding). (French) Zbl 0685.03039 Enseign. Math., II. Sér. 35, No. 1-2, 125-189 (1989). Reviewer: R.Murawski MSC: 03F30 PDFBibTeX XMLCite \textit{S. Grigorieff} and \textit{D. Richard}, Enseign. Math. (2) 35, No. 1--2, 125--189 (1989; Zbl 0685.03039)
Richard, Denis Définissabilité de l’arithmétique par coprimarité et restrictions de l’addition ou de la multiplication. (Arithmetical definability from coprimeness and restrictions of addition or multiplication). (French) Zbl 0678.03024 C. R. Acad. Sci., Paris, Sér. I 305, 665-668 (1987). MSC: 03F30 PDFBibTeX XMLCite \textit{D. Richard}, C. R. Acad. Sci., Paris, Sér. I 305, 665--668 (1987; Zbl 0678.03024)
Richard, Denis Answer to a problem raised by J. Robinson: The arithmetic of positive or negative integers is definable from successor and divisibility. (English) Zbl 0612.03009 J. Symb. Log. 50, 927-935 (1985). Reviewer: J.M.Plotkin MSC: 03B25 11U05 PDFBibTeX XMLCite \textit{D. Richard}, J. Symb. Log. 50, 927--935 (1985; Zbl 0612.03009) Full Text: DOI
Richard, Denis Définissabilité de l’arithmétique par successeur, coprimarité et puissance. (Arithmetical definability from successor, coprimeness and power). (French) Zbl 0587.03043 C. R. Acad. Sci., Paris, Sér. I 300, 415-418 (1985). Reviewer: P.Štěpánek MSC: 03F30 PDFBibTeX XMLCite \textit{D. Richard}, C. R. Acad. Sci., Paris, Sér. I 300, 415--418 (1985; Zbl 0587.03043)
Richard, Denis All arithmetical sets of powers of primes are first-order definable in terms of the successor function and the coprimeness predicate. (English) Zbl 0562.03006 Discrete Math. 53, 221-247 (1985). MSC: 03B10 03B25 PDFBibTeX XMLCite \textit{D. Richard}, Discrete Math. 53, 221--247 (1985; Zbl 0562.03006) Full Text: DOI
Richard, Denis La méthode de codage ZBV. (French) Zbl 0632.03010 Sémin. gén. de logique 1983/1984, Publ. Math. Univ. Paris VII 27, 103-113 (1984). MSC: 03B30 03F30 PDFBibTeX XML
Richard, Denis Les relations arithmétiques sur les entiers primaires sont définissables au premier ordre par successeur et coprimarité. (All arithmetical relations and functions over the set of powers of primes are first-order definable in terms of the successor function and the coprimeness predicate). (French) Zbl 0579.03043 C. R. Acad. Sci., Paris, Sér. I 299, 795-798 (1984). Reviewer: F.Montagna MSC: 03F30 03C62 03F25 03B25 PDFBibTeX XMLCite \textit{D. Richard}, C. R. Acad. Sci., Paris, Sér. I 299, 795--798 (1984; Zbl 0579.03043)
Richard, Denis The arithmetics as theories of two orders. (English) Zbl 0555.03026 Orders: description and roles, Proc. Conf. Ordered sets appl., l’Arbresle/France 1982, Ann. Discrete Math. 23, 287-311 (1984). Reviewer: R.Murawski MSC: 03F30 03H15 03C62 PDFBibTeX XML
Pouzet, Maurice (ed.); Richard, Denis (ed.) Orders: description and roles in set theory, lattices, ordered groups, topology, theory of models and relations, combinatorics, effectiveness, social sciences. Proceedings of the Conference of Ordered Sets and their Applications, Château de la Tourette, l’Arbresle, July 5-11, 1982. (English) Zbl 0539.00003 Annals of Discrete Mathematics, 23. North-Holland Mathematics Studies, 99. Amsterdam - New York - Oxford: North-Holland. XXVII, 548 p. $ 69.00; Dfl. 200.00 (1984). MSC: 00Bxx 03-06 05-06 06-06 54-06 PDFBibTeX XML
Richard, Denis La théorie sans egalite du successeur et de la coprimarite des entiers naturels est indecidable. Le predicat de primarite est definissable dans le langage de cette théorie. (French) Zbl 0486.03027 C. R. Acad. Sci., Paris, Sér. I 294, 143-146 (1982). MSC: 03D35 PDFBibTeX XMLCite \textit{D. Richard}, C. R. Acad. Sci., Paris, Sér. I 294, 143--146 (1982; Zbl 0486.03027)
Richard, Denis De la structure additive à la saturation des modeles de Peano et à une classification des sous-langages de l’arithmétique. (French) Zbl 0498.03020 Model theory and arithmetic, Proceedings, Paris 1979/80, Lect. Notes Math. 890, 270-296 (1981). MSC: 03C62 03C50 03H15 PDFBibTeX XML
Richard, Denis Saturation des modeles de Peano. (French) Zbl 0429.03013 C. R. Acad. Sci., Paris, Sér. A 290, 351-353 (1980). MSC: 03C65 03C50 03H15 PDFBibTeX XMLCite \textit{D. Richard}, C. R. Acad. Sci., Paris, Sér. A 290, 351--353 (1980; Zbl 0429.03013)
Keller, Jean Pierre; Richard, Denis Remarques sur les structures additives des modeles de l’arithmétique. (French) Zbl 0385.03058 C. R. Acad. Sci., Paris, Sér. A 287, 101-104 (1978). MSC: 03H15 11U10 20A10 PDFBibTeX XMLCite \textit{J. P. Keller} and \textit{D. Richard}, C. R. Acad. Sci., Paris, Sér. A 287, 101--104 (1978; Zbl 0385.03058)
Richard, Denis On external properties of nonstandard models of arithmetic. (English) Zbl 0405.03036 Publ. Dep. Math., Lyon 14, No. 4, 57-75 (1977). MSC: 03H15 PDFBibTeX XMLCite \textit{D. Richard}, Publ. Dép. Math., Lyon 14, No. 4, 57--75 (1977; Zbl 0405.03036)