S. Shelah

Properness Without Elementaricity