Published online by Cambridge University Press: 12 March 2014
It is known that Leśniewski constructed an interpretation of mereology in the real number system using binary expansions.2 Unfortunately, this construction is no longer extant. The following paper, except for a slight variation, is an attempt to reconstruct this interpretation.
Leśniewski probably considered sequences of 0's and I's (except for the sequence of all 0's) and defined a first sequence as an element of the second if every place in which the first has a I, so also does the second.
This paper is part of a thesis written under the direction of Professor Boleslaw Sobociński and submitted to the graduate school of the University of Notre Dame in partial fulfillment of the requirements for the degree of Doctor of Philosophy with Mathematics as major subject in August, 1961.