Re: So let me get this right: (Was: NFNF vs 1NF ...)

Jan Hidders wrote:
> There are no theoretical problems with RVA's. Usually they are typed,
> which prevent's Russel's paradox, but even if you don't like that, then
> you can prevent it by restricting yourself to non-recursive values, and
> even if that is too strict for you you can use non-well-founded sets and
> still not have any problems with paradoxes.

What would an untyped RVA be, and how could they lead to Russell's paradox?

I thought that you could only get Russell's paradox if you allowed RVAs to be relation variables rather than relation values?

Paul. Received on Sat Feb 12 2005 - 21:30:57 CET