It follows from Stone Duality that Hochster's results on the relation between spectral spaces and prime spectra of rings translate into analogous, formally stronger results concerning coherent frames and frames of radical ideals of rings. Here, we show that the latter can actually be obtained without Stone Duality, proving them in Zermelo-Fraenkel set theory and thereby sharpening the original results of Hochster.
We investigate the completely Ramsey, Lebesgue, and Marczewski σ-algebras and their relations to the Baire property in the Ellentuck and density topologies. Two theorems concerning the Marczewski σ-algebra (s) are presented. THEOREM. In the density topology D, (s) coincides with the σ-algebra of Lebesgue measurable sets. THEOREM. In the Ellentuck topology on , is a proper subset of the hereditary ideal associated with (s). We construct an example in the Ellentuck topology of a set which is...
Given a 0-1 sequence x in which both letters occur with density 1/2, do there exist arbitrarily long arithmetic progressions along which x reads 010101...? We answer the above negatively by showing that a certain regular triadic Toeplitz sequence does not have this property. On the other hand, we prove that if x is a generalized binary Morse sequence then each block can be read in x along some arithmetic progression.
Let E₀ be the Vitali equivalence relation and E₃ the product of countably many copies of E₀. Two new dichotomy theorems for Borel equivalence relations are proved. First, for any Borel equivalence relation E that is (Borel) reducible to E₃, either E is reducible to E₀ or else E₃ is reducible to E. Second, if E is a Borel equivalence relation induced by a Borel action of a closed subgroup of the infinite symmetric group that admits an invariant metric, then either E is reducible to a countable...