Degrees of dependence in the theory of semisets.
Syntaktické metody matematické logiky
Ještě o elementární logice
On convex functions in c(w).
It is proved that no convex and Fréchet differentiable function on c(w), whose derivative is locally uniformly continuous, attains its minimum at a unique point.
Bibliography of the Prague Seminar on Foundations of Set Theory - Part II
On interpretability in set theories
On interpretability in set theories. II.
Why semisets?
Eine Bemerkung über standarde nichtreguläre Modelle der Mengenlehre
Completion closed algebras and models of Peano arithmetic
On interpretability in theories containing arithmetic. II.
Partial conservativity revisited
K pojmu primitivní třídy algeber (Birkhoffova věta)
K nedožitým šedesátinám Ladislava Riegra
Generalized interpretability in terms of models. (Note to a paper of R. Montague.)
Automatic listing of important observational statements. III
Automatic listing of important observational statements. II
Automatic listing of important observational statements. I
Problém obecného pojetí metody GUHA
Berichtigung zu meiner Arbeit 'Die Szászschen Gruppoide'
Page 1 Next