Jon Barwise. Infinitary logic and admissible sets. The journal of symbolic logic, vol. 34 (1969), pp. 226–252. | Publicación