[FOM] Prenex

[Thomas Forster]

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'.)

      tf

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