Elementary properties of ordered abelian groups.

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.

We do not assume any prerequisites except for the definition of a group and it should be accessible to everyone including undergraduates. Basic ideas of first order logic shall be explained in the course of the lecture.
Area: Mathematical Logic

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s