# Antonín Sochor

According to our database

Collaborative distances:

^{1}, Antonín Sochor authored at least 10 papers between 1975 and 2001.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2001

Petr Vopenka (

^{*}16.5.1935).
Ann. Pure Appl. Logic, 2001

1994

Choices of Convenient Sets.

Math. Log. Q., 1994

1993

Interpretations of the alternative set theory.

Arch. Math. Log., 1993

Constructibility in higher order arithmetics.

Arch. Math. Log., 1993

1989

Submodels Satisfying ZF

_{Fin}.
Easter Conference on Model Theory, 1989

1988

Extendability of Functions on Models of ZF

_{Fin}.
Math. Log. Q., 1988

1985

Elementary Extensions of Models of the Alternative Set Theory.

Math. Log. Q., 1985

1984

Models of the Alternative Set Theory.

J. Symb. Log., 1984

1975

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

Math. Log. Q., 1975

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

Math. Log. Q., 1975