An Introduction to Recursively Saturated and Resplendent Models (1976)

by J Barwise, J S Schlipf
Venue:J. Symbolic Logic