Modèles non standard en arithmétique et théorie 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émathiques
Published: 1986
Place of publication: Paris
Language: fre
Number of pages: 147
Subjects: Model theory; Set theory
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.