Path: utzoo!utgpu!jarvis.csri.toronto.edu!neat.cs.toronto.edu!sacook
From: sacook@cs.toronto.edu (Stephen Cook)
Original-To: theorynews
Subject: ultrapowers
Message-ID: <89Oct17.154650edt.3599@neat.cs.toronto.edu>
Date: Tue, 17 Oct 89 15:46:04 EDT
Newsgroups: ut.theory
Distribution: ut
Sender: list-admin@cs.toronto.edu
Approved: ut.theory@mail.ai.toronto.edu

Shai Ben David will continue his presentation of the Kochen/Kripke proof
Thurs, Oct. 19, 2-3pm in GB 119.