نظریه مدل‌ها و کاربردهای آن در ساختارهای جبری