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
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.)
Eine Bemerkung über standarde nichtreguläre Modelle der Mengenlehre
On interpretability in set theories
Why semisets?
On interpretability in set theories. II.
Partial conservativity revisited
Completion closed algebras and models of Peano arithmetic
On interpretability in theories containing arithmetic. II.
Automatic listing of important observational statements. II
Problém obecného pojetí metody GUHA
Automatic listing of important observational statements. I
Automatic listing of important observational statements. III
Die Szászchen Gruppoide
Page 1 Next