Hostname: page-component-8448b6f56d-xtgtn Total loading time: 0 Render date: 2024-04-23T10:12:05.542Z Has data issue: false hasContentIssue false
  • English
  • Français

Finite sequences of classes

Published online by Cambridge University Press:  12 March 2014

Raphael M. Robinson
Raphael M. Robinson*
Affiliation:
University of California
Get access Rights & Permissions [Opens in a new window]

Extract

Consider an axiomatic set theory in which there is a distinction between “sets” and “classes,” only sets being allowable as elements. How can one define a finite sequence of classes? This problem was proposed to me by A. Tarski, and a solution is given in this note. We shall assume the axiom system Σ used by Godei in his study of the continuum hypothesis, and shall use the same notation.1

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 10 , Issue 4 , December 1945 , pp. 125 - 126
Copyright
Copyright © Association for Symbolic Logic 1946

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

1 Gödel, K., The consistency of the continuum hypothesis, Princeton University Press, Princeton 1940. The axioms appear in Chapter I; an index of notation is given on pp. 63–64.Google Scholar