[FOM] Prenex

Thomas Forster T.Forster at dpmms.cam.ac.uk
Tue Nov 20 14:13:22 EST 2007

Can anyone tell me the origin of this word?  It's obviously an
acronym of some kind, and I am getting tired of accompanying my
explanations to students of the Prenex Normal form theorem with
apologies for my ignorance, so i would like to know.

   (I did once manage to get into print a spoof reference to the
original article by the great Albanian logician Enver Prenexh.
However, on mature consideration, i think he should have been
Belgian, and spelled `Preneckx'.)


URL:  www.dpmms.cam.ac.uk/~tf; DPMMS ph:
+44-1223-337981. Mobile +44-7887-701-562.

More information about the FOM mailing list