Pages that link to "Item:Q2326420"
From MaRDI portal
The following pages link to A strict implication calculus for compact Hausdorff spaces (Q2326420):
Displayed 5 items.
- Beth definability and the Stone-Weierstrass theorem (Q2033009) (← links)
- Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras (Q2084960) (← links)
- A variety of algebras closely related to subordination algebras (Q5048041) (← links)
- MODAL OPERATORS ON RINGS OF CONTINUOUS FUNCTIONS (Q5052001) (← links)
- Subordinations on bounded distributive lattices (Q6105027) (← links)