scientific article; zbMATH DE number 4039866

zbMATH Open0638.03028MaRDI QIDQ3778728FDOQ3778728

Authors: A. T. Nurtazin 

Publication date: 1986

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

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

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)

Cited In (8)

• Symbol elimination and applications to parametric entailment problems
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)

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)