Some useful preservation theorems (1983)

by Kevin Compton
Venue:Journal of Symbolic Logic