PublicationsManuscripts

Wilkie's proof of the switching lemma

Alex Wilkie

Excerpt from Modèles non-standard en arithmétique et théorie des ensembles, Jean-Pierre Ressayre & Alec J. Wilkie.