Resplendent models and S::1:::::1:::{/Sigma_1^1} -definability with an oracle

Andrey Bovykin. Resplendent models and S::1:::::1:::{/Sigma_1^1} -definability with an oracle. Arch. Math. Log., 47(6):607-623, 2008. [doi]

Abstract

Abstract is missing.