How to construct a product of a-frames

DOI10.1002/MALQ.201110059zbMATH Open1330.03089OpenAlexW2110384939MaRDI QIDQ2910982FDOQ2910982

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

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

zbMATH Keywords

product latticea-frameconstructive lattice theorydecent

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Apartness and uniformity. A constructive development.
• Title not available (Why is that?)
• 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)