Edit Profile (opens in new tab) Ressayre, Jean-Pierre Co-Author Distance Author ID: ressayre.jean-pierre Published as: Ressayre, Jean-Pierre; Ressayre, J.-P.; Ressayre, J. P.; Ressayre, Jean Pierre more...less External Links: MGP · Wikidata · IdRef · theses.fr Documents Indexed: 39 Publications since 1969, including 2 Books 1 Contribution as Editor Co-Authors: 12 Co-Authors with 21 Joint Publications 151 Co-Co-Authors all top 5 Co-Authors 16 single-authored 5 Finkel, Olivier 4 Boughattas, Sedki 4 Mourgues, Marie-Hélène 3 Duparc, Jacques 3 McAloon, Kenneth 1 Berline, Chantal 1 Chalons, Christophe 1 Dickmann, Max A. 1 Girard, Jean-Yves 1 Harnik, Victor 1 Lassaigne, Richard 1 Michel, Pascal 1 Pino Pérez, Ramón 1 Simonnet, Pierre 1 Wilkie, Alex James all top 5 Serials 4 Theoretical Computer Science 3 The Journal of Symbolic Logic 2 Annals of Mathematical Logic 2 Comptes Rendus de l’Académie des Sciences. Série I 2 Publications Mathématiques de l’Université Paris VII 1 Israel Journal of Mathematics 1 Proceedings of the American Mathematical Society 1 Transactions of the American Mathematical Society 1 Annals of Pure and Applied Logic 1 Archive for Mathematical Logic 1 Zapiski Nauchnykh Seminarov POMI 1 Journal of Mathematical Sciences (New York) 1 Annals of Mathematics and Artificial Intelligence 1 RAIRO. Theoretical Informatics and Applications 1 Comptes Rendus Hebdomadaires des Séances de l’Académie des Sciences, Série A 1 Lecture Notes in Mathematics all top 5 Fields 34 Mathematical logic and foundations (03-XX) 11 Computer science (68-XX) 7 Field theory and polynomials (12-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 General and overarching topics; collections (00-XX) 1 Combinatorics (05-XX) 1 Algebraic geometry (14-XX) 1 General topology (54-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 25 Publications have been cited 81 times in 72 Documents Cited by ▼ Year ▼ Models with compactness properties relative to an admissible language. Zbl 0376.02032 Ressayre, J. P. 27 1977 Every real closed field has an integer part. Zbl 0786.12005 Mourgues, M. H.; Ressayre, J. P. 24 1993 Integer parts of real closed exponential fields. Zbl 0791.03018 Ressayre, J.-P. 19 1993 Computer science and the fine structure of Borel sets. Zbl 0971.03044 Duparc, Jacques; Finkel, O.; Ressayre, J.-P. 17 2001 Boolean models and infinitary first order languages. Zbl 0288.02013 Ressayre, J.-P. 8 1973 Stretchings. Zbl 0866.03020 Finkel, O.; Ressayre, J. P. 7 1996 Formal languages defined by the underlying structure of their words. Zbl 0688.03024 Ressayre, J. P. 7 1988 Non standard universes with strong embeddings, and their finite approximations. Zbl 0648.03043 Ressayre, J.-P. 6 1987 Bootstrapping. I. Zbl 1225.03048 Boughattas, S.; Ressayre, J.-P. 6 2010 Elements de logique \(\Pi ^ 1_ n\). Zbl 0573.03029 Girard, Jean-Yves; Ressayre, Jean Pierre 5 1985 Sur les théories du premier ordre catégoriques en un cardinal. Zbl 0209.30403 Ressayre, J. P. 5 1969 Bounding generalized recursive functions of ordinals by effective functors: a complement to the Girard theorem. Zbl 0513.03020 Ressayre, J. P. 5 1982 Prime extensions and categoricity in power. Zbl 0224.02044 Harnik, Victor; Ressayre, Jean-Pierre 4 1971 Arithmetization of the field of reals with exponentiation – extended abstract. Zbl 1144.03027 Boughattas, Sedki; Ressayre, Jean-Pierre 4 2008 The Wadge hierarchy of Petri nets \(\omega\)-languages. Zbl 1310.68130 Duparc, Jacques; Finkel, Olivier; Ressayre, Jean-Pierre 3 2014 Types remarquables et extensions de modeles dans l’arithmétique de Peano. II. (Avec un appendice de M. A. Dickmann). Zbl 0463.03041 Ressayre, Jean-Pierre 2 1980 Model theory and arithmetic. Comptes rendus d’une action thematique programmee du C.N.R.S. sur la theorie des modeles et l’arithmetique, Paris, France, 1979/80. Zbl 0465.00004 2 1981 \(\Pi_ 2^ 1\)-logic and uniformization in the analytical hierarchy. Zbl 0687.03027 Ressayre, J. P. 2 1989 Model theory and a small problem of Hardy. (La théorie des modèles, et un petit problème de Hardy.) Zbl 1044.03524 Ressayre, J. P. 2 1996 Les méthodes de Kirby-Paris et la théorie des ensembles. Zbl 0498.03041 Mc Aloon, Kenneth; Ressayre, Jean-Pierre 2 1981 The Wadge hierarchy of Petri nets \(\omega\)-languages. Zbl 1437.68096 Duparc, Jacques; Finkel, Olivier; Ressayre, Jean-Pierre 1 2013 Modèles nonstandard en arithmétiques et théorie des ensembles. Zbl 0631.03048 Ressayre, J. P.; Wilkie, A. J. 1 1986 Model theory and a small problem of Hardy. (La théorie des modèles, et un petit problème de Hardy.) Zbl 0987.03037 Ressayre, Jean-Pierre 1 2000 Polynomial time uniformization and non-standard methods. Zbl 0860.68055 Ressayre, J. P. 1 1996 An application of Malcev’s series to polynomial time computability. Zbl 0747.03033 Mourgues, M. H.; Ressayre, J. P. 1 1990 The Wadge hierarchy of Petri nets \(\omega\)-languages. Zbl 1310.68130 Duparc, Jacques; Finkel, Olivier; Ressayre, Jean-Pierre 3 2014 The Wadge hierarchy of Petri nets \(\omega\)-languages. Zbl 1437.68096 Duparc, Jacques; Finkel, Olivier; Ressayre, Jean-Pierre 1 2013 Bootstrapping. I. Zbl 1225.03048 Boughattas, S.; Ressayre, J.-P. 6 2010 Arithmetization of the field of reals with exponentiation – extended abstract. Zbl 1144.03027 Boughattas, Sedki; Ressayre, Jean-Pierre 4 2008 Computer science and the fine structure of Borel sets. Zbl 0971.03044 Duparc, Jacques; Finkel, O.; Ressayre, J.-P. 17 2001 Model theory and a small problem of Hardy. (La théorie des modèles, et un petit problème de Hardy.) Zbl 0987.03037 Ressayre, Jean-Pierre 1 2000 Stretchings. Zbl 0866.03020 Finkel, O.; Ressayre, J. P. 7 1996 Model theory and a small problem of Hardy. (La théorie des modèles, et un petit problème de Hardy.) Zbl 1044.03524 Ressayre, J. P. 2 1996 Polynomial time uniformization and non-standard methods. Zbl 0860.68055 Ressayre, J. P. 1 1996 Every real closed field has an integer part. Zbl 0786.12005 Mourgues, M. H.; Ressayre, J. P. 24 1993 Integer parts of real closed exponential fields. Zbl 0791.03018 Ressayre, J.-P. 19 1993 An application of Malcev’s series to polynomial time computability. Zbl 0747.03033 Mourgues, M. H.; Ressayre, J. P. 1 1990 \(\Pi_ 2^ 1\)-logic and uniformization in the analytical hierarchy. Zbl 0687.03027 Ressayre, J. P. 2 1989 Formal languages defined by the underlying structure of their words. Zbl 0688.03024 Ressayre, J. P. 7 1988 Non standard universes with strong embeddings, and their finite approximations. Zbl 0648.03043 Ressayre, J.-P. 6 1987 Modèles nonstandard en arithmétiques et théorie des ensembles. Zbl 0631.03048 Ressayre, J. P.; Wilkie, A. J. 1 1986 Elements de logique \(\Pi ^ 1_ n\). Zbl 0573.03029 Girard, Jean-Yves; Ressayre, Jean Pierre 5 1985 Bounding generalized recursive functions of ordinals by effective functors: a complement to the Girard theorem. Zbl 0513.03020 Ressayre, J. P. 5 1982 Model theory and arithmetic. Comptes rendus d’une action thematique programmee du C.N.R.S. sur la theorie des modeles et l’arithmetique, Paris, France, 1979/80. Zbl 0465.00004 2 1981 Les méthodes de Kirby-Paris et la théorie des ensembles. Zbl 0498.03041 Mc Aloon, Kenneth; Ressayre, Jean-Pierre 2 1981 Types remarquables et extensions de modeles dans l’arithmétique de Peano. II. (Avec un appendice de M. A. Dickmann). Zbl 0463.03041 Ressayre, Jean-Pierre 2 1980 Models with compactness properties relative to an admissible language. Zbl 0376.02032 Ressayre, J. P. 27 1977 Boolean models and infinitary first order languages. Zbl 0288.02013 Ressayre, J.-P. 8 1973 Prime extensions and categoricity in power. Zbl 0224.02044 Harnik, Victor; Ressayre, Jean-Pierre 4 1971 Sur les théories du premier ordre catégoriques en un cardinal. Zbl 0209.30403 Ressayre, J. P. 5 1969 all cited Publications top 5 cited Publications all top 5 Cited by 67 Authors 19 Finkel, Olivier 6 Knight, Julia F. 6 Kuhlmann, Salma 4 Lange, Karen 4 Ressayre, Jean-Pierre 3 Aguilera, Juan Pablo 3 Boughattas, Sedki 3 Duparc, Jacques 3 Kołodziejczyk, Leszek Aleksander 2 D’Aquino, Paola 2 Ehrlich, Philip 2 Fornasiero, Antongiulio 2 Harnik, Victor 2 Jeřábek, Emil 2 Krapp, Lothar Sebastian 2 Kuhlmann, Franz-Viktor 2 Mantova, Vincenzo 2 Marshall, Murray Angus 2 Pollett, Chris 2 Rathjen, Michael 2 Skrzypczak, Michał 2 van den Dries, Lou 1 Adamowicz, Zofia 1 Andler, Daniel 1 Aschenbrenner, Matthias 1 Atserias, Albert 1 Ayat, Seyed Masih 1 Berarducci, Alessandro 1 Buss, Samuel R. 1 Camerlo, Riccardo 1 Carton, Olivier 1 Catlow, J. R. G. 1 Cheng, Yong 1 Darnière, Luck 1 Enayat, Ali 1 Freund, Anton 1 Galanova, Nataliya Yur’evna 1 Iemhoff, Rosalie 1 Kaplan, Elliot 1 Kirby, Laurence 1 Kohlenbach, Ulrich Wilhelm 1 Kossak, Roman 1 Kotlarski, Henryk 1 Lecomte, Dominique 1 Lehéricy, Gabriel 1 L’Innocente, Sonia 1 Macintyre, Angus John 1 Mahajan, Meena 1 Marker, David E. 1 Matusinski, Mickaël 1 Nordström, Jakob 1 Nurkhaidarov, Ermek S. 1 Osiak, Katarzyna 1 Pakhomov, Fedor N. 1 Päppinghaus, Peter 1 Pitteloud, Daniel 1 Pruss, Alexander R. 1 Razborov, Aleksandr Aleksandrovich 1 Schmerl, James H. 1 Serra, Michele 1 Starchenko, Sergei 1 Todorcevic, Stevo B. 1 Tressl, Marcus 1 Urquhart, Alasdair 1 van der Hoeven, Joris 1 Weiermann, Andreas 1 Zekavat, Mahdi all top 5 Cited in 30 Serials 12 Theoretical Computer Science 7 Annals of Pure and Applied Logic 6 Archive for Mathematical Logic 5 The Journal of Symbolic Logic 4 Journal of Algebra 4 Mathematical Logic Quarterly (MLQ) 3 Proceedings of the American Mathematical Society 3 The Bulletin of Symbolic Logic 2 Fundamenta Mathematicae 2 RAIRO. Theoretical Informatics and Applications 2 Oberwolfach Reports 1 Communications in Algebra 1 Information Processing Letters 1 Israel Journal of Mathematics 1 Advances in Mathematics 1 Algebra and Logic 1 Bulletin of the London Mathematical Society 1 Journal of the London Mathematical Society. Second Series 1 Journal of Pure and Applied Algebra 1 Notre Dame Journal of Formal Logic 1 Real Analysis Exchange 1 Synthese 1 Forum Mathematicum 1 International Journal of Foundations of Computer Science 1 Selecta Mathematica. New Series 1 Annals of Mathematics and Artificial Intelligence 1 Journal of Mathematical Logic 1 Fundamenta Informaticae 1 Logical Methods in Computer Science 1 Vestnik Tomskogo Gosudarstvennogo Universiteta. Matematika i Mekhanika all top 5 Cited in 16 Fields 57 Mathematical logic and foundations (03-XX) 25 Computer science (68-XX) 18 Field theory and polynomials (12-XX) 4 Commutative algebra (13-XX) 3 General and overarching topics; collections (00-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 3 Associative rings and algebras (16-XX) 2 Number theory (11-XX) 2 Category theory; homological algebra (18-XX) 2 Real functions (26-XX) 1 History and biography (01-XX) 1 Combinatorics (05-XX) 1 Algebraic geometry (14-XX) 1 Group theory and generalizations (20-XX) 1 Measure and integration (28-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.