Re: [tlaplus] Curious oddity

[fl <freder...@xxxxxxxxxxx>]

Hi Stephan,

It's much clearer. I was trying to give a meaning to this article:

http://www.aiml.net/volumes/volume9/Awodey-Kishida.pdf

using your post. And the author of the article was only using one kind of set variables:
the traditional ones. And I didn't succeeded in connecting his work with your post.

Now it's clear.

Thank you.

--
FL