Nonstandard Characterizations of Recursive Saturation and Resplendency

Stuart T. Smith. Nonstandard Characterizations of Recursive Saturation and Resplendency. Journal of Symbolic Logic, 52(3):842-863, 1987.

Abstract

Abstract is missing.