| http://www.w3.org/ns/prov#value | - thedifferent, anyways I do not care as it is still induction throughdefinable ordinals.Then, quasi, I would as rather it be more directly productive in theconstructive, here for me that conclusion is still quite proper.Interesting stuff, that, building for example all products spaces,here with the general interest in a result like this.William, Elliott, quasi, or Dr. Quasi or whatever it is these days,
|
