Modeles non standard en arithmetique et theorie des ensembles
By: J.P. Ressayre, A.J. Wilkie
Contributors: Wilkie, A. J. (Alec J.)
Series: Publications mathématiques de l'Université Paris VII -- 22
Publisher: U.E.R. de mathématiques & L.A. 212 du C.N.R.S.
Published: 1985
Place of publication: Paris
Language: fre
Number of pages: 147
Subjects: Model theory; Nonstandard mathematical analysis
Notes: Includes bibliographies.
Table of contents: title: Modèles non standard de l'arithmétique, et complexité algorithmique / A.J. Wilkie; title: Modèles non standard et sous-systèmes remarquables de ZF / J-P Ressayre.