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.
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