Our three speakers are Andras Zsak, Adrian Mathias and Agatha Walczak-Typke. Adrian Mathias is on at 1200, after which there will be a break for a late lunch at about 1330 in the Tellytubby room. Then talks at 1430 and 1600. There is a slot for another speaker at 1730 to take us up to dinner. Speakers whose first names begin with `A' are of course to be given preference. Contact tf@dpmms.cam.ac.uk if you want to offer a talk. If you want to come to the meeting but not give a talk, tell tf@dpmms.cam.ac.uk so we can get a good lead on numbers. There will be a supper after the meeting. Definitely tell tf if you wish to stay for this!
Title to be announced
Abstract
I examine some systems that have arisen in the study of the constructible hierarchy and the class of rudimentary functions, all of them strictly weaker than the system of Kripke--Platek. By various simple methods (one of which is that of my paper "Slim models of Zermelo set theory") I build fourteen models which indicate their limitations. Some of these models cast light on the sections (I.9 and VI.1) of Devlin's treatise "Constructibility" which have been known since its publication to be problematical; my models make plain that his system BS is inadequate for the use made of it; and have led me to a candidate, which I have provisionally named BSS, for the "reasonable extension of BS" called for by Lee Stanley in his JSL review of Devlin's book. Other of our constructions reprove a theorem of Boffa, answer a question of McAloon and correct some hasty remarks of Gandy.
Andras Zsak
Title:
Half-filling families
Abstract here in .ps .pdf and .dvi format.
Agatha Walczak-Typke
is going to talk about her beautiful theorem to the effect that any algebra on an infinite set without a countably infinite partition has a first-order theory that is countably categorical.
[Abstract]
The meeting is open to all who are interested, and no notice is required. However if you wish to stay to the dinner afterwards please send email to tf@dpmms.cam.ac.uk so we know about numbers.