In Tarskian semantics, can we assign a name to every object, in every model of every first order theory?
Question: In Tarskain semantics, can we assign a name to every object, in every model, of every first order theory?
Definition of a name: In Tarskain semantics, a 'name' is what is referred to as a'constant symbol' in most logic texts. In particular, it is an individual non-logical constant (e.g. the '$a$' in $Pa$).
Motivation: The reason I ask this question is because in most logic texts, constant symbols are ascribed to each object without much explanation as to how, it is just assumed by the reader that it can be done, even if we have to enumerate an infinite list of formulae.
If it is not the case that every object can be named, in every model, of every first order theory, then this procedure can't always be done. This is interesting because one might naively assume in the case of models with countably infinite objects, that with countably infinite names all objects could be assigned one, because the cardinality of both collections are the same.
Obviously not. The pure FOL theory with no non-logical symbols and no axioms is satisfied by an uncountable model, but certainly there are only countably many formulae... Worse still, there is not even a single formula that uniquely picks out a single element in this model...