The spectrum of consistency strengths for membership in a computably enumerable set, Notre Dame Logic Seminar, April 2026

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 consistency strength, we shall consider the possible spectrum Continue reading