Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false?

tchow_at_lsa.umich.edu
Date: 01/27/05


Date: 27 Jan 2005 14:17:46 GMT

In article <ct9qmj0101e@drn.newsguy.com>,
Daryl McCullough <stevendaryl3016@yahoo.com> wrote:
>What is the hereditary property?

Any member of a set is a set.

>Well, there are several different definitions that are provably
>equivalent if we assume foundation (and replacement):

Right. However, Kunen hedges somewhat about whether V = WF is "really"
true (at least at first; after "clearing his throat" he then states that
he's going to take V = WF as a basic axiom without further comment).

-- 
Tim Chow       tchow-at-alum-dot-mit-dot-edu
The range of our projectiles---even ... the artillery---however great, will
never exceed four of those miles of which as many thousand separate us from
the center of the earth.  ---Galileo, Dialogues Concerning Two New Sciences


Relevant Pages

  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false?
    ... Daryl McCullough wrote: ... >What is the hereditary property? ... Any member of a set is a set. ... >equivalent if we assume foundation (and replacement): ...
    (sci.logic)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false?
    ... Daryl McCullough wrote: ... >What is the hereditary property? ... Any member of a set is a set. ... >equivalent if we assume foundation (and replacement): ...
    (sci.math)
  • Fw: COBOL COPY statement w REPLACING...
    ... worth "approaching" the owner of the original copy member with. ... Then you create a NEW member called ABCx which includes the following: ... word" replacement tools and never CLAIMS to be "string" replacement tools. ... This is certainly a unique feature of COBOL, ...
    (bit.listserv.ibm-main)
  • Re: about IEWL parameters or so
    ... Then don't specify LET. ... replacement of a member in load library after an unsuccessful link-edit? ... You specified a parameter to cause it to replace a member that it ... For IBM-MAIN subscribe / signoff / archive access instructions, ...
    (bit.listserv.ibm-main)
  • Re: about IEWL parameters or so
    ... IFRC LET allows the RC=8 to replace the member. ... Is there any parameter in order to prevent the replacement of a ... The sender believes that this E-mail and any attachments were free of any ... Search the archives at http://bama.ua.edu/archives/ibm-main.html ...
    (bit.listserv.ibm-main)