Thursday, July 4, 2019 10:00 am
-
10:00 am
EDT (GMT -04:00)
Luke MacLean, Department of Pure Mathematics, University of Waterloo
"Different extensions of first-order logic (part 2)"
Having given definitions and examples of two different extensions of first-order logic, I will proceed to sketch a proof that a computably axiomatizable theory is finitely axiomatizable using additional predicates. Knowledge of the first part is not necessary.
MC 5479