1. J. Barwise, The smallest Beth extension of L{in{itww1}}, Preliminary report, 1971 (unpublished).
2. J. Barwise and K. Kunen, Hanf numbers for fragments of L{in{itww1}}, Israel J. Math.10 (1971), 306–320.
3. J. Conway, Ph.D. thesis, Cambridge, England.
4. H. Friedman,Why first-order logic?, Stanford, 1971 (unpublished notes).
5. H. Friedman,On the Δ operation on semantic systems, Standord, 1972 (unpublished notes).