Please note that this newsitem has been archived, and may contain outdated information or links.
13 March 2006, Colloquium on Mathematical Logic, Alexey Romanov
Speaker: Alexey Romanov
Title: De Jongh's theorem for equality theories
Date: Monday 13 March 2006
Time: 16:00-17:00
Location: T.B.A. (Amsterdam)
We may think of propositional formulas as schemas for formulas of a first-order language. The question which then naturally arises is, "What schemas are valid in a given theory?" De Jongh's theorem settles this question for HA. Since then, mostly extensions of HA have been considered in this context. This talk will deal with much weaker theories of equality instead.
For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html
Please note that this newsitem has been archived, and may contain outdated information or links.