هندسه جبری غیرارشمیدسی و نظریه مدل‌ها