摘要
In this paper,we first introduce the notions of ω\-1 ordinal definable sets and hereditarily ω\-1 ordinal definable sets. Then we present some properties of the universe HOD 1 of hereditarily ω\-1 ordinal definable sets. Finally,using forcing method,we reveal some consistent relationship between HOD 1 and Changs model C.
In this paper,we first introduce the notions of ω\-1 ordinal definable sets and hereditarily ω\-1 ordinal definable sets. Then we present some properties of the universe HOD 1 of hereditarily ω\-1 ordinal definable sets. Finally,using forcing method,we reveal some consistent relationship between HOD 1 and Changs model C.
