scientific article; zbMATH DE number 3437136

MaRDI QIDQ4405151zbMATH OpenFDO

Authors A. T. Nurtazin, S. S. Goncharov

Publication date 1973

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Computability and recursion theory (03D99) Model theory (03C99)

Cited in

(3)

• Punctually presented structures I: Closure theorems
• A.D. Taimanov and model theory in Kazakhstan
• Induction, bounding, weak combinatorial principles, and the homogeneous model theorem

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