How to construct a product of a-frames

DOI10.1002/MALQ.201110059zbMath1330.03089OpenAlexW2110384939MaRDI QIDQ2910982

Douglas S. Bridges

Publication date: 12 September 2012

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

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

zbMATH Keywords

product latticea-frameconstructive lattice theorydecent

Mathematics Subject Classification ID

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

Related Items (1)

Almost new pre-apartness from old

Cites Work

• Apartness and Uniformity
• Product a‐frames and proximity
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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