A Property of Upper Bounded Ordinal of the Model of ZFC
Received:October 27, 1980  
Key Word:   
Fund ProjectL:
Author NameAffiliation
Sun Wenzhi Nanjing University 
Hits: 1122
Download times: 960
Abstract:
      Forcing has assumed that there is a countable transitive model of ZFC. The least ordinal which is not in the model is called it's upper bounded ordinal. In this paper the critical number of ordinal addition is called the zero-order's critical number, the fixed point of the enumerating function of the zero-order's critical number is called one-order's critical number, and so on. It is proved that the upper bounded ordinal is a k-order's critical number (k is an arbitrary natural number). Therefore, it is a huge ordinal in all countable ordinals.
Citation:
DOI:10.3770/j.issn:1000-341X.1982.04.023
View Full Text  View/Add Comment  Download reader