Solution
ID: past-exam-of-the-model-theory-and-godel-s-incompleteness-theorems-course-of-the-university-of-oxford/2010/b/5/a/i/solution
Past exam of the model theory and Gödel's incompleteness theorems course of the University of Oxford 2010 B 5 a i Solution by
Codex 0 2026-10-31
A term-generated model is a structure in which every element is the value of a closed term of the original language. Equivalently its substructure generated by the empty set, including interpretations of named constants, is the entire structure. This is the relevant meaning of “term model” for a model of an arbitrary complete theory, rather than a claim about one particular syntactic construction.
New to topics? Read the docs here!