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


Frederick Williams wrote:
"David C. Ullrich" wrote:

Without AC I'm not sure what card even means.

See Suppes well-known text! (Iirc he follows Tarski.)

Thank you. That is pretty much the kind of approach I had in mind. One
can use card comparisons just to assert the existence or non-existence
of injections. I don't prefer that kind of notation, and my original
problem didn't use it; but I used it subsequently since it was already
in play in the thread, in a context where I've been asking how to prove
without choice.

MoeBlee

.

Relevant Pages

  • Re: Every set x equinumerous with a set y disjoint from x?
    ... "David C. Ullrich" wrote: ... See Suppes well-known text! ... (Iirc he follows Tarski.) ...
    (sci.logic)
  • Re: Ask EU: 42 days detention
    ... what the limit for habeas corpus used to be originally, but IIRC it was ... nearer three days than three months. ... Bear in mind that, as far as I know, no terror suspect has even had to ...
    (uk.media.radio.archers)
  • classics...
    ... RD500 YPVS. ... Mind, he's put a thundercat (IIRC) front end on it... ...
    (uk.rec.motorcycles.classic)
  • Re: Off The Radar Jazz Guitar Amps
    ... may be the only person in the world that liks this amp for jazz ... tone:) are several that come to mind. ... IIRC when I first began reading this newsgroup, ...
    (rec.music.makers.guitar.jazz)
  • Re: Small footprint RTOS for embedded system
    ... FreeRTOS and XMK are two that come to mind: ... IIRC, they both impose requirements that you offer to supply ...
    (comp.arch.embedded)