Torkel Franzen wrote:
> Jan Hidders <jan.hidders_at_REMOVETHIS.pandora.be> writes:
>
>>In a structure with the two binary relations R and S. The formula should
>>be true for precisely those structures in which S is the transitive
>>closure of R.
>
> How then does the condition "your domain consists only of numbers"
> enter into it?
The structure also contains a domain over which R and S are relations.
This condition means we only consider structures where this domain is
restricted to the natural numbers.
Received on Fri May 20 2005 - 15:20:21 CDT
