Structure with fast elimination of quantifiers

DOI10.2178/jsl/1140641177zbMath1100.03018MaRDI QIDQ5477638

Mihai Prunescu

Publication date: 5 July 2006

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2178/jsl/1140641177

Mathematics Subject Classification ID

03B25: Decidability of theories and sets of sentences

03D15: Complexity of computation (including implicit computational complexity)

68Q15: Complexity classes (hierarchies, relations among complexity classes, etc.)

03C10: Quantifier elimination, model completeness, and related topics