Skand theory and its applications. (A new look at non-well-founded sets)

A {it skand} is defined as some kind of layered set, given by a sequence langle x_beta:alpha_0lebeta