scientific article; zbMATH DE number 3648678

zbMATH Open0417.03005MaRDI QIDQ3206925FDOQ3206925

Authors: A. L. Semenov 

Publication date: 1979

Title of this publication is not available (Why is that?)

zbMATH Keywords

decidabilitydefinabilityalmost periodic system of predicatesfragments of elementary number theory

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Decidability of theories and sets of sentences (03B25) First-order arithmetic and fragments (03F30)

Cited In (4)

• Morphisms and almost-periodicity
• Automata and tame expansions of \((\mathbb{Z}, +)\)
• On expansions of \((\mathbf{Z},+,0)\)
• More on morphisms and almost-periodicity

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3206925)