关于实数正则性的分离
On the sepration of regularity properties of the reals
摘要：
本文提出了一个模型，其中ω_1是实数不可达的，Silver可测性对所有集合成立，但Miller和Lebesgue可测性对某些集合不成立.这有助于一系列的研究开始由谢拉在20世纪80年代和最近继续由Schrittesser和弗里德曼，关于分离的不同概念的正则性性质的真正的线。
英文摘要：
We present a model where ω_1 is inaccessible by reals, Silver measurability holds for all sets but Miller and Lebesgue measurability fail for some sets. This contributes to a line of research started by Shelah in the 1980s and more recently continued by Schrittesser and Friedman, regarding the separation of different notions of regularity properties of the real line.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
