Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10 5/3/83; site utcsrgv.UUCP
Path: utzoo!utcsrgv!phyllis
From: phyllis@utcsrgv.UUCP (Phyllis Eve Bregman)
Newsgroups: ont.events
Subject: Peter Clote:  "Model techniques in complexity theory"
Message-ID: <3551@utcsrgv.UUCP>
Date: Fri, 16-Mar-84 13:44:51 EST
Article-I.D.: utcsrgv.3551
Posted: Fri Mar 16 13:44:51 1984
Date-Received: Fri, 16-Mar-84 15:55:05 EST
Organization: CSRG, University of Toronto
Lines: 22

      UofT Department of Computer Science Seminar Schedule for
                the week of March 19th, 1984
		
Wednesday, March 21th, 4:00 P.M., SF3202:  Professor Peter Clote,
   Department of Computer Science, University of Toronto (Visiting
   from University Paris VII):  "Model techniques in complexity
   theory".

   ABSTRACT:  This talk surveys some applications of techniques in
   "models of arithmetic" to complexity theory:  a model theoretic
   equivalence of P = NP and of the collapse of the Stockmeyer hierarchy
   (Paris-Dimitricopoulos), model theoretic criteria for whether a
   set is rudimentary or strictly rudimentary (Paris-Wilkie), a
   brief look at the theory PT of Lipton-DeMillo, and on computing
   upper bounds for problems associated with Petri nets (McAloon and
   Clote).
-- 
		Phyllis Eve Bregman
		CSRG, Univ. of Toronto
		{decvax,linus,ihnp4,uw-beaver,allegra,utzoo}!utcsrgv!phyllis
		CSNET:  phyllis@toronto
		(416) 978 6985