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

Author: Hájek, Petr

• Hájek, Petr: Completion closed algebras and models of Peano arithmetic. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 22 (1981), issue 3, pp. 585-594
• Hájek, Petr: On interpretability in theories containing arithmetic. II. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 22 (1981), issue 4, pp. 667-688