💡 Words with a Similar Meaning to "Arithmetic hierarchy"
Found via reverse dictionary — words that share a conceptual meaning.
| Word | Definition |
|---|---|
| arithmetical hierarchynoun | (logic) A hierarchy which classifies the complexity of first-order formulae (and sets defined by them) based on the number of alternations between series of unbounded existential quantifiers and universal quantifiers. |
| arithmetical setnoun | (logic) A set of natural numbers that can be defined by a formula of first-order Peano arithmetic. |
| clarithmetic | — |
| presburger arithmeticnoun | (logic) A set of axioms of first-order logic for the natural numbers specifying the operations of zero, successor, and addition, including a first-order schema of induction, without multiplication. |
| binary arithmeticnoun | (arithmetic) arithmetic using binary numbers |
| zero-order logicnoun | Prepositional logic. |
| propositional calculusnoun | (logic) Propositional logic. |
| peano arithmeticnoun | (logic) A set of axioms of first-order logic for the natural numbers specifying the operations of zero, successor, addition and multiplication, including a first-order schema of induction. |
| universal arithmeticnoun | (archaic) algebra |
| formal logicnoun | (logic) Mathematical logic. |
| location arithmeticnoun | (arithmetic) A device and technique described in Napier's treatise Rabdologiæ for performing multiplication, division and extraction of square roots by using counters to represent numbers in binary. |
| arithmeticnoun | The mathematics of numbers (integers, rational numbers, real numbers, or complex numbers) under the operations of addition, subtraction, multiplication, and division. |
| arithmetic operatornoun | (arithmetic) Any of the four basic operators in arithmetic, namely addition, subtraction, multiplication and division. |
| logical calculusnoun | (logic) A formal system. |
| computability logicnoun | (computing, mathematics) a formal theory of computability |
| computability theorynoun | (computer science) The branch of the theory of computation that studies which problems are computationally solvable using different models. |
| higher arithmeticnoun | (mathematics, chiefly dated) Number theory; the branch of pure mathematics concerned primarily with integers and integer-valued functions. |
| arithmetic geometrynoun | (mathematics) A developing branch of mathematics in which techniques of algebraic geometry are applied to number theory, in particular being concerned with schemes of finite type over the spectrum of the ring of integers, Spec(ℤ). |
| arithmaticnoun | Misspelling of arithmetic. [The mathematics of numbers (integers, rational numbers, real numbers, or complex numbers) under the operations of addition, subtraction, multiplication, and division.] |
| arithmetic sequencenoun | (mathematics) Synonym of arithmetic progression. |
Translate “Arithmetic hierarchy” into Another Language
Pick a language — the word will be pre-filled in the translator.