Back to Search
Start Over
Non-effective Quantifier Elimination.
- Source :
-
Mathematical Logic Quarterly . Nov2001, Vol. 47 Issue 4, p557-561. 5p. - Publication Year :
- 2001
-
Abstract
- Genera connections between quantifier elimination and decidability for first order theories are studied and exemplified. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 09425616
- Volume :
- 47
- Issue :
- 4
- Database :
- Academic Search Index
- Journal :
- Mathematical Logic Quarterly
- Publication Type :
- Academic Journal
- Accession number :
- 13585421
- Full Text :
- https://doi.org/10.1002/1521-3870(200111)47:4<557::AID-MALQ557>3.0.CO;2-O