Suppose I have some fermions with spin 1/2 on a harmonic potential. Then the energy of each particle is given by:
$$ E_i=\hbar\omega(n_{x_i}+n_{y_i}+n_{z_i}+3/2) $$
By definition the partition function is:
$$ Z=\sum_{\{\vec\mu\}}\exp(-\beta E(\vec\mu)) $$
where $\vec\mu$ is the microstate of the system. Being fermions I know that both can't possibly be in the same quantum state at once. Then the sums would be something like $\sum_{n_{x_i}\neq n_{x_j}}$, but my major doubt comes on the accounts of distinguishability, because those particles are only distinguishable if their spin quantum number, $m_s$, is the same for both particles, but if that isn't the case then the particles are in fact distinguishable and than I am not even sure that the fact that they can't be in the same quantum state would be significant because having different quantum spin numbers, it is impossible for them to be in the same quantum state, as they belong to different parts of the joint Hilbert space. How does one account for this?