Pages that link to "Item:Q685061"
From MaRDI portal
The following pages link to A construction of Boolean algebras from first-order structures (Q685061):
Displaying 9 items.
- Boolean topological graphs of semigroups: the lack of first-order axiomatization (Q485412) (← links)
- Modality and possibility in some intuitionistic modal logics (Q1099162) (← links)
- Definable Boolean combinations of open sets are Boolean combinations of open definable sets (Q1347349) (← links)
- A First Class Boolean Sort in First-Order Theorem Proving and TPTP (Q3453107) (← links)
- (Q3789622) (← links)
- First Order Theory of Complete Stonean Algebras (Boolean-Valued Real and Complex Numbers) (Q3797176) (← links)
- (Q4248075) (← links)
- Classification of Boolean Algebras of Logic and Probabilities Defined on them by Classical Models (Q5184903) (← links)
- Advances in Databases and Information Systems (Q5464722) (← links)