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)
Generalized interpretability in terms of models. (Note to a paper of R. Montague.)
K nedožitým šedesátinám Ladislava Riegra
Dual renormings of Banach spaces
We prove that a Banach space admitting an equivalent WUR norm is an Asplund space. Some related dual renormings are also presented.
On interpretability in theories containing arithmetic. II.
Eine Bemerkung über standarde nichtreguläre Modelle der Mengenlehre
On interpretability in set theories
On interpretability in set theories. II.
Why semisets?
Completion closed algebras and models of Peano arithmetic
Partial conservativity revisited
Automatic listing of important observational statements. III
Problém obecného pojetí metody GUHA
Automatic listing of important observational statements. II
Automatic listing of important observational statements. I
Page 1 Next