On virtual classes and real numbers

Abstract

In a simple, applied functional calculus of first order (i.e., one admitting no functional variables but at least one functional constant), abstracts or schematic expressions may be introduced to play the role of variables over designatable sets or classes. The entities or quasi-entities designated or quasi-designated by such abstracts may be called, following Quine, virtual classes and relations. The notion of virtual class is always relative to a given formalism and depends upon what functional constants are taken as primitive. The first explicit introduction of a general notation for virtual classes (relative to a given formalism) appears to be D4.1 of the author's A homogeneous system for formal logic. That paper develops a system admitting only individuals as values for variables and is adequate for the theory of general recursive functions of natural numbers. Numbers and functions are in fact identified with certain kinds of virtual classes and relations.In the present paper it will be shown how certain portions of the theory of real numbers can be constructed upon the basis of the theory of virtual classes and relations of H.L.The method of building up the real numbers to be employed is essentially an adaptation of standard procedure. Although the main ideas underlying this method are well known, the mirroring of these ideas within the framework of the restricted concepts admitted here presents possibly some novelty. In particular, a basis for the real numbers is provided which in no way admits classes or relations or other "abstract" objects as values for variables. Presupposing the natural numbers, the essential steps are to construct the simple rationals as virtual dyadic relations between natural numbers, to construct the generalized or signed rationals as virtual tetradic relations among natural numbers, and then to formulate a notation for real numbers as virtual classes (of a certain kind) of generalized rationals. Of course, there are several alternative methods. This procedure, however, appears to correspond more to the usual one.