Abbreviations from Tarski-Givant's monograph