Premium
How to construct a product of a‐frames
Author(s) -
Bridges Douglas S.
Publication year - 2012
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.201110059
Subject(s) - construct (python library) , constructive , mathematics , product (mathematics) , frame (networking) , style (visual arts) , algebra over a field , pure mathematics , computer science , geometry , process (computing) , programming language , telecommunications , archaeology , history
It is shown how, under certain circumstances and within Bishop‐style constructive mathematics, one can construct a product of two a‐frames (the structures underlying the constructive theory of apartness on frames).