Re: errata and comments, chapters 2 and 4

Indeed,  I made a mistake in the lambda example in this message.
Thanks for catching it.  I (tried to use) used the functional form 
deliberately to point
out that there are reasonable interpretations without bvars.

Stan.

> OK -- but I'm not sure I understand your lambda example above. 
> Shouldn't that be
>
> <declare>
>  <ci>IDENT</ci>
>  <lambda>
>      <domainofapplication><ci type="set">C</ci></domainofapplication>
>      <ident/>
>  </lambda>
> </declare>
>
> (aren't qualifiers supposed to precede arguments? The generalized 
> quantifier here is the lambda, which means there is no operator in a 
> lambda.)  Also, I believe I was thinking more along the lines of 
> phrasing this particular example as follows (with an explicit bvar), 
> although that doesn't really matter much:
>
> <declare>
>  <ci>IDENT</ci>
>  <lambda>
>      <bvar> <ci>x</ci> </bvar>
>      <domainofapplication><ci type="set">C</ci></domainofapplication>
>      <apply><ident/> <ci>x</ci></apply>
>  </lambda>
> </declare>
>
>

Received on Friday, 11 July 2003 11:39:28 UTC