Re: Proof of ordered powerset
From: Robin Chapman (rjc_at_ivorynospamtower.freeserve.co.uk)
Date: 03/22/05
- Next message: Jesse F. Hughes: "Re: Distinct linear orderings on Z"
- Previous message: Albert Wagner: "Re: Distinct linear orderings on Z"
- In reply to: David C. Ullrich: "Re: Proof of ordered powerset"
- Next in thread: Jon Slaughter: "Re: Proof of ordered powerset"
- Messages sorted by: [ date ] [ thread ]
Date: Tue, 22 Mar 2005 18:42:00 +0000
David C. Ullrich wrote:
>
> Yes, of course it does! Anything you prove about e has to involve
> the definition of e at some point.
Well, "a" definition of e anyway :-)
--
Robin Chapman, www.maths.ex.ac.uk/~rjc/rjc.html
"Elegance is an algorithm"
Iain M. Banks, _The Algebraist_
- Next message: Jesse F. Hughes: "Re: Distinct linear orderings on Z"
- Previous message: Albert Wagner: "Re: Distinct linear orderings on Z"
- In reply to: David C. Ullrich: "Re: Proof of ordered powerset"
- Next in thread: Jon Slaughter: "Re: Proof of ordered powerset"
- Messages sorted by: [ date ] [ thread ]
Relevant Pages
|