Recursively presentable prime models (1974)

by L Harrington
Venue:Journal of Symbolic Logic