Re: Every set x equinumerous with a set y disjoint from x?

Subject:	Re: Every set x equinumerous with a set y disjoint from x?
From:	"MoeBlee"
Date:	27 Aug 2006 15:54:00 -0700
Newsgroups:	sci.logic

MoeBlee wrote:
> Show ~x=0 -> Ey(card(x) = card(y) & x and y are disjoint).

Oops, we don't even need ~x=0, since 0 is disjoint from 0.

MoeBlee

<Prev in Thread]	Current Thread	[Next in Thread>
Every set x equinumerous with a set y disjoint from x?, MoeBlee Re: Every set x equinumerous with a set y disjoint from x?, Rupert Re: Every set x equinumerous with a set y disjoint from x?, MoeBlee Re: Every set x equinumerous with a set y disjoint from x?, Rupert Re: Every set x equinumerous with a set y disjoint from x?, MoeBlee Re: Every set x equinumerous with a set y disjoint from x?, MoeBlee <= Re: Every set x equinumerous with a set y disjoint from x?, Rupert Re: Every set x equinumerous with a set y disjoint from x?, MoeBlee Re: Every set x equinumerous with a set y disjoint from x?, Rupert Re: Every set x equinumerous with a set y disjoint from x?, MoeBlee Re: Every set x equinumerous with a set y disjoint from x?, Rupert Re: Every set x equinumerous with a set y disjoint from x?, Rupert Re: Every set x equinumerous with a set y disjoint from x?, MoeBlee Re: Every set x equinumerous with a set y disjoint from x?, Chris Menzel Re: Every set x equinumerous with a set y disjoint from x?, MoeBlee Re: Every set x equinumerous with a set y disjoint from x?, Chris Menzel

Previous by Date:	Re: Every set x equinumerous with a set y disjoint from x?, MoeBlee
Next by Date:	Re: Every set x equinumerous with a set y disjoint from x?, MoeBlee
Previous by Thread:	Re: Every set x equinumerous with a set y disjoint from x?, MoeBlee
Next by Thread:	Re: Every set x equinumerous with a set y disjoint from x?, Rupert
Indexes:	[Date] [Thread] [Top] [All Lists]