Xref: utzoo sci.math:8449 sci.logic:584 ont.events:1366
Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!mailrus!uwm.edu!gem.mps.ohio-state.edu!sunybcs!rapaport
From: rapaport@cs.Buffalo.EDU (William J. Rapaport)
Newsgroups: sci.math,sci.logic,wny.seminar,ont.events
Subject: SUNY Buffalo Logic Colloquium
Message-ID: <12623@eerie.acsu.Buffalo.EDU>
Date: 2 Nov 89 16:56:07 GMT
Sender: nobody@acsu.buffalo.edu
Reply-To: rapaport@cs.Buffalo.EDU (William J. Rapaport)
Followup-To: sci.math
Distribution: na
Organization: SUNY/Buffalo Computer Science
Lines: 70


                STATE UNIVERSITY OF NEW YORK AT BUFFALO

                        BUFFALO LOGIC COLLOQUIUM

                               1989-1990

                             Third Meeting

                       Co-sponsored by Math Dept.

                             GEORGE WEAVER

                               Philosophy
                           Bryn Mawr College

              "RECENT RESULTS ON EQUATIONAL DEFINABILITY"

Equational logics, having been used for centuries (e.g., by Boole), were
made   a   domain   of  investigation  in  the  1930s  by  the  American
logician/mathematician Birkhoff.  Since then,  many  results  have  been
achieved  by  Scott,  kalicki,  Tarski,  Craig,  and others.  Equational
languages are currently being studied for their  potential  in  computer
programming.   After  presenting  an introduction to the subject, Weaver
will present some new results, including an analogue of the Beth defina-
bility  theorem,  due  to  himself,  McKenzie,  and  hebert (forthcoming
_Trans. Am. Math. Soc._).  Suggested reading:  Henkin _AMM_ (1977)  597-
612, Tarski _Hanover Logic Colloquium_ (1968) 275-288.

                       Thursday, November 9, 1989
                               4:00 P.M.
                     268 Capen Hall, Amherst Campus

                 Dutch Treat Supper Follows, Place TBA

=========================================================================

                             Fourth Meeting

                     FRANCISCO RODRIGUEZ-CONSUEGRA

                               Philosophy
                       Institute Vilaseca (Spain)
           and Russel Archives, McMaster University (Canada)

             "THE ORIGINS OF RUSSELL'S THEORY OF RELATIONS"

                       Tuesday, November 28, 1989
                               4:00 P.M.
                     260 Capen Hall, Amherst Campus

=========================================================================

                             Fifth Meeting

                            MICHAEL SCANLAN

                               Philosophy
                        Oregon State University

          "RECENT MISINTERPRETATIONS OF TARSKI'S CONVENTION T"

                      Thursday, December 14, 1989
                               4:00 P.M.
                     268 Capen Hall, Amherst Campus

=========================================================================

For further information, contact John Corcoran, Department  of  Philoso-
phy, 716-636-2438 or 716-881-1640.