For best experience please turn on javascript and use a modern browser!
You are using a browser that is no longer supported by Microsoft. Please upgrade your browser. The site may not present itself correctly if you continue browsing.
Bekijk de site in het Nederlands

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.

Event details of Nonstandard provability for Peano Arithmetic
Date 16 December 2016
Time 12:00 -13:00
Location Agnietenkapel
Room Location

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


Room Location

Oudezijds Voorburgwal 229 - 231
1012 EZ Amsterdam


This event is open to the public.