Re: "Elementary" elements in ZFC.

Article View: sci.logic

Article #1079

#1079

From: Mike Oliver
Date: Mon, 19 Nov 2001 18:04

16 lines
2198 bytes

John wrote:

>  Likewise, if the axiom of extensionality is restricted to
> sets, only sets are subject to the axiom of extensionality.

Well, exactly.

> Have you some reason why "extensionality is restricted to sets" should
> not be understood in the usual way?

This *is* the usual way.

I can't figure out what you're worried about.  Suppose you give
us an example of two essentially different "axioms of extensionality
restricted to sets".  I don't think you can; there's no remotely
plausible way of doing so.  Therefore the phrase is not ambiguous.

Technical Details

Message-ID: <3BF949CB.340F494@math.ucla.edu>

Path: arc1-ca.pugleaf.net!archiver1.google.com!news1.google.com!newsfeed.stanford.edu!newsfeed.news.ucla.edu!not-for-mail

References:

<3BE72A00.D558A510@bea.com> <ul0n120jq03.fsf@scheutz.sics.se> <70f94e16.0111131801.5d45bf6@posting.google.com> <ul03d3iq624.fsf@scheutz.sics.se> <70f94e16.0111141319.1a5eb8a7@posting.google.com> <ul08zd8egzc.fsf@scheutz.sics.se> <70f94e16.0111150349.3c397b10@posting.google.com> <ul0lmh8ckve.fsf@scheutz.sics.se> <70f94e16.0111151451.4b7bdf4c@posting.google.com> <ul0bsi3cmx9.fsf@scheutz.sics.se> <70f94e16.0111181735.5f065ffc@posting.google.com> <3BF86980.CC10AFAF@math.ucla.edu> <70f94e16.0111190836.26e88b5a@posting.google.com>

Show Full Headers

Complete Article Headers

X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 10ecd1,5d6d44eb5c8aa3ad
X-Google-Attributes: gid10ecd1,public
X-Google-Thread: 109d8a,5d6d44eb5c8aa3ad
X-Google-Attributes: gid109d8a,public
X-Google-Thread: 10cc56,7bfaee8e6f0e3bd3
X-Google-Attributes: gid10cc56,public
X-Google-ArrivalTime: 2001-11-19 10:04:56 PST
Path: arc1-ca.pugleaf.net!archiver1.google.com!news1.google.com!newsfeed.stanford.edu!newsfeed.news.ucla.edu!not-for-mail
From: Mike Oliver <oliver@math.ucla.edu>
Newsgroups: sci.logic,sci.math,fa.analytic-philosophy
Subject: Re: "Elementary" elements in ZFC.
Date: Mon, 19 Nov 2001 10:04:59 -0800
Organization: UCLA
Lines: 16
Message-ID: <3BF949CB.340F494@math.ucla.edu>
References: <3BE72A00.D558A510@bea.com> <ul0n120jq03.fsf@scheutz.sics.se> <70f94e16.0111131801.5d45bf6@posting.google.com> <ul03d3iq624.fsf@scheutz.sics.se> <70f94e16.0111141319.1a5eb8a7@posting.google.com> <ul08zd8egzc.fsf@scheutz.sics.se> <70f94e16.0111150349.3c397b10@posting.google.com> <ul0lmh8ckve.fsf@scheutz.sics.se> <70f94e16.0111151451.4b7bdf4c@posting.google.com> <ul0bsi3cmx9.fsf@scheutz.sics.se> <70f94e16.0111181735.5f065ffc@posting.google.com> <3BF86980.CC10AFAF@math.ucla.edu> <70f94e16.0111190836.26e88b5a@posting.google.com>
NNTP-Posting-Host: ts48-15.dialup.bol.ucla.edu
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Trace: siamese.noc.ucla.edu 1006193094 24981 164.67.27.216 (19 Nov 2001 18:04:54 GMT)
X-Complaints-To: abuse@ucla.edu
NNTP-Posting-Date: Mon, 19 Nov 2001 18:04:54 +0000 (UTC)
X-Mailer: Mozilla 4.75 [en] (WinNT; U)
X-Accept-Language: it,en

Reply to Parent Message