Re: Elementary questions, need some clarification (model theory)

On 22-06-2007 4:43, Augustine wrote:

i am reading David Marker's book " model theory: an introduction"

i found the term "countable language" comes here and there, but seems
there is no clear definition provided in the book, any body can give a
helping hand?

A language is a set of three sets, F, R,and C. I suppose that a
countable language is a language the union of these sets is
countable.

another related question, in this book, Page 38 line 14
it is said that the cardinality of a language is the number of
relation, function and constant symbols in it, which is quite
confusing, does that mean
|L|=max(|relations|,|function|,|constant symbol|) ?

It looks like it means

|L| = |relations U functions U constant symbols|.

Best regards,

Jose Carlos Santos
.