gy@majordomo.ieee.org</A></LI>
</UL>
<!--X-Head-of-Message-End-->
<!--X-Head-Body-Sep-Begin-->
<hr>
<!--X-Head-Body-Sep-End-->
<!--X-Body-of-Message-->
<PRE>

¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤

I have been meaning for quite a while to revisit
some topics in model theory that are relevant to
my present perspective and also to the prospects
applying propositional logic to ontology engines,
besides which I need to record the following bit
of information from my old model theory textbook