07/12/2016 — Edgar Almeida

Arithmetic: truth and existencial import

This presentation will be about some ideas that are the core subjects of my PhD thesis. I will talk about how we can fix the intended model for Elementary Arithmetic and I will propose a classification of arithmetical sentences according their existencial requirements. Furthermore it will be explored some interesting consequences of these proposals.