1. Implicit and inductive definability (abstract);Aczel;J. Symbolic Logic,1970
2. Infinitary logic and admissible sets;Barwise;J. Symbolic Logic,1969
3. Applications of strictllΠ11 predicates to infinitary logic;J. Symbolic Logic,1969
4. [1971] Infinitary methods in the model theory of set theory, Logic Colloquium ‘69,1971
5. Absolute logics and L∞ω;Annals of Mathematical Logic,1972