From MAILER-DAEMON Fri Apr 18 11:43:06 2003 Date: 18 Apr 2003 11:43:06 -0600 From: Mail System Internal Data Subject: DON'T DELETE THIS MESSAGE -- FOLDER INTERNAL DATA X-IMAP: 1050687786 0000000000 Status: RO This text is part of the internal format of your mail folder, and is not a real message. It is created automatically by the mail system software. If deleted, important folder data will be lost, and it will be re-created with the data reset to initial values. From Keith.Kearnes@Colorado.EDU Mon Apr 14 11:44:19 2003 Received: from euclid.Colorado.EDU (localhost [127.0.0.1]) by euclid.Colorado.EDU (8.12.9/8.12.8/UnixOps+Hesiod) with ESMTP id h3EHiGre020644 for ; Mon, 14 Apr 2003 11:44:16 -0600 (MDT) Received: from localhost (kearnes@localhost) by euclid.Colorado.EDU (8.12.9/8.12.8/Submit) with ESMTP id h3EHiGkN020640 for ; Mon, 14 Apr 2003 11:44:16 -0600 (MDT) Date: Mon, 14 Apr 2003 11:44:16 -0600 (MDT) From: "Keith A. Kearnes" To: math_all@euclid.Colorado.EDU Subject: Logic Seminar Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Content-Length: 835 Status: R X-Status: X-Keywords: There will be a talk in the logic seminar today (April 14) from 3-4pm in Math 220. Title: The Nesting of Sentential Formulas Speaker: Sid Smith Abstract: Suppose G is a sentential formula in the propositional variables a_1,...,a_n,b_1,...,b_m. We say that G is nestable for the given choice of the b's if there is a sentential formula B(b_1,...,b_m) and a sentential formula A(a_1,...,a_n,B) such that A is equivalent to G. Sufficient and necessary conditions for the existence of a given nesting are proved, and an algorithm is given. --- Keith A. Kearnes Email: kearnes@euclid.colorado.edu Department of Mathematics WWW: http://spot.colorado.edu/~kearnes University of Colorado Direct Phone: (303) 492-5203 395 UCB Dept Phone: (303) 492-3613 Boulder, CO 80309-0395 Fax: (303) 492-7707