Combining Texts

Ideas for 'The Evolution of Logic', 'Metaphysics: the logical approach' and 'Grundlagen (Foundations of Theory of Manifolds)'

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

display all the ideas for this combination of texts

---

4 ideas

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

13512

Modern model theory begins with the proof of Los's Conjecture in 1962 [Hart,WD]

13513

Models are ways the world might be from a first-order point of view [Hart,WD]

13505

Model theory studies how set theory can model sets of sentences [Hart,WD]

13511

Model theory is mostly confined to first-order theories [Hart,WD]