On Sun, Nov 17, 2002 at 12:57:59PM -0500, Raul Miller wrote: > On Sun, Nov 17, 2002 at 10:42:40PM +1000, Anthony Towns wrote: > > ] Definition: A proposition is a pair of options, J and K, from > > ] the Schwartz set, such that J defeats K. > > On Sun, Nov 17, 2002 at 09:47:27AM -0500, Raul Miller wrote: > > > Simpler doesn't count here, because you fail to handle pairwise ties. > On Mon, Nov 18, 2002 at 03:26:46AM +1000, Anthony Towns wrote: > > Sure I do: they're not propositions (since in a pairwise tie between > > X and Y, X doesnt defeat Y and Y doesn't defeat X). There's no point > > worrying about pairwise ties at all, afaics. > Hmm.. but this allows a Schwartz set with no propositions. This would > mean that, for example, the rule for detecting ties would have to be > rewritten. Right. A tie is precisely when there are no uneliminated propositions (and thus no weakest uneliminated propositions that can be eliminated). Cheers, aj -- Anthony Towns <email@example.com> <http://azure.humbug.org.au/~aj/> I don't speak for anyone save myself. GPG signed mail preferred. ``If you don't do it now, you'll be one year older when you do.''
Description: PGP signature