25/11 — Existence and Truth in Elementary Arithmetic.

Edgar Almeida
PhD candidate, University of Campinas, Unicamp, Brazil

The presentation will be about some ideas in which I’m working nowadays and that are the subject of my PhD project.

With relation to the “Truth” part I will talk about how we can fix a intended model for Elementary Arithmetic and some consequences of this approach. With relation the “Existence” part I will propose, inspired by one work of my co-advisor on set theory, how we can understanding the expression “existence axiom” in the context of Arithmetic.