A classification of H-closed extensions
Following the introduction of separability in frames ([2]) we investigate further properties of this notion and establish some consequences of the Urysohn metrization theorem for frames that are frame counterparts of corresponding results in spaces. In particular we also show that regular subframes of compact metrizable frames are metrizable.
We consider the Golomb and the Kirch topologies in the set of natural numbers. Among other results, we show that while with the Kirch topology every arithmetic progression is aposyndetic, in the Golomb topology only for those arithmetic progressions with the property that every prime number that divides also divides , it follows that being connected, being Brown, being totally Brown, and being aposyndetic are all equivalent. This characterizes the arithmetic progressions which are aposyndetic...
More precisely, we are analyzing some of H. Simmons, S. B. Niefield and K. I. Rosenthal results concerning sublocales induced by subspaces. H. Simmons was concerned with the question when the coframe of sublocales is Boolean; he recognized the role of the axiom for the relation of certain degrees of scatteredness but did not emphasize its role in the relation between sublocales and subspaces. S. B. Niefield and K. I. Rosenthal just mention this axiom in a remark about Simmons’ result. In this...