arXiv Analytics

Sign in

arXiv:1603.04237 [math.LO]AbstractReferencesReviewsResources

OD elements of countable OD sets in the Solovay model

Vladimir Kanovei

Published 2016-03-14Version 1

It is true in the Solovay model that every countable ordinal-definable set of any kind contains only ordinal-definable elements.

Comments: 20 pages with index
Categories: math.LO
Subjects: 03E45, 03E15
Related articles: Most relevant | Search more
arXiv:1408.1202 [math.LO] (Published 2014-08-06)
Linearization of partial quasi-orderings in the Solovay model revisited
arXiv:1609.01032 [math.LO] (Published 2016-09-05)
Countable OD sets of reals belong to the ground model
arXiv:math/9507213 [math.LO] (Published 1995-07-26)
On a Glimm -- Effros dichotomy and an Ulm--type classification in Solovay model

Links

Toolbox