Countable models of set theories

[1]  K. Jon Barwise,et al.  Infinitary logic and admissible sets , 1969, Journal of Symbolic Logic.