Courses
Find interesting courses taught or taken by people in the Owlstown community.
III Model Theory & Non-Classical Logic
This course serves as a graduate-level introduction to important topics in the Foundations of Mathematics. The first part covers the basics of Model Theory, including topics such as existentially closed structures, quantifier elimination, ultrapro...
Course · February 18, 2024
III Logic and Computability
This course follows up on the content of the undergraduate courses II Logic & Set Theory and II Automata & Formal Languages and introduces students to three important fields in Foundations: proof theory, model theory, and computability theory. To...
Course · February 18, 2024
Sites
Create your academic website in Owlstown
Start your academic website in just a few minutes. Keep it updated easily. No code, no server to maintain, so you can focus on your research.
Create your free website