Constructions of classes by transfinite induction in AST
Antonín Sochor, Petr Vopěnka · Czech digital mathematics library · 1989
Many constructions of classes in the Alternative set theory are made using a special type of transfinite induction.In this paper we are trying to formulate theorems describing the common core of the constructions in question so that these constructions can be essentially simplified using the proposed theorems.