I am studying some theorems of model theory in an introductory text of mathematical logic.
I know that a model is a way of associating the relationary symbols of a signature $\Sigma$ to $k$-ary relations ($k\ge 0$) and the $k$-ary functional symbols ($k>0$) and constants (which are 0-ary functions) respectively to $k$-ary functions ($k>0$) and the elements of a domain $D$.
I thought that a model if finite when the set of the $k$-ary relations and $k$-ary functions ($k\ge0$), including the elements of $D$, is finite, but I have just read a theorem which is shaking my convinctions: Löwenheim-Skolem-Tarski theorem says that if a theory has a model of a given infinite cardinality then its has models of any greater cardinality. If a theory is in the form $\{P_1,P_2,P_3,\ldots\}$ where $P_i,i\in\mathbb{N}$ are 0-ary relational symbols, I would say that it has a countable models where the $P_i$ are propositions, but I do not see how the model could be made uncountable.
What am I misunderstanding? I thank you very much for any clarification...
The cardinality of the model always refers to the cardinality of its universe.
Models, or to be precise structures of a language can be seen as a pair $\langle M,I\rangle$, where $M$ is a non-empty set (whose cardinality is "the cardinality of the model", so a finite model means that $M$ is finite) and $I$ is an interpretation function, taking symbols from the language and returning their interpretation as elements (constants) or functions or $k$-ary relations on the set $M$ according to each symbol's designation.
When we say model, we often have a specific list of sentences in the language, also called a theory sometimes, that is assumed to be true in the structure. So a finite model for a theory $T$ means that $M$ is a finite set, and that $T$ is a list of sentences which are true in the structure. Saying that the model is countably infinite means that $M$ is countably infinite, and so on.