Edit Profile (opens in new tab) Ressayre, Jean-Paul Co-Author Distance Author ID: ressayre.jean-paul Published as: Ressayre, Jean-Paul Documents Indexed: 16 Publications since 1969, including 2 Books Co-Authors 14 single-authored 1 Michel, Pascal 1 Wilkie, Alex James all top 5 Serials 2 Annals of Mathematical Logic 2 Theoretical Computer Science 2 Publications Mathématiques de l’Université Paris VII 1 The Journal of Symbolic Logic 1 Transactions of the American Mathematical Society 1 Comptes Rendus de l’Académie des Sciences. Série I 1 Archive for Mathematical Logic 1 Annals of Mathematics and Artificial Intelligence Fields 13 Mathematical logic and foundations (03-XX) 5 Computer science (68-XX) 1 Field theory and polynomials (12-XX) 1 Algebraic geometry (14-XX) Publications by Year Citations contained in zbMATH Open 12 Publication has been cited 1 time in 1 Document Cited by ▼ Year ▼ Models with compactness properties relative to an admissible language. Zbl 0376.02032 Ressayre, J. P. 27 1977 Integer parts of real closed exponential fields. Zbl 0791.03018 Ressayre, J.-P. 19 1993 Boolean models and infinitary first order languages. Zbl 0288.02013 Ressayre, J.-P. 8 1973 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 Bounding generalized recursive functions of ordinals by effective functors: a complement to the Girard theorem. Zbl 0513.03020 Ressayre, J. P. 5 1982 Sur les théories du premier ordre catégoriques en un cardinal. Zbl 0209.30403 Ressayre, J. P. 5 1969 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 \(\Pi_ 2^ 1\)-logic and uniformization in the analytical hierarchy. Zbl 0687.03027 Ressayre, J. P. 2 1989 Polynomial time uniformization and non-standard methods. Zbl 0860.68055 Ressayre, J. P. 1 1996 Modèles nonstandard en arithmétiques et théorie des ensembles. Zbl 0631.03048 Ressayre, J. P.; Wilkie, A. J. 1 1986 Modèles isomorphes à leurs propres segments initiaux en théorie des ensembles. Zbl 0538.03030 Ressayre, Jean-Paul 1 1983 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 Integer parts of real closed exponential fields. Zbl 0791.03018 Ressayre, J.-P. 19 1993 \(\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 Modèles isomorphes à leurs propres segments initiaux en théorie des ensembles. Zbl 0538.03030 Ressayre, Jean-Paul 1 1983 Bounding generalized recursive functions of ordinals by effective functors: a complement to the Girard theorem. Zbl 0513.03020 Ressayre, J. P. 5 1982 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 Sur les théories du premier ordre catégoriques en un cardinal. Zbl 0209.30403 Ressayre, J. P. 5 1969 Cited by 1 Author 1 Tanaka, Kazuyuki Cited in 1 Serial 1 Annals of Pure and Applied Logic Cited in 1 Field 1 Mathematical logic and foundations (03-XX) Citations by Year