Pages that link to "Item:Q1119567"
From MaRDI portal
The following pages link to Quantifier elimination for Stone algebras (Q1119567):
Displaying 6 items.
- Definable sets in Stone algebras (Q506969) (← links)
- Iterating conditionals and symmetric Stone algebras (Q1910539) (← links)
- The countable homogeneous universal model of \(B_ 2\) (Q1914058) (← links)
- Quantifier Elimination for Distributive Lattices and Measure Algebras (Q3338227) (← links)
- The Model Companion of Stone Semilattices (Q4031101) (← links)
- Model theory of Boolean products of subdirectly irreducible heyting algebras (Q4395730) (← links)