How to construct a product of a-frames
This paper is developed in the framework of constructive lattice theory, where constructive mathematics is defined as mathematics that uses intuitionistic logic in the style of E. Bishop. It presents a notion of a-frame, which in particular is a complete lattice, i.e. admits arbitrary joins. (It thus seems to the reviewer that, in opposition of what is stated in Footnote 2, non-trivial examples can only be produced using some form of impredicativity.) The question which is analyzed is then when one can put a structure of a-frame on a product of two a-frames where such a product is characterized abstractly by some axioms listed in Section 2. A crucial role is played by a new notion of ``decency for lattice. A lattice is ``decent if \(x\leqslant y\) follows from \(x\neq 0\rightarrow x\leqslant y\) (a notion which classically always holds but is intuitionistically non-trivial).
- 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
- 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
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)
