This journal utilises an Online Peer Review Service (OPRS) for submissions. By clicking "Continue" you will be taken to our partner site https://ef.msp.org/submit/asl_jsl. Please be aware that your Cambridge account is not valid for this OPRS and registration is required. We strongly advise you to read all "Author instructions" in the "Journal information" area prior to submitting.
In the middle of my Mathematical logic I defined a certain class of formulae as “stratified,” and conjectured that exclusion from this class is a feature “shared, presumably, by all the untenable statements 
(p. 157). This ushered in a set of axioms of class-membership which Rosser has since shown to be inconsistent. Accordingly, in Element and number I dropped the principle *200, in which had been assembled axioms to the effect, roughly, that “stratified functions of elements are elements.” In lieu of *200 I set forth alternatives in which no appeal is made to stratification. The system of Mathematical logic exclusive of *200 carries over as an unchanging framework; and this framework admits, we know, of a simple consistency proof. My concern in the present paper is to draw attention to certain relationships between this framework and earlier theories.
