Date: Jan 3, 2013 8:54 PM
Author: fom
Subject: Re: Problems, problems

On 1/1/2013 7:17 PM, William Elliot wrote:
> Here's a collection of problems that can be of interest to sci.math.
>
> http://arxiv.org/pdf/1110.1556
>

Thanks.  I should enjoy this.

Been doing way too much foundations
for way too long.

What do you get when you mix

AxAy(x=y <-> Ez(x=z /\ z=y))

from Tarski with the metrization
lemma for pseudometrics from Kelley
and swirl them together with
3-transposition groups?