Xref: utzoo sci.logic:1339 comp.theory:2104 sci.philosophy.tech:5212
Path: utzoo!utgpu!news-server.csri.toronto.edu!bonnie.concordia.ca!uunet!zaphod.mps.ohio-state.edu!sol.ctr.columbia.edu!emory!hubcap!steve
From: steve@hubcap.clemson.edu ("Steve" Stevenson)
Newsgroups: sci.logic,comp.theory,sci.philosophy.tech
Subject: Axiomatic derivations of Chomsky hierarchy
Message-ID: <1991Jun12.122958.26279@hubcap.clemson.edu>
Date: 12 Jun 91 12:29:58 GMT
Organization: Clemson University
Lines: 15

I am interested in finding out what work has been done in axiomitizing
computation theory. I recall that Hennie has an axiom system in his book,
but I am unaware of others. Hennie's is really for computability
in its full glory and not, for example, things below primitive recursion
on the ``Chomsky hierarchy''

Any help appreciated; will summarize, etc.

steve

-- 
===============================================================================
Steve (really "D. E.") Stevenson           steve@hubcap.clemson.edu
Department of Computer Science,            (803)656-5880.mabell
Clemson University, Clemson, SC 29634-1906