display all the ideas for this combination of texts
3 ideas
10756 | A model is a domain, and an interpretation assigning objects, predicates, relations etc. [Rossberg] |
10758 | If models of a mathematical theory are all isomorphic, it is 'categorical', with essentially one model [Rossberg] |
17813 | Löwenheim-Skolem says any theory with a true interpretation has a model in the natural numbers [White,NP] |