Undecidability Everything is an Integer Countable and Uncountable Sets Turing Machines Recursive and Recursively Enumerable Languages

Source URL: www.cs.ucr.edu

Computability-Theoretic and Proof-Theoretic Aspects of Vaughtian Model Theory

Source URL: www.ims.nus.edu.sg

• Mathematical logic
• Logical syntax
• Proof theory
• Formal languages
• Decidability
• Atomic model
• Theory
• Well-formed formula
• Recursive languages and sets
• Logic
• Metalogic
• Model theory