Joel David Hamkins (@joeldavidhamkins): "Speaking on Tuesday this week for the Notre Dame Logic Seminar. 2pm 125 Hayes-Healey https://jdh.hamkins.org/consistency-strengths-for-membership-in-a-ce-set-notre-dame-logic-seminar-april-2026/"

The app for independent voices

Speaking on Tuesday this week for the Notre Dame Logic Seminar. 2pm 125 Hayes-Healey

jdh.hamkins.org

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 consi…

Apr 12

8:41 PM

The app for independent voices

Log in or sign up