SJ's notes on model theory, set theory, and logic

📁 Computability Theory

• Extensions of Recursion Theory
• Recursion Theory
• Turing Machines & Computability Theory

📁 Logic

• Higher-Order Logics
• Infinitary Logics
• Kripke’s Theory of Truth
• Many-valued Logic
• Modal Logic
• Other Logics
• Proof Theory
• Tarski’s theory of truth
• Truth in Non-Classical Logics

📁 Miscellaneous

• On Languages
• On Truth
• Philosophy 2
• Philosophy
• Self-Verifying theories
• Trivialism

📁 Model Theory

• Abstract Elementary Classes
• Categoricity Transference
• Categoricity
• Classification Theory
• Embeddings, Elementary Embeddings, and Isomorphisms
• Gödel’s Incompleteness Theorems
• Hintikka’s Result
• Logics, Structures & Models
• Soundness & Completeness
• Stability Theory
• The Compactness Theorem
• The Hanf Number
• The Löwenheim number
• The Löwenheim-Skolem Theorem
• The Occurrence Number (& Dependance number)
• The Well-Ordering Number
• Types of Theories
• Ultraproducts & Ultrafilters

📁 Set Theory

• Axiomatic Set Theories
• Consistency Hierarchy
• Forcing
• Fundamentals of Set Theory
• Multiverse vs Universe View
• Non-Well-Founded Set Theories
• Philosophy of Sets & Proper-Classes
• The Hierarchy of Large Cardinals
• Trees
• Unrolling Construction

📁 Type Theory

• Lambda-Calculus
• Transfinite Type Theory
• Type Theory