The hierarchy of omega1-Borel sets
classification
🧮 math.LO
keywords
familyomega1setshierarchylengthomega1-borelrealtheorem
read the original abstract
The family omega1-Borel sets is the smallest family of subsets of the real line which contains the family of open sets and is closed under complementation and omega1 unions. We show: Theorem 1. MA+notCH implies this hierarchy has length omega2. Theorem 2. In the Cohen real model it has length either omega1+1 or omega1+2.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.