Speaker : T V H Prathamesh
Date : 2nd September, 2014 (Tuesday)
Time : 09:15 pm – 10:15 pm
Venue : Lecture Hall I, Department of Mathematics
Abstract :In mathematical logic and metalogic, a formal system is called complete with respect to a particular property if every formula having the property can be derived using that system.Many mathematicians are familiar with this idea due to the popularity of Godel’s incompleteness theorem, there is very little working knowledge of how completeness or incompleteness is proved in practise. I hope to illustrate how completeness (in the case of a first order logic based system) can be proved in practise in this talk. In this talk, we shall elaborate on the paper “Elementary properties of ordered abelian groups” by Abrahaman Robinson and Elias Zakon, which discusses completeness results about various classes of ordered abelian groups.