Higher order dissolutions and Boolean coreflections of locales (Q1588079): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Modal extensions of Heyting algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Atomless Parts of Spaces. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Direct limits of meet-continuous lattices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3218788 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On dissolute spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: First Steps in Descriptive Theory of Locales / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3965241 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3976465 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quotient maps of locales / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Spaces with Boolean assemblies / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3958510 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4206792 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Near-discreteness of modules and spaces as measured by Gabriel and Cantor / rank | |||
Normal rank |
Latest revision as of 10:50, 3 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Higher order dissolutions and Boolean coreflections of locales |
scientific article |
Statements
Higher order dissolutions and Boolean coreflections of locales (English)
0 references
12 August 2001
0 references
In this paper the problem of characterizing \(a\)-soluble locales (a locale is called \(a\)-soluble if its \(a\)-th dissolution is Boolean) for small \(a\), and the related problem of characterizing \(a\)-insoluble locales are considered. The key notion used in these characterizations is the notion of rare sublocales. It is obtained that a locale \(A\) is: (i) 1-soluble iff it has no nonzero rare sublocales, (ii) 2-soluble iff each \(S<A\) or \(S=A\) has a largest rare sublocale iff \(A\) satisfies (ACC) for rare inclusions, (iii) 3-soluble iff \(A\) contains no nontrivial rarefying family (a family \(\mathcal F\) of sublocales of \(A\) in which each element is covered by its rare sublocales contained in \(\mathcal F\)). Finally a sufficient condition for insolubility ``a locale is insoluble if all its Boolean sublocales are extremely rare'' is given. This result implies that the locale of rational numbers has no Boolean coreflection, and hence that the only metrizable spaces with a Boolean coreflection are the scattered ones.
0 references
\(a\)-soluble locales
0 references
rare sublocales
0 references
metrizable spaces
0 references
scattered spaces
0 references
Boolean correflections
0 references