Chinese Quarterly Journal of Mathematics ›› 1998, Vol. 13 ›› Issue (1): 98-106.

Previous Articles     Next Articles

ω1-Ordinal Definable Sets and Chang's Model C

  

  1.  Department of Mathematics,Nanjing University,Nanjing,210093; Institute of Software,Academia Sinica,Beijing,100080

  • Received:1996-01-09 Online:1998-03-30 Published:2024-11-11
  • Supported by:
    The project is supported by NSFC.

Abstract:  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 HOD1 of hereditarily ω1-ordinal definable sets.Finally,using forcing method,we reveal some consistent relationship between HOD1 and Changʾs model C.

CLC Number: