Pages that link to "Item:Q2887377"
From MaRDI portal
The following pages link to On the Heyting algebra objects in a topos (Q2887377):
Displaying 7 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)
- Construction of monadic Heyting algebra in any logos. (Q2813431) (← links)
- (Q3211511) (← links)
- Intrinsic co-Heyting boundaries and the Leibniz rule in certain toposes (Q3978982) (← links)
- (Q5225607) (← links)
- Distribution algebras and duality (Q5927533) (← links)