Constructible semi-lattices of degrees of constructibility
1977 ◽
pp. 1-43
◽