Abstract:
Two dichotomy theorems on the effective $\sigma$-boundedness and effective $\sigma$-compactness of ordinal definable point sets in Solovay's model are proved.
Keywords:Solovay's model, effective $\sigma$-boundedness, effective $\sigma$-compactness, descriptive set theory.