[FOM] Prenex

[Richard Zach]

On Fri, 2007-11-23 at 20:35 +0100, Sara L. Uckelman wrote:
> The first citation the OED has is from 1939:
> 
> "Thus, we get a first order formula which (or the equivalent prenex 
> formula) we denote by B." (Jrnl. Symbolic Logic vol. 4 no. 6).

"Pränexe Formel" is used in Hilbert-Bernays, Grundlagen der Mathematik,
vol. 1., p. 141. (1934)--but not in Hilbert-Ackermann (1928) or Gödel
(1929, 1930)  even though prenex forms play an important role
there--the're just called "formulas in normal form" without "prenex".

-RZ