Alessandro Berarducci: Provability logic: models within models in Peano Arithmetic

This talk was held on October 24, 2023 in the CUNY Graduate Center's virtual Models of Peano Arithmetic seminar.

Share with your friends

Link:

Embed:

<iframe width="640" height="360" src="//myvideo.cc/embed/S05CeVNGWlV2dC9RZXBaUDdMSHBwa0kyT3gwTHV0ZWlUZC9KNkNlaE16UT0" frameborder="0" webkitallowfullscreen mozallowfullscreen allowfullscreen></iframe>

Video Size:

Custom size:

Autoplay video

Hide player controls

Hide resume playing

Add to Playlist:

Favorites

My Playlist

Watch Later

Alessandro Berarducci: Provability logic: models within models in Peano Arithmetic

Share with your friends

Link:

Embed:

Video Size:

Custom size:

Copy Link:

Add to Playlist: