BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2006/newsitem/1236/13-
March-2006-Colloquium-on-Mathematical-Logic-Alexey
-Romanov
DTSTAMP:20060227T000000
SUMMARY:Colloquium on Mathematical Logic, Alexey R
omanov
ATTENDEE;ROLE=Speaker:Alexey Romanov
DTSTART;TZID=Europe/Amsterdam:20060313T160000
DTEND;TZID=Europe/Amsterdam: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/Archives/2006/newsitem/1236/13-
March-2006-Colloquium-on-Mathematical-Logic-Alexey
-Romanov
END:VEVENT
END:VCALENDAR