In the question (Validity of predicate logic formulas) I see the following way of expressing:
"The predicate $P(x,y) \equiv \bigl[ y \cdot x = 1 \bigr]$, where the domain of discourse is $\mathbb{Q}$."
However, I am used to call this domain of discourse a first-order theory. For instance, I would have rewritten the above phrase as:
"The predicate $P(x,y) \equiv \bigl[ y \cdot x = 1 \bigr]$, where the first-order theory is $\mathcal{T}_{\mathbb{Q}}$.", where $\mathcal{T}_{\mathbb{Q}}$ denotes the theory of Linear Rational/Real Arithmetic (I call them like that, since, in the linear fragment, arithmetics for $\mathbb{Q}$ and $\mathbb{R}$ are equivalent).
Then, my question is: which is the difference between domain of discurse and first-order theory? Someone could say that if I am using a theory, then I am accepting all of its axioms, but the same happens with domain of discourse! That is, if I say the domain of discourse is $\mathbb{Q}$, then I am accepting all the axioms of the rationals, in the same way.
Does the difference come from the signature? Maybe the domain of discourse is not specifying whether the arithmetic is linear or no?