Pages that link to "Item:Q3338227"
From MaRDI portal
The following pages link to Quantifier Elimination for Distributive Lattices and Measure Algebras (Q3338227):
Displaying 7 items.
- Quantifier elimination for Stone algebras (Q1119567) (← links)
- Decision procedures for the conditions true in certain metric structures (Q2415938) (← links)
- (Q3708784) (← links)
- Quantifier Elimination in $\mathrm{C}^*$-Algebras (Q4612100) (← links)
- Concrete barriers to quantifier elimination in finite dimensional C*‐algebras (Q5108876) (← links)
- Quantifier elimination in the theory of Lp(Lq)-Banach lattices (Q5894809) (← links)
- Neocompact quantifier elimination in structures based on Banach spaces (Q5942464) (← links)