ABSTRACT
Names in our languages pick out objects. In our formal language, this job is done by names, which are completely atomic (they have no significant parts) or are given by applying function symbols to other names. There is no other class of referring expressions in our language.
