display all the ideas for this combination of philosophers
3 ideas
16323 | The object language/ metalanguage distinction is the basis of model theory [Tarski, by Halbach] |
13343 | A 'model' is a sequence of objects which satisfies a complete set of sentential functions [Tarski] |
17813 | Löwenheim-Skolem says any theory with a true interpretation has a model in the natural numbers [White,NP] |