[Om3] On 'restricting bound variables' in Basic OpenMath

[Chris Rowley]

James wrote --

> > More formally, we need complete information about the content for
> > <OMC>: is it any valid OpenMath expression?  Thanks!
> I think Michael is expecting it to be a Boolean-valued expression in the 
> lose sense: since OM is not a CA system, we can't ask much more. 

But can we even ask this without a 'Boolean type' in Basic Openmath?

> > My problem is that the 'number of variables' seems to be irrelevant to
> > a mathematician.  Two Reals is just one element of R^2 so a single
> I disagree. It is irrelevant IN PRINCIPLE, but in practice (and if we want 
> to be reasonably close to "the mathematical vernacular") it does matter.

Agreed; my point is that the somewhat arbitrary(??) restrictions on
typing to 'one variable' seem irrelevant from a mathematical viewpoint.


chris