Pages that link to "Item:Q5903203"
From MaRDI portal
The following pages link to Boolean algebras in a localic topos (Q5903203):
Displayed 11 items.
- Semantic completeness of first-order theories in constructive reverse mathematics (Q286708) (← links)
- Prime elements in a localic topos (Q1121977) (← links)
- On the normal completion of a Boolean algebra (Q1874524) (← links)
- Stability of abelian groups in a topos of sheaves (Q2644749) (← links)
- Internal completeness and injectivity of Boolean algebras in the topos of <i>M</i>-sets (Q4204313) (← links)
- Boolean Algebras and Distributive Lattices Treated Constructively (Q4238433) (← links)
- Zorn's lemma and complete Boolean algebras in intuitionistic type theories (Q4382475) (← links)
- (Q4728525) (← links)
- (Q5753996) (← links)
- Stone representation theorem for Boolean algebras in the topos <i>M</i><b>Set</b> (Q5872820) (← links)
- Boolean algebras in a localic topos (Q5905376) (← links)