- Craig Smorynski:
Cofinal extensions of nonstandard models of arithmetic. Notre Dame J. Formal Log. 22(2): 133-144 (1981) - Craig Smorynski:
Elementary extensions of recursively saturated models of arithmetic. Notre Dame J. Formal Log. 22(3): 193-203 (1981) - Craig Smorynski:
Fifty years of self-reference in arithmetic. Notre Dame J. Formal Log. 22(4): 357-374 (1981) - Dolph Ulrich:
RMLC: solution to a problem left open by Lemmon. Notre Dame J. Formal Log. 22(2): 187-189 (1981) - Steven J. Wagner:
Tonk. Notre Dame J. Formal Log. 22(4): 289-300 (1981) - Thomas P. Wilson:
General models of set theory. Notre Dame J. Formal Log. 22(1): 36-44 (1981) - Robert S. Wolf:
A highly efficient "transfinite recursive definitions" axiom for set theory. Notre Dame J. Formal Log. 22(1): 63-75 (1981)