כל מה שרצית לדעת על משפט לוונהיים-סקולם:
מבחן טרסקי-ווט קובע שתנאי הכרחי ומספיק לכך שתת-מבנה של הוא תת-מבנה אלמנטרי, הוא:
לכל נוסחה בשפה , אשר הם המשתנים החופשיים בה, ולכל , אם קיים כך ש- נכון ב-, אז קיים כך ש- נכון ב-.
קבוצת פסוקים היא עקבית אם קיים לה מודל (ראו משפט השלמות של גדל).
משפט הקומפקטיות קובע ש- עקבית אם ורק אם כל תת-קבוצה סופית שלה עקבית.