Antonín Sochor

According to our database, Antonín Sochor authored at least 10 papers between 1975 and 2001.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2001

Petr Vopenka (^* 16.5.1935).

Antonín Sochor

Ann. Pure Appl. Log., 2001

1994

Choices of Convenient Sets.

Antonín Sochor

Math. Log. Q., 1994

1993

Interpretations of the alternative set theory.

Antonín Sochor

Arch. Math. Log., 1993

Constructibility in higher order arithmetics.

Antonín Sochor

Arch. Math. Log., 1993

1989

Submodels Satisfying ZF_Fin.

Antonín Sochor

Proceedings of the 7th Easter Conference on Model Theory, 1989

1988

Extendability of Functions on Models of ZF_Fin.

Antonín Sochor

Math. Log. Q., 1988

1985

Elementary Extensions of Models of the Alternative Set Theory.

Pavel Pudlák, Antonín Sochor

Math. Log. Q., 1985

1984

Models of the Alternative Set Theory.

Pavel Pudlák, Antonín Sochor

J. Symb. Log., 1984

1975

Contributions to the theory of semisets V: On the axiom of general collapse.

Petr Vopenka, Antonín Sochor

Math. Log. Q., 1975

Contribution to the theory of semisets VI: (Non-existence of the class of all absolute natural numbers).

Antonín Sochor

Math. Log. Q., 1975