Premium
Non‐effective Quantifier Elimination
Author(s) -
Prunescu Mihai
Publication year - 2001
Publication title -
mathematical logic quarterly
Language(s) - Uncategorized
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/1521-3870(200111)47:4<557::aid-malq557>3.0.co;2-o
Subject(s) - quantifier elimination , decidability , quantifier (linguistics) , mathematics , order (exchange) , discrete mathematics , calculus (dental) , computer science , artificial intelligence , medicine , dentistry , finance , economics
Genera connections between quantifier elimination and decidability for first order theories are studied and exemplified.