BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
BEGIN:VEVENT
UID:/NewsandEvents/Events/Upcoming-Events/newsitem
/1236/13-March-2006-Colloquium-on-Mathematical-Log
ic-Alexey-Romanov
DTSTAMP:20060227T000000
SUMMARY:Colloquium on Mathematical Logic, Alexey R
omanov
ATTENDEE;ROLE=Speaker:Alexey Romanov
DTSTART:20060313T160000
DTEND:20060313T170000
LOCATION:T.B.A. (Amsterdam)
DESCRIPTION:We may think of propositional formulas
as schemas for formulas of a first-order language
. The question which then naturally arises is, "Wh
at 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 an
d more information, see http://www.math.uu.nl/peop
le/jvoosten/seminar.html
X-ALT-DESC;FMTTYPE=text/html:\n \n
We may think of propositional formulas as schemas
for formulas\n of a first-order language. T
he question which then naturally arises is,\n
"What schemas are valid in a given theory?
" De Jongh's theorem settles\n this qu
estion for HA. Since then, mostly extensions of HA
have been\n considered in this context. Th
is talk will deal with much weaker theories\n
of equality instead.\n

\n \n <
p>\n For abstracts and more information, se
e\n http://www
.math.uu.nl/people/jvoosten/seminar.html\n
\n
URL:/NewsandEvents/Events/Upcoming-Events/newsitem
/1236/13-March-2006-Colloquium-on-Mathematical-Log
ic-Alexey-Romanov
END:VEVENT
END:VCALENDAR