Model theory

Model theory#

To be completed…