scientific article; zbMATH DE number 3813593

zbMATH Open0515.03014MaRDI QIDQ3661551FDOQ3661551

A. L. Semenova

Publication date: 1982

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

zbMATH Keywords

unary functionsmonadic languagefragment of arithmeticexistential quantificationsfirst order structuremonadically definableunary relations

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40) Connections of number theory and logic (11U99)

Cited In (1)

• Decidability of Sub-theories of Polynomials over a Finite Field

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 Q3661551)