Об эффективной $\sigma$-ограниченности и $\sigma$-компактности в модели Соловея

Доказаны две дихотомические теоремы об эффективных свойствах $\sigma$-ограниченности и $\sigma$-компактности ординально определимых точечных множеств в модели Соловея.
Библиография: 19 названий.