The spectrum of consistency strengths for membership in a computably enumerable set, Notre Dame Logic Seminar, April 2026 (opens in new tab)

This will be a talk for the Logic Seminar at the University of Notre Dame, 14 April 2026, 2pm, Room 125 Hayes-Healey. Abstract After establishing several  general features of the hierarchy of consi…