Non-effective Quantifier Elimination

DOI<link itemprop=identifier href="https://doi.org/10.1002/1521-3870(200111)47:4<557::AID-MALQ557>3.0.CO;2-O" /><557::AID-MALQ557>3.0.CO;2-O 10.1002/1521-3870(200111)47:4<557::AID-MALQ557>3.0.CO;2-OzbMath0992.03042OpenAlexW2068866297MaRDI QIDQ2765578

Mihai Prunescu

Publication date: 16 September 2002

Full work available at URL: https://doi.org/10.1002/1521-3870(200111)47:4<557::aid-malq557>3.0.co;2-o

zbMATH Keywords

quantifier eliminationdecidabilityfirst-order theories

Mathematics Subject Classification ID

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

Related Items (1)

Structure with fast elimination of quantifiers

This page was built for publication: Non-effective Quantifier Elimination