1. J. E. Baumgartner, Applications of the proper forcing axiom. In: Handbook of Set Theoretic Topology (K. Kunen and J. Vaughan, eds.), pp. 913-959 (North-Holland, 1984).
2. M. Bekkali, Topics in set theory (Springer-Verlag, 1991).
3. A. Enayat, Uncountable expansions of the standard model of Peano arithmetic. To appear in Annals Pure Appl. Logic.
4. F. Engström, Expansions, omitting types, and standard systems (PhD thesis, Chalmers University of Technology and Goteborg University 2004).
5. Scott's problem for proper Scott sets;Gitman;J. Symbolic Logic,2008