RE: TDL - Model theory take 1.

>
> Do we want to reference sections 1-3 of Sergey's document
> at all, if Peter's SWOL specification gives us that machinery?
> (or does it?)
>

Yes keep Sergey's ref. as well as Peter's.

Peter's document is quite terse. The real debt (for me at least) is to a
conversation I had with him at webont f2f (which I guess we don't
reference).

Jeremy