Abstract:
Two dichotomy theorems on the effective σ-boundedness and effective σ-compactness of ordinal definable point sets in Solovay's model are proved.
Keywords:
Solovay's model, effective σ-boundedness, effective σ-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 σ-Boundedness and σ-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