What is a provability predicate?

Activity: Talk or presentationInvited talkAcademic

Period16 Oct 2019
Event titlemathmatics seminar Leeds
Event typeSeminar
LocationLeeds, United KingdomShow on map
Degree of RecognitionInternational