scientific article

zbMath0417.03005MaRDI QIDQ3206925

A. L. Semenov

Publication date: 1979

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

decidabilitydefinabilityalmost periodic system of predicatesfragments of elementary number theory

Mathematics Subject Classification ID

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

Related Items (4)

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

This page was built for publication: