Basic idea is to give a mathematical characterization of a ‘world’ in just enough detail to assign a meaning to every expression. Exactly what counts as ‘just enough’ depends on the language.
Key point is that MT makes only the assumptions about The World that are needed to determine truthvalues, and they must be expressible mathematically, ie ‘structurally’. Model theory is metaphysically neutral. - eg first-order MT doesn’t claim that relations *are* sets of n-tuples; it just says: whatever relations *really are*, all I need to know about them is which n-tuples they are true of.