Predicate calculus and naive set theory in pure combinatory logic. M.W. Bunder (1981) Archiv für mathematische Logik und Grundlagenforschung
Predicative algebraic set theory. Awodey, Steve, Warren, Michael A. (2005) Theory and Applications of Categories [electronic only]
Probability in the alternative set theory Martin Kalina (1989) Commentationes Mathematicae Universitatis Carolinae
Propriétés des classes d’éléments α -standard Emmanuel Isambert (1997) Annales mathématiques Blaise Pascal
Provability in the alternative set theory Michal Resl, Antonín Sochor (1981) Commentationes Mathematicae Universitatis Carolinae