Journal of the Faculty of Liberal Arts, Yamaguchi University. Natural science Volume 15
published_at 1981-10
On the Constructibility in ZF-P
On the Constructibility in ZF-P
Nakano Yoshihiro
About This Article
Descriptions
The theory of the constructible sets is developped in the system ZF-P, and the properties of the constructible universe derivable from ZF-P are specified.