Recursively saturated, resplendent models, and saturated models.

From Peano's Parlour
Jump to: navigation, search