Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
8904317 | Annals of Pure and Applied Logic | 2018 | 33 Pages |
Abstract
The theory ACFA admits a primitive recursive quantifier elimination procedure. It is therefore primitive recursively decidable.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Ivan TomaÅ¡iÄ,