Paula Henk studies the nonstandard provability predicates for Peano Arithmetic (PA). By a nonstandard provability predicate, is meant the provability predicate of a theory that coincides with PA from the external point of view, however not verifiably in PA.
P. Henk, Nonstandard Provability for Peano Arithmetic. A Modal Perspective.
Prof. F.J.M.M. Veltman
Prof. A. Visser (UU)
Prof. D.H.J. de Jongh
Dr V.Y. Shavrukov
This event is open to the public.