×

Ressayre, Jean-Paul

Author ID: ressayre.jean-paul Recent zbMATH articles by "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

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

Citations by Year