From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/125 Path: news.gmane.org!not-for-mail From: Thomas Streicher Newsgroups: gmane.science.mathematics.categories Subject: a question of Lubarsky Date: Thu, 5 Mar 2009 16:40:08 +0100 Message-ID: Reply-To: Thomas Streicher NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: ger.gmane.org 1236307389 27727 80.91.229.12 (6 Mar 2009 02:43:09 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Fri, 6 Mar 2009 02:43:09 +0000 (UTC) To: categories@mta.ca Original-X-From: categories@mta.ca Fri Mar 06 03:44:25 2009 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from mailserv.mta.ca ([138.73.1.1]) by lo.gmane.org with esmtp (Exim 4.50) id 1LfQ2x-0007FC-E6 for gsmc-categories@m.gmane.org; Fri, 06 Mar 2009 03:44:23 +0100 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1LfPQo-0002bB-Id for categories-list@mta.ca; Thu, 05 Mar 2009 22:04:58 -0400 Content-Disposition: inline Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:125 Archived-At: Bob Lubarsky has recently asked me a question I could answer only partially. He is not reading this mailing list and so I forward his question (since I am also interested in it). The question is whether for nonisomorphic spaces X and Y one can always find a formula in higher order arithmetic or in the language of set theory which holds in one of the toposes Sh(X), Sh(Y) but not in the other. More concretely he asked about the folowing 4 spaces R (reals) R_{\geq 0} (nonnegative reals) Q (rationals) Q_{\geq 0} (nonnegative rationals) AC_N holds for sheaves over spaces in the second line but not for sheaves over the spaces in the first line. But I couldn't tell him how to logically separate R and R_{\geq 0} or Q and Q_{\geq 0}. The background of Bob's question is his work on "forcing with settling down" (http://www.math.fau.edu/lubarsky/forcing with settling.pdf) providing a model for CZF without Fullness but Exponentiation where, moreover, the Dedekind reals are not a set but a proper class. Thomas