(originally posted at MSE as Same same but different: Coextensive relations in model and set theory, slightly modified)
The official definition of a structure in model theory in its presumably most compact form is (for simplicity's sake without individual constants and functions):
Def. 1 A structure is a 3-tuple of sets $\langle \alpha, I, A\rangle$ such that:
- $\alpha$ and $I$ are functions
- $\text{dom}(\alpha) = \text{dom}(I)$
- $\alpha(R) \in \mathbb{N}$ for all $R \in \text{dom}(\alpha)$
- $I(R) \subseteq A^{\alpha(R)}$ for all $R \in \text{dom}(I)$
From the point of view of model theory the set $\sigma$ := dom($\alpha$) is most important as the set of symbols, and plays a dominant role as the signature of a language L which is then built on top of it.
If you are not so interested in model theory (and the relation between language and reality) but in structures per se you would define a structure maybe like this:
Def. 2 A structure is a 2-tuple of sets $\langle A, R\rangle$ such that
- $R$ is a function
- $(\exists \alpha \in \mathbb{N})\ R(i) \subseteq A^\alpha$ for all $i \in \text{dom}(R)$
You would choose this definition if you suspect that there might be coextensive but different relations. (If not so, this would be overly complicated, see below.)
It's obvious that Def. 1 and Def. 2 are equivalent, only that dom(R) in Def. 2 - which corresponds to the signature $\sigma$ = dom($\alpha$) in Def. 1 - isn't so important per se and maybe only considered a index set.
But if you take the position that two coextensive relations must be the same, you have no need anymore to index the relations because they are different by themselves. The definition then simplifies to:
Def. 3 A structure is a 2-tuple of sets $\langle A, \rho\rangle$ such that
- $(\exists \alpha \in \mathbb{N})\ R \subseteq A^\alpha$ for all $R \in \rho$
What puzzles me is that the (conceputally) same set dom($\alpha$) resp. dom(R) comes into play for two seemingly unrelated reasons: on the one side to be able to define a language on top of a signature (and doing model theory on top of that), and to simply be able to have coextensive but different relations on the other side. But I find it hard to make a real question out of this. Maybe like this?
Can an alternative model theory be imagined based on a definition of a structure equivalent to Def. 3 reflecting the assumption that coextensive relations are the same?
It's quite obvious that all of this has to do with the distinction between intension and extension, but I find it hard to argue that standard model theory is an intensional theory, opposed to an extensional one - or vice versa. (Argumentation aid needed!)