From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2663 Path: news.gmane.org!not-for-mail From: Mike Oliver Newsgroups: gmane.science.mathematics.categories Subject: Re: Getting rid of cardinality as an issue Date: Fri, 23 Apr 2004 09:06:15 -0500 Message-ID: <408922D7.6000408@unt.edu> References: <200404220615.i3M6FDx1030384@coraki.Stanford.EDU> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1241018815 5212 80.91.229.2 (29 Apr 2009 15:26:55 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:26:55 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Sat Apr 24 15:24:15 2004 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Sat, 24 Apr 2004 15:24:15 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1BHRm2-0002do-00 for categories-list@mta.ca; Sat, 24 Apr 2004 15:21:10 -0300 User-Agent: Mozilla/5.0 (Windows; U; WinNT4.0; en-US; rv:1.4) Gecko/20030624 Netscape/7.1 (ax) X-Accept-Language: en-us, en In-Reply-To: <200404220615.i3M6FDx1030384@coraki.Stanford.EDU> X-Authentication-Info: Submitted using SMTP AUTH at out010.verizon.net from [4.34.142.171] at Fri, 23 Apr 2004 09:06:15 -0500 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 42 Original-Lines: 35 Xref: news.gmane.org gmane.science.mathematics.categories:2663 Archived-At: Vaughan Pratt wrote: > While I'm happy to field objections like "too flippant", I'm more concerned as > to whether there are any technical flaws, and to a lesser extent philosophical > or religious concerns. (I would not want to be held responsible for guns > being brought to the next UACT meeting if ever there is one.) > [...] > Now the Grothendieck hierarchy is stepped through via ZF rather than Z, with > Fraenkel's Replacement axiom doing the heavy hitting. This creates gaps > mind-bogglingly larger than my teensy exponential gaps above. The general > idea seems to be that these gaps ought to be large enough to take care of > Russell while still not running headlong into inconsistency. However gaps > this large do entail a certain amount of finger-crossing, and one might > question the logic of hitting Russell with a nuclear weapon that might send > some fallout your way when a harmless little tack-hammer will take him out. I'm not entirely sure I follow what Vaughan's project is here, so this may come out as a non sequitur, but: Surely, from time to time, categorists must care about genuinely ultra-first-order notions, such as (say) the metric completeness of the real numbers? To me the natural way of getting such notions right is to make sure that each of your universes is closed under the (true) powerset operation. That would require the cardinality of your universes to be, at least, strong limit cardinals. Having them closed under ranges of functions also seems natural enough; at that point you need inaccessibles. It's by no means clear that inaccessibles are sufficient. What happens when you want to be closed under the operation of finding the next larger inaccessible?