Contribution to the theory of semisets VI: (Non-existence of the class of all absolute natural numbers). - Antonín Sochor (Math. Log. Q., 1975)

Contributions to the theory of semisets V: On the axiom of general collapse. - Petr Vopenka; Antonín Sochor (Math. Log. Q., 1975)

Models of the Alternative Set Theory. - Pavel Pudlák; Antonín Sochor (J. Symb. Log., 1984)

Elementary Extensions of Models of the Alternative Set Theory. - Pavel Pudlák; Antonín Sochor (Math. Log. Q., 1985)

Extendability of Functions on Models of ZFFin. - Antonín Sochor (Math. Log. Q., 1988)

Submodels Satisfying ZFFin. - Antonín Sochor (Easter Conference on Model Theory, 1989)

Constructibility in higher order arithmetics. - Antonín Sochor (Arch. Math. Log., 1993)

Interpretations of the alternative set theory. - Antonín Sochor (Arch. Math. Log., 1993)

Choices of Convenient Sets. - Antonín Sochor (Math. Log. Q., 1994)

Petr Vopenka (* 16.5.1935). - Antonín Sochor (Ann. Pure Appl. Log., 2001)