🚀 go-pugleaf

In article <1992Nov4.073717.22625@CSD-NewsHost.Stanford.EDU> 
pratt@Sunburn.Stanford.EDU (Vaughan R. Pratt) writes:

>In article <Bx693z.H37@cantua.canterbury.ac.nz>
>wft@math.canterbury.ac.nz (Bill Taylor) writes:

>>[...]

>[...]

BT:
>>The slick form of AF, that every nonempty set has a member disjoint from it,

VP:
>Where is this form given?  

Most everywhere, e.g. in Drake (_Set Theory_), whose pithy comments on
the Axiom of Replacement (a.k.a. the `F' in `ZFC') will go a long way
toward disabusing you of your wacky revisionist notions.  The standard
discussion is to be found in Fraenkel, Bar-Hillel, and Levy,
_Foundations of Set Theory_.

VP:
>			   And why doesn't it rule out Omega = {Omega}?
>(Just asking, I'm not expert on this stuff.)

Neither am I, but that will not prevent me from being charitable
enough to let you answer your own question.

>>[...]

>[...]

BT:
>>I hope you are taking your own rubbishing
>>(concerning Z vs ZF) like a man !  It's a tough life on the net !

VP:
>Being mistaken at the top of your voice does have its drawbacks.

You have my hard-earned sympathies.

VP:
>Yesterday definitely wasn't my day, I got something really wrong on
>sci.math involving measure theory, much more wrong than Z vs. ZF, which
>I maintain is a highly debatable matter, the near-universal acceptance
>of the cumulative hierarchy as a model of ZF notwithstanding.

Some _philosophical_ reservations concerning Replacement can be made
from a generic Limitation of Size standpoint, -- right now I do not
have the references, but they are likely to be found in Maddy's JSL
expository articles on the ZFC axioms.  However, from the more refined
standpoint of the cumulative hierarchy, Drake more or less has the
last word.

>-- 
>Vaughan Pratt				There's no truth in logic, son.

					I'll take it under advisement, pops.

N.B.  The Phallogocentric Cabal meets each Tuesday at Emerson 307.
Next week: the redoubtable Bill White explicates the hidden agenda
behind Boolean-valued models of set theory.

cordially,
mikhail zeleny@husc.harvard.edu
" -- I shall speak bluntly, because life is short."

P.S.  Will trade my spare copy of Bell's topos theory book for Jech or
WHY.  Also have a spare copy of Lambek and Scott.  Always looking for
logico-philosophical esoterica, Italian motorcycle parts, Swiss
firearms, or XVIIIth century French smut.