Abdelhafed Elkhadiri
Abstract
Open-access reader
We give some structures without quantifier elimination but in which the closure, and hence the interior and the boundary, of a quantifier free definable set is also a quantifier free definable set.
A significance statement is not available in the OpenAlex record.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
We give some structures without quantifier elimination but in which the closure, and hence the interior and the boundary, of a quantifier free definable set is also a quantifier free definable set.
Key concepts: Quantifier (linguistics), Quantifier elimination, Closure (psychology), Set (abstract data type), Mathematics, Boundary (topology), Discrete mathematics, Combinatorics