From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8195 Path: news.gmane.org!not-for-mail From: Hiroyuki Miyoshi Newsgroups: gmane.science.mathematics.categories Subject: Re: Re: "classical" computability theory and the category of Sets Date: Sun, 6 Jul 2014 14:00:29 +0900 Message-ID: References: Reply-To: Hiroyuki Miyoshi NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 X-Trace: ger.gmane.org 1404681199 9135 80.91.229.3 (6 Jul 2014 21:13:19 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sun, 6 Jul 2014 21:13:19 +0000 (UTC) Cc: "Vasili I. Galchin" , Categories mailing list To: Michael Barr Original-X-From: majordomo@mlist.mta.ca Sun Jul 06 23:13:13 2014 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.1.186]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1X3tkF-0002Sm-Bg for gsmc-categories@m.gmane.org; Sun, 06 Jul 2014 23:13:11 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:45054) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1X3tjP-00027C-Sf; Sun, 06 Jul 2014 18:12:19 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1X3tjP-0002ay-Uv for categories-list@mlist.mta.ca; Sun, 06 Jul 2014 18:12:19 -0300 In-Reply-To: Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8195 Archived-At: Hi, Michael and Vasya I remember Jim Otto and his thesis. It is downloadable from this page: http://digitool.library.mcgill.ca/R/?func=dbin-jump-full&object_id=29104&local_base=GEN01-MCG02 Hiroyuki Miyoshi 2014-07-04 22:20 GMT+09:00 Michael Barr : > A student of mine, James R. Otto worked on this for his thesis. > Unfortunately, it was famously unreadable. I don't think it was published > and I have lost contact with him. It was in the early 90s. > > Michael > > On Wed, 2 Jul 2014, Vasili I. Galchin wrote: > [For admin and other information see: http://www.mta.ca/~cat-dist/ ]