In Logic Theory In logic theory, if we have a finite domain A of k elements, then we can construct only finitely many structures (finite structures) each of which has A as domain. I think the number of structures will be $2^{k}$. How to prove it - if my claim is right? 
 A: Janice : As Carl pointed out, the answer depends on the signature (language) one uses. 
For example, suppose the language consists of a single unary relation symbol $\dot R$. Any structure in this language has the form $(A,R)$, where $R\subseteq A$. If we fix $A$ with $|A|=k$, there are precisely $2^k$ structures of this form (one for each subset of $A$). 
Carl's comment was: Suppose your language consists of a single unary function symbol $\dot f$. Any structure of this language has the form $(A,f)$ where $f:A\to A$. The number of functions from a finite set $A$ to a finite set $B$ is $|B|^{|A|}$, so there are $k^k$ such functions $f$, and therefore we have $k^k$ models in this case.
In general, a language consists of: 


*

*For each positive integer $n$, some $n$-ary function symbols $\dot f$. Each of them will be interpreted as a function $f:A^n\to A$. There are $k^{k^n}$ possible interpretations, if $A$ is fixed and $|A|=k$.

*For each positive integer $n$, some $n$-ary relation symbols $\dot R$. Each of them will be interpreted as a set $R\subseteq A^n$. There are $2^{k^n}$ many possible interpretations.

*Some constant symbols $\dot c$. Each of them will be interpreted as an element of $A$, and there are $k$ possible interpretations.


We can interpret different symbols independently of one another, and we understand that order matters, so $(A,R,S)$ and $(A,S,R)$ are interpreted as different structures if $R\ne S$. 
Say that $\rho_n,\lambda_n,\tau$ are cardinals (they may be $0$, they may be infinite), and that our language has precisely $\rho_n$ $n$-ary function symbols, precisely $\lambda_n$ $n$-ary relation symbols (for each positive integer $n$), and precisely $\tau$ constant symbols. Then the number of structures in this language that have domain $A$ with $|A|=k$ finite is precisely $$ \prod_{n\ge 1}(k^{k^n})^{\rho_n}\cdot\prod_{n\ge 1}(2^{k^n})^{\lambda_n}\cdot k^\tau, $$ where (as usual) we understand that empty products equal 1.
Here, the products are cardinals in the set theoretic sense. If you are only interested in finite languages, this product gives the right answer, when we interpret products as numbers the usual way.
