Löwenheim–Skolem theorem

#	Item
1	Course-Description-and-Plan Add to Reading List Source URL: philosophy.columbia.edu Language: English - Date: 2011-07-18 12:13:27 Metalogic Thoralf Skolem First-order logic Soundness Löwenheim–Skolem theorem Axiom Deductive reasoning Non-standard model Theory Logic Mathematical logic Model theory
2	Tarski’s Conceptual Analysis of Semantical Notions 1 Solomon Feferman Dedicated to the memory of Robert L. Vaught[removed]) Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2002-08-02 22:05:21 Model theory Philosophical logic Metalogic Predicate logic Logical syntax Alfred Tarski Function Axiom Löwenheim–Skolem theorem Logic Mathematics Mathematical logic