Pages that link to "Item:Q4612100"
From MaRDI portal
The following pages link to Quantifier Elimination in $\mathrm{C}^*$-Algebras (Q4612100):
Displaying 10 items.
- The model theory of modules of a \(C^*\)-algebra (Q365663) (← links)
- Model-theoretic aspects of the Gurarij operator system (Q1670336) (← links)
- Quantifier Elimination for Distributive Lattices and Measure Algebras (Q3338227) (← links)
- Model theory of 𝐶*-algebras (Q3380556) (← links)
- Obstructions to countable saturation in corona algebras (Q5060370) (← links)
- Concrete barriers to quantifier elimination in finite dimensional C*‐algebras (Q5108876) (← links)
- ON THE AXIOMATIZABILITY OF C*-ALGEBRAS AS OPERATOR SYSTEMS (Q5229056) (← links)
- Quantifier elimination in the theory of Lp(Lq)-Banach lattices (Q5894809) (← links)
- Neocompact quantifier elimination in structures based on Banach spaces (Q5942464) (← links)
- Continuous theory of operator expansions of finite dimensional Hilbert spaces and decidability (Q6047670) (← links)
