On some peculiar aspects of the constructive theory of point-free spaces

DOI10.1002/malq.200910037zbMath1200.03043arXiv0907.4134MaRDI QIDQ6214818

Giovanni Curi

Publication date: 23 July 2009

Mathematics Subject Classification ID

Frames, locales (06D22) Consistency and independence results in general topology (54A35) Other constructive mathematics (03F65) Metamathematics of constructive systems (03F50)