סילבוס

תוכן הקורס ומטרתו

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

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.