From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/7047 Path: news.gmane.org!not-for-mail From: David Roberts Newsgroups: gmane.science.mathematics.categories Subject: Symmetric models of ZF and GSet for large G Date: Fri, 11 Nov 2011 12:44:55 +1030 Message-ID: Reply-To: David Roberts NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 X-Trace: dough.gmane.org 1321020068 18172 80.91.229.12 (11 Nov 2011 14:01:08 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Fri, 11 Nov 2011 14:01:08 +0000 (UTC) To: "categories@mta.ca list" Original-X-From: majordomo@mlist.mta.ca Fri Nov 11 15:01:05 2011 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtpx.mta.ca ([138.73.1.4]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1ROrfE-0006vR-Ps for gsmc-categories@m.gmane.org; Fri, 11 Nov 2011 15:01:04 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:56443) by smtpx.mta.ca with esmtp (Exim 4.76) (envelope-from ) id 1ROreF-0006Dg-AZ; Fri, 11 Nov 2011 10:00:03 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1ROreD-0002Mc-5s for categories-list@mlist.mta.ca; Fri, 11 Nov 2011 10:00:01 -0400 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:7047 Archived-At: Hi, this has been bugging me lately, and my copy of Blass and Scedrov's AMS Memoir on order for interlibrary loan is being slow. ... Recall that the topos of G-sets for a large group G gives us a model of ZF via its internal logic (use a universe if desired). Has anyone written down the precise relation to symmetric models as defined by set theorists? Roughly speaking, these are submodels of generic extensions that are fixed pointwise by a family of subgroups of the automorphism group of the generic filter (if I have the basic idea correct). Perhaps this is in Blass-Scedrov, and I just need to be patient... Regards, David Roberts [For admin and other information see: http://www.mta.ca/~cat-dist/ ]