We construct a totally disconnected compact Hausdorff space K₊ which has clopen subsets K₊” ⊆ K₊’ ⊆ K₊ such that K₊” is homeomorphic to K₊ and hence C(K₊”) is isometric as a Banach space to C(K₊) but C(K₊’) is not isomorphic to C(K₊). This gives two nonisomorphic Banach spaces (necessarily nonseparable) of the form C(K) which are isomorphic to complemented subspaces of each other (even in the above strong isometric sense), providing a solution to the Schroeder-Bernstein problem for Banach spaces...

∗ The present article was originally submitted for the second volume of Murcia Seminar on Functional Analysis (1989). Unfortunately it has been not possible to continue with Murcia Seminar publication anymore. For historical reasons the present vesion correspond with the original one.Weak completeness properties of Boolean rings are related to the property of being a Baire space (when suitably topologised) and to renorming properties of the Banach spaces of continuous functions on the corresponding...

Booleanization of frames or uniform frames, which is not functorial under the basic choice of morphisms, becomes functorial in the categories with weakly open homomorphisms or weakly open uniform homomorphisms. Then, the construction becomes a reflection. In the uniform case, moreover, it also has a left adjoint. In connection with this, certain dual equivalences concerning uniform spaces and uniform frames arise.

We give an affirmative answer to problem DJ from Fremlin’s list [8] which asks whether $M{A}_{{\omega }_1}$ implies that every uncountable Boolean algebra has an uncountable set of pairwise incomparable elements.

We study combinatorial properties of the partial order (Dense(ℚ),⊆). To do that we introduce cardinal invariants ${}_{\mathbb{Q}}$, ${}_{\mathbb{Q}}$, ${}_{\mathbb{Q}}$, ${}_{\mathbb{Q}}$, ${}_{\mathbb{Q}}$, ${}_{\mathbb{Q}}$ describing properties of Dense(ℚ). These invariants satisfy ${}_{\mathbb{Q}}$ ≤ ℚ ≤ ℚ ≤ ℚ ≤ ℚ ≤ ℚ$.WecomparethemwiththeiranaloguesinthewellstudiedBooleanalgebra\left(\omega \right)/fin.Weshowthat$ℚ = p$,$ℚ = t$and$ℚ = i$,whereas$ℚ > h$and$ℚ > r$arebothshowntoberelativelyconsistentwithZFC.Wealsoinvestigatecombinatoricsoftheidealnwdofnowheredensesubsetsof,\mathbb{Q}.Inparticular,weshowthat$non(M)=min||: ⊆ Dense(R) ∧ (∀I ∈ nwd(R))(∃D ∈ )(I ∩ D = ∅) and cof(M) = min||: ⊆ Dense(ℚ) ∧ (∀I ∈ nwd)(∃D ∈ )(I ∩ = ∅). We use these facts to show that cof(M) ≤ i, which improves a result of S. Shelah.

This is an expository paper about constructions of locally compact, Hausdorff, scattered spaces whose Cantor-Bendixson height has cardinality greater than their Cantor-Bendixson width.

This paper deals with ordered rings and f-rings. Some relations between classes of ideals are obtained. The idea of subunity allows us to study the possibility of embedding the ring in a unitary f-ring. The Boolean algebras of idempotents and lattice-isometries in an f-ring are studied. We give geometric characterizations of the l-isometries and obtain, in the projectable case, that the Stone space of the Boolean algebra of l-isometries is homeomorphic to the space of minimal prime ideals with the...

Let A be an analytic family of sequences of sets of integers. We show that either A is dominated or it contains a continuum of almost disjoint sequences. From this we obtain a theorem by Shelah that a Suslin c.c.c. forcing adds a Cohen real if it adds an unbounded real.

An archimedean vector lattice A might have the following properties: (1) the sigma property (σ): For each ${aₙ}_{n\in \mathbb{N}}conA⁺$ there are ${\lambda ₙ}_{n\in \mathbb{N}}\subseteq (0,\infty )$ and a ∈ A with λₙaₙ ≤ a for each n; (2) order convergence and relative uniform convergence are equivalent, denoted (OC ⇒ RUC): if aₙ ↓ 0 then aₙ → 0 r.u. The conjunction of these two is called strongly Egoroff. We consider vector lattices of the form D(X) (all extended real continuous functions on the compact space X) showing that (σ) and (OC ⇒ RUC) are equivalent, and equivalent...

Any finitely generated regular variety $𝕍$ of distributive double $p$-algebras is finitely determined, meaning that for some finite cardinal $n\left(𝕍\right)$, any subclass $S\subseteq 𝕍$ of algebras with isomorphic endomorphism monoids has fewer than $n\left(𝕍\right)$ pairwise non-isomorphic members. This result follows from our structural characterization of those finitely generated almost regular varieties which are finitely determined. We conjecture that any finitely generated, finitely determined variety of distributive double $p$-algebras...