Victor Harnik Stability Theory and Set Existence Axioms. 123-137 1985 50 J. Symb. Log. 1 db/journals/jsyml/jsyml50.html#Harnik85