-structure
In model theory, the definition of a language involves syntax only.
An
The back side has a recap for concepts referenced in the below definition.
-structure
Let
- A [something], which is called the universe.
- A map, from constant symbols → [to what?].
- A map, from relation symbols → relations over [what sets?],
where
is the arity of the relation. - A map, from function symbols → functions with signature [
], where is the arity of the function.
An
An
Variable assignment function
Let
A variable assignment function is a mapping from
the [what?] of