Non-effective quantifier elimination

DOI10.1002/1521-3870(200111)47:4%3C557::AID-MALQ557%3E3.0.CO;2-OMaRDI QIDQ2765578zbMATH OpenOpenAlexFDO

Authors Mihai Prunescu

Publication date 16 September 2002

Published in Mathematical Logic Quarterly (MLQ) (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/1521-3870(200111)47:4%3C557::aid-malq557%3E3.0.co;2-o

zbMATH Keywords

decidabilityfirst-order theoriesquantifier elimination

Mathematics Subject Classification ID

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

Cited in

(2)

• Elimination problems in logic: a brief history
• Structure with fast elimination of quantifiers

This page was built for publication: Non-effective quantifier elimination

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2765578)