Re: uniqueness quantifier

On Dec 12, 10:17 am, MoeBlee <jazzm...@xxxxxxxxxxx> wrote:

Please have a look at my thread called 'Potter's set theory book -
proposition 3.6.13?'

Heck, no need to look up the old thread. Here's what I posted:

In Michael Potter's 'Set Theory And It's [my sic] Philosophy', there
are three
points in the proof of proposition 3.6.13 on page 46 that don't make
sense to me.

I'll use 'W' to represent the fancy upper case italic 'V' he uses.

First, " if V'eV''eW then V'eW ". How does he get that implication?

Second, " acc(W) subset of {V'' | V''eV') ". How does he get that?

Third, " {V'' | V''eV'} = V' ". How does he get that? (This point is
not crucial though, since it's enough in the proof to have {V'' |
V''eV'} subset of V', and {V'' | V''eV'} subset of V' is obviously
true.

MoeBlee
.

Relevant Pages

  • Re: uniqueness quantifier
    ... In Michael Potter's 'Set Theory And It's Philosophy', ... Can we prove that histories are transitive with the material provided so ...
    (sci.logic)
  • Re: uniqueness quantifier
    ... In Michael Potter's 'Set Theory And Its Philosophy', ... consolidation toward this question: What is the proof (from start to ...
    (sci.logic)
  • Re: Why does everyone do it?
    ... on teaching and research in set theory. ... don't think public funds should be spent on teaching and research into ... and hardly one about the philosophy of mathematics or ... mathematics itself. ...
    (sci.math)
  • Re: lets turn the tables
    ... ZFC goes ... NFU+~Infinity contradicts Aatu's classical philosophy. ... basic principles of set theory compelling and evident. ... feel the same way about their respective theories as Aatu ...
    (sci.math)
  • Re: Cantors circular "proof" that evens = integers
    ... set theory - even in its "moderate" form given by ... Platonic realism. ... the following are highly problematic features of this philosophy: ... in consequence of and the Axiom of Separation, ...
    (sci.logic)
Quantcast