ON CERTAIN EXTENSIONS OF THE ARITHMETIC OF ADDITION OF NATURAL NUMBERS
From MaRDI portal
Publication:3885739
DOI10.1070/IM1980v015n02ABEH001252zbMath0443.03008MaRDI QIDQ3885739
Publication date: 1980
Published in: Mathematics of the USSR-Izvestiya (Search for Journal in Brave)
03B25: Decidability of theories and sets of sentences
03F30: First-order arithmetic and fragments
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items
A list of arithmetical structures complete with respect to the first-order definability, Almost periodicity, finite automata mappings, and related effectiveness issues, The theory of \(\langle \mathbb{N} , +, V_ k, V_ l\rangle\) is undecidable, Logic, semigroups and automata on words, Automata techniques for query inference machines, Presburger arithmetic and recognizability of sets of natural numbers by automata: New proofs of Cobham's and Semenov's theorems