Computability Learning Seminar

Thursday, July 4, 2019 10:00 am - 10:00 am EDT (GMT -04:00)
Export this event to calendar
iCal

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