How to construct a product of a-frames

DOI10.1002/MALQ.201110059MaRDI QIDQ2910982zbMATH OpenOpenAlexFDO

Authors Douglas Bridges

Publication date 12 September 2012

Published in Mathematical Logic Quarterly (MLQ) (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.201110059

zbMATH Keywords

a-frameconstructive lattice theorydecentproduct lattice

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Frames, locales (06D22)

Recommendations

• Product a‐frames and proximity
• The tensor product of frames
• Tensor product of frame manuals
• Frames and the projection method
• The product of affine orthogonal projections
• Tensor product dual frames
• Products of orthogonal projections
• A study of a new dimension for frames
• Constructions of Frames by Disjoint Frames
• Constructing finite frames via platonic solids

Cites work

• Apartness and uniformity. A constructive development.
• scientific article; zbMATH DE number 5554672 (Why is no real title available?)
• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 41225 (Why is no real title available?)
• scientific article; zbMATH DE number 3366941 (Why is no real title available?)
• Product a‐frames and proximity

Cited in

(2)

• Almost new pre-apartness from old
• Product a‐frames and proximity

This page was built for publication: How to construct a product of a-frames

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2910982)