scientific article; zbMATH DE number 3813593

MaRDI QIDQ3661551zbMATH OpenFDO

Authors A. L. Semenova

Publication date 1982

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)