The lattices of numerations of theories containing Peano's arithmetic Stanislav Palúch — 1973 Commentationes Mathematicae Universitatis Carolinae