Model theory

Home > Philosophy > Logic > Recursion Theory > Model theory

This type of recursion theory focuses on the properties of mathematical models and their relationships with logical systems, and determining when a model is valid or not.