Article View: ut.theory
Article #31ultrapowers
From: Stephen Cook
Date: Tue, 17 Oct 1989 19:46
Date: Tue, 17 Oct 1989 19:46
2 lines
481 bytes
481 bytes
Shai Ben David will continue his presentation of the Kochen/Kripke proof Thurs, Oct. 19, 2-3pm in GB 119.
Technical Details
Message-ID:
<89Oct17.154650edt.3599@neat.cs.toronto.edu>Path:
arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!neat.cs.toronto.edu!sacookShow Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!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