A class of models for Skala's set theory