Cтраница 4
Предикат слово z является конкатенацией слов х и у ( проще говоря, z получается приписыванием у справа к слову ж) арифметичен. [46]
Предикат р называется вполне симметричным, если он не меняется при любой перестановке переменных. [47]
Предикат слово х является началом слова у арифметичен. [48]
Предикат а будет определен формулой, состоящей из конъюнкции подформул, которые содержатся в нижеследующих пп. [49]
Предикат, выразимый в данной интерпретации, устойчив относительно ее автоморфизмов. [50]