From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2024 Path: news.gmane.org!not-for-mail From: Peter Freyd Newsgroups: gmane.science.mathematics.categories Subject: Re: Take that, Martin Hyland! Date: Mon, 18 Jun 2001 15:30:58 -0400 (EDT) Message-ID: <200106181930.f5IJUwm16348@saul.cis.upenn.edu> NNTP-Posting-Host: main.gmane.org X-Trace: ger.gmane.org 1241018292 1787 80.91.229.2 (29 Apr 2009 15:18:12 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:18:12 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Tue Jun 19 14:24:53 2001 -0300 Return-Path: Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f5JGx5J04697 for categories-list; Tue, 19 Jun 2001 13:59:05 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 35 Original-Lines: 23 Xref: news.gmane.org gmane.science.mathematics.categories:2024 Archived-At: I doubt if one should ever try to explain such a thing, but apparently when I quoted one John Quinton that there were matters that require ...intelligent effort, rather than a degree in mathematical logic from Cambridge with my comment "Take that, Martin Hyland" Robert was moved to ask: Yes, but what about a degree in mathematical logic from *Oxford*? (Unless you were referring to Martin's students ...) What I had in mind can be confirmed from the list of members of Cambridge's maths department: www.dpmms.cam.ac.uk/site2000/Staff/Staff_List.html Martin's subject is listed as "Logic" (Peter's is "Topos Theory" -- and no one lists "Category Theory"). There are two others whose subject is listed as "Logic" but both are described as postdocs. This unique status of Martin must thus be born in mind by any who eschews intelligent effort in favor of a degree in mathematical logic from Cambridge.