Definition
In mathematical logic, Skolem arithmetic is the first-order theory of the natural numbers with multiplication, named in honor of Thoralf Skolem. The signature of Skolem arithmetic contains only the multiplication operation and equality, omitting the addition operation entirely.
Related concepts
Andrzej MostowskiComputational complexity theoryDecidability (logic)Decision problemEhrenfeucht–Fraïssé gameEquinumerosityFeferman–Vaught theoremFirst-order logicFirst-order predicate calculusFundamental theorem of arithmeticGreatest common divisorIf and only ifIsrael Journal of MathematicsJournal of Symbolic LogicJulia RobinsonLeast common multipleMathematical logicMultiplicationMultisetNP (complexity)Natural numberPeano arithmeticPresburger arithmeticPrime numberQuantifier eliminationRobinson arithmeticSatisfiabilitySignature (mathematical logic)Skolem arithmetic (disambiguation)Thoralf Skolem
5 concepts already in your glossary