02G99
- : Degrees of interpretability. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 19 (1978), issue 4, pp. 789-813
- : “Disorder” in lattices of binumerations. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 15 (1974), issue 2, pp. 221-244
- : The lattices of numerations of theories containing Peano's arithmetic. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 14 (1973), issue 2, pp. 339-359
Search
Partner of
