On arithmetical first-order theories allowing encoding and decoding of lists
scientific article; zbMATH DE number 1387436
scientific article