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.
The work of the first author was supported by the Russian Foundation for Basic Research under grant 13-01-00006 and that of the second author, by the Russian Science Foundation under grant 14-50-00150.
Citation:
V. G. Kanovei, V. A. Lyubetskii, “On Effective $\sigma$-Boundedness and $\sigma$-Compactness in Solovay's Model”, Mat. Zametki, 98:2 (2015), 247–257; Math. Notes, 98:2 (2015), 273–282
This publication is cited in the following 1 articles:
Lyubetsky V.A., Seliverstov A.V., “A novel algorithm for solution of a combinatory set partitioning problem”, J. Commun. Technol. Electron., 61:6 (2016), 705–708