Joel David Hamkins (@joeldavidhamkins): "I shall be speaking April 14 at the Notre Dame Logic Seminar. https://jdh.hamkins.org/consistency-strengths-for-membership-in-a-ce-set-notre-dame-logic-seminar-april-2026/"

The app for independent voices

I shall be speaking April 14 at the Notre Dame Logic Seminar.

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 4

6:30 PM

The app for independent voices

Log in or sign up