Skolem Theories
| This section needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. |
In general, if is a theory and for each formula with free variables there is a Skolem function, then is called a Skolem theory. For example, by the above, arithmetic with the Axiom of Choice is a Skolem theory.
Every Skolem theory is model complete, i.e. every substructure of a model is an elementary substructure. Given a model M of a Skolem theory T, the smallest substructure containing a certain set A is called the Skolem hull of A. The Skolem hull of A is an atomic prime model over A.
Read more about this topic: Skolem Normal Form
Famous quotes containing the word theories:
“It takes twenty or so years before a mother can know with any certainty how effective her theories have been—and even then there are surprises. The daily newspapers raise the most frightening questions of all for a mother of sons: Could my once sweet babes ever become violent men? Are my sons really who I think they are?”
—Mary Kay Blakely (20th century)