Elementary Extensions of Models of the Alternative Set Theory

[1]  Pavel Pudlák,et al.  Models of the alternative set theory , 1984, Journal of Symbolic Logic.