Remarks on Cantor's absolute, II
Gaisi Takeuti · Proceedings of the Japan Academy Series A Mathematical Sciences · 1961
As to the notions and notations we refer to [1, 2] throughout this paper.In [2, the author presented Cantor's Absolute as a universe satisfying certain conditions.In addition to these conditions we shall now assume the following:For any set a and any well-defined univalent relation, there exists a set consisting of all sets each of which corresponds to an element of a by the relation.In assuming this, we shall prove in this paper that, for every definable class of true closed formulas in Tv, a formula with the following meaning belongs to Tc: For every set a of C, there exists a set b which has a as an element and which is a super-complete model of all formulas of the class under consideration.