The following pages link to (Q4695117):
Displaying 3 items.
- Heyting* algebras, topological Boolean algebras and P.O. systems (Q1102308) (← links)
- Some connections between Heyting valued set theory and algebraic geometry. Prolegomena to intuitionistic algebraic geometry (Q1113898) (← links)
- Some notes concerning the homogeneity of Boolean algebras and Boolean spaces (Q1408727) (← links)