An ordered sheaf representation of subresiduated lattices

DOI10.1017/S0004972700006390zbMath0431.06011MaRDI QIDQ3867853

William H. Cornish

Publication date: 1980

Published in: Bulletin of the Australian Mathematical Society (Search for Journal in Brave)

zbMATH Keywords

Priestley spaceordered sheafordered sectionsvariety of subresiduated lattices

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Representation theory of lattices (06B15) Structure and representation theory of distributive lattices (06D05) Topological representations of algebraic systems (54H10)

Related Items (2)

Rings and sheaves ⋮ On the structure of varieties with equationally definable principal congruences. IV

Cites Work

• Integral domain type representations in sheaves and other topoi
• The lattice of global sections of sheaves of chains over Boolean spaces
• Sheaf spaces and sheaves of universal algebras
• Logics Which Are Characterized by Subresiduated Lattices

This page was built for publication: An ordered sheaf representation of subresiduated lattices