Re: Using the RM for ADTs
From: David BL <davidbl_at_iinet.net.au>
Date: Fri, 24 Jul 2009 16:15:00 -0700 (PDT)
Message-ID: <09bad9a9-ce5c-41d6-9262-1482bf554ab9_at_p36g2000prn.googlegroups.com>
Date: Fri, 24 Jul 2009 16:15:00 -0700 (PDT)
Message-ID: <09bad9a9-ce5c-41d6-9262-1482bf554ab9_at_p36g2000prn.googlegroups.com>
On Jul 25, 5:55 am, rp_at_raampje.(none) (Reinier Post) wrote:
> David BL wrote:
>
> [...]
>
> >I would like to confirm my understanding here: FOL restricts
> >quantification to be over elements in the domain of discourse, whereas
> >SOL also allows for quantification over sets. In particular testing
> >for existence of an isomorphism is quantification over a set because a
> >function is basically a set of pairs.
>
> I'm not aware that SQL allows anything like this.
> Can you give me an example?
SOL = second order logic Received on Sat Jul 25 2009 - 01:15:00 CEST