• DML-CZ Home
• Commentationes Mathematicae Universitatis Carolinae
• Volume 24

Author: Krajíček, Jan

• Krajíček, Jan: A possible modal reformulation of comprehension scheme. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 24 (1983), issue 2, pp. 387-388
• Krajíček, Jan: Some theorems on the lattice of local interpretability types. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 24 (1983), issue 2, pp. 387