Büchi arithmetic
id:
b-chi-arithmetic-236-2445490
title:
Büchi arithmetic
text:
Büchi arithmetic of base k is the first-order theory of the natural numbers with addition and the function V k which is defined as the largest power of k dividing x, named in honor of the Swiss mathematician Julius Richard Büchi. The signature of Büchi arithmetic contains only the addition operation, V k and equality, omitting the multiplication operation entirely. Unlike Peano arithmetic, Büchi arithmetic is a decidable theory. This means it is possible to effectively determine, for any sentenc
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/B%C3%BCchi_arithmetic
date created:
date modified:
2023-07-12T13:00:31Z
main entity:
{"identifier":"Q5005255","url":"https://www.wikidata.org/entity/Q5005255"}
image:
fields total:
13
integrity:
13