Mushfeq Khan: A slow-growing diagonally non-computable function that computes no effectively bi-immune set II When: October 16, 2015 @ 9:30 am – 10:30 am 2015-10-16T09:30:00-10:00 2015-10-16T10:30:00-10:00 Logic seminar