Saturated models of universal theories (0)

by Jeremy Avigad
Venue:Annals of Pure and Applied Logic