Pages that link to "Item:Q1076014"
From MaRDI portal
The following pages link to Elementary theories of free topo-Boolean and pseudo-Boolean algebras (Q1076014):
Displaying 7 items.
- On Bellissima's construction of the finitely generated free Heyting algebras, and beyond (Q711563) (← links)
- Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus (Q920971) (← links)
- Equations in free topoboolean algebra (Q1092029) (← links)
- Heyting* algebras, topological Boolean algebras and P.O. systems (Q1102308) (← links)
- Saturated free algebras and almost indiscernible theories (Q2120438) (← links)
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV (Q5009678) (← links)
- (Q5750912) (← links)