Combining Texts

Ideas for 'Parmenides', 'Calculus Ratiocinator' and 'Model Theory'

expand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

3 ideas

5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models

10473

Model theory studies formal or natural language-interpretation using set-theory [Hodges,W]

10475

A 'structure' is an interpretation specifying objects and classes of quantification [Hodges,W]

10481

Models in model theory are structures, not sets of descriptions [Hodges,W]