scientific article; zbMATH DE number 4039866

MaRDI QIDQ3778728zbMATH OpenFDO

Authors A. T. Nurtazin

Publication date 1986

zbMATH Keywords

decidabilityfirst-order languagesGödel signatures

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Quantifier elimination, model completeness, and related topics (03C10)

Recommendations

• On elimination of quantifiers in some non-classical mathematical theories
• A roadmap to decidability
• scientific article; zbMATH DE number 1228742
• Quantifier elimination for elementary geometry and elementary affine geometry
• Publication:3489978

Cited in

(8)

• Symbol elimination and applications to parametric entailment problems
• scientific article; zbMATH DE number 4033707 (Why is no real title available?)
• On elimination of quantifiers in some non-classical mathematical theories
• On the elimination of some higher type quantifiers
• A roadmap to decidability
• Elimination of quantifiers in Horn theories having a small number of models
• Countable infinite existentially closed models of universally axiomatizable theories
• scientific article; zbMATH DE number 1302474 (Why is no real title available?)

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