English Wikipedia has an article on: <span class="searchmatch">prenex</span> <span class="searchmatch">normal</span> <span class="searchmatch">form</span> Wikipedia <span class="searchmatch">prenex</span> <span class="searchmatch">normal</span> <span class="searchmatch">form</span> (uncountable) (logic) A way of expressing a formula of predicate...
be written in <span class="searchmatch">prenex</span> <span class="searchmatch">form</span> — i.e. with all quantifiers at the beginning — using only universal quantifiers." <span class="searchmatch">prenex</span> <span class="searchmatch">normal</span> <span class="searchmatch">form</span> <span class="searchmatch">prenex</span> (plural prenexes)...
postnormal <span class="searchmatch">prenex</span> <span class="searchmatch">normal</span> <span class="searchmatch">form</span> preternormal pronormal pseudonormal quasinormal ring sum <span class="searchmatch">normal</span> <span class="searchmatch">form</span> second <span class="searchmatch">normal</span> <span class="searchmatch">form</span> seminormal standard <span class="searchmatch">normal</span> distribution...
_{0}=\Pi _{0}} . Subsequent levels are given by finding a formula in <span class="searchmatch">prenex</span> <span class="searchmatch">normal</span> <span class="searchmatch">form</span> which is provably equivalent over ZFC, and counting the number of...
preform <span class="searchmatch">prenex</span> <span class="searchmatch">normal</span> <span class="searchmatch">form</span> presentation <span class="searchmatch">form</span> prime <span class="searchmatch">form</span> printing <span class="searchmatch">form</span> pro-<span class="searchmatch">form</span> protoform pseudoform quadratic <span class="searchmatch">form</span> racing <span class="searchmatch">form</span> reduced row echelon <span class="searchmatch">form</span> re-form...