from Wiktionary, Creative Commons Attribution/Share-Alike License.
- noun logic A classification of sets of natural numbers by the complexity of the formulas in the language of
Peano arithmeticthat define them, specifically by the number of alternations of A and E in the defining formula given the formula is in prenex normal form.
Sorry, no etymologies found.
Sorry, no example sentences found.