[BOOK][B] Metamathematics of first-order arithmetic
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have
published seminal works by leading logicians. Many of the original books in the series have …
published seminal works by leading logicians. Many of the original books in the series have …
[BOOK][B] Infinite words: automata, semigroups, logic and games
Infinite Words is an important theory in both Mathematics and Computer Sciences. Many
new developments have been made in the field, encouraged by its application to problems …
new developments have been made in the field, encouraged by its application to problems …
Logic and p-recognizable sets of integers.
We survey the properties of sets of integers recognizable by automata when they are written
in p-ary expansions. We focus on Cobham's theorem which characterizes the sets …
in p-ary expansions. We focus on Cobham's theorem which characterizes the sets …
Logical theories of one-place functions on the set of natural numbers
AL Semenov - Mathematics of the USSR-Izvestiya, 1984 - iopscience.iop.org
In this paper the author studies the decision problem for logical languages intended to
describe the properties of one-place functions on the set of natural numbers. For functions …
describe the properties of one-place functions on the set of natural numbers. For functions …
The complexity of Presburger arithmetic with power or powers
M Benedikt, D Chistikov, A Mansutti - ar** x to the largest power of k which divides x. This, with a result of …