תחשיב פסוקים, תחשיב הפרדיקטים ומשפט השלמות, יסודות תורת המודלים, משפט אי-השלמות.

0366219401 Logic.

Propositional Calculus. Compactness Theorem. Predicate Calculus. Formula. Struc-

ture. Henkin extensions. Compactness Theorem for First Order Logic. Loewenheim-Skolem

Theorem. Nonstandard Models of Arithmetic. Formal deduction. Goedel's Completeness

Theorem. Elementary substructures. Loewenheim-Skolem-Tarski Theorem. Goedel's In-

completeness Theorems. Tarski's Unde¯nability of Truth Theorem. Ultraproducts. Los

Theorem. Compactness via ultraproducts.