Minimally generated Boolean algebras

We introduce the class of minimally generated Boolean algebras, i.e. those algebras representable as the union of a continuous well-ordered chain of subalgebras A ₁ where A _i+1 is a minimal extension of A _i. Minimally generated algebras are closely related to interval algebras and superatomic algebras.     

Free Boolean algebras over unions of two well orderings

Given a partially ordered set P there exists the most general Boolean algebra which contains P as a generating set, called the free Boolean algebra over P. We study free Boolean algebras over posets of the form P=P₀∪P₁, where P₀, P₁ are well orderings. We call them nearly ordinal algebras.Answering a question of Maurice Pouzet, we show that for every uncountable cardinal κ there are κ² pairwise non-isomorphic nearly ordinal algebras of cardinality κ.Topologically, free Boolean algebras over posets correspond to compact 0-dimensional distributive lattices. In this context, we classify all closed sublattices of the product (ω₁+1)×(ω₁+1), showing that there are only ℵ₁ many types. In contrast with the last result, we show that there are ℵ₁² topological types of closed subsets of the Tikhonov plank (ω₁+1)×(ω+1).     

Cardinal sequences of LCS spaces under GCH

Let C(α) denote the class of all cardinal sequences of length α associated with compact scattered spaces. Also put

C_λ(α)={f∈C(α):f(0)=λ=min[f(β):β<α]}.     

Wide scattered spaces and morasses

We show that it is relatively consistent with ZFC that ω² is arbitrarily large and every sequence s=〈sα:α<ω₂〉 of infinite cardinals with sα?ω² is the cardinal sequence of some locally compact scattered space.     

Poset algebras over well quasi-ordered posets

A new class of partial order-types, class is defined and investigated here. A poset P is in the class iff the poset algebra F(P) is generated by a better quasi-order G that is included in L(P). The free Boolean algebra F(P) and its free distributive lattice L(P) have been defined in [ABKR]. The free Boolean algebra F(P) contains the partial order P and is generated by it: F(P) has the following universal property. If B is any Boolean algebra and f is any order-preserving map from P into a Boolean algebra B, then f can be extended to a homomorphism of F(P) into B. We also define L(P) as the sublattice of F(P) generated by P. We prove that if P is any well quasi-ordering, then L(P) is well founded, and is a countable union of well quasi-orderings. We prove that the class is contained in the class of well quasi-ordered sets. We prove that is preserved under homomorphic image, finite products, and lexicographic sum over better quasi-ordered index sets. We prove also that every countable well quasi-ordered set is in . We do not know, however if the class of well quasi-ordered sets is contained in . Additional results concern homomorphic images of posets algebras. The third author was supported by the following institutions: Israel Science Foundation (postdoctoral positions at Ben Gurion University 2000–2002), The Fields Institute (Toronto 2002–2004), and by The Nato Science Fellowship (University Paris VII, CNRS-UMR 7056, 2004).     

A compact F-space not co-absolute with βN−N

We show that if every Parovi?enko space of weight $\text{c}$ is co-absolute with $\text{β}\text{N}\text{?}\text{N}$, then .     

Countably compact extensions of topological spaces

We study the question whether a topological space X with a property $\text{P}$ can be embedded in a countably compact space X? with the same property $\text{P}$.     

Congruences and ideals on Boolean modules: a heterogeneous point of view

Definitions for heterogeneous congruences and heterogeneous ideals on a Boolean module $\mathcal {M}$ are given and the respective lattices $\mathrm{Cong}\mathcal {M}$ and $\mathrm{Ide}\mathcal {M}$ are presented. A characterization of the simple bijective Boolean modules is achieved differing from that given by Brink in a homogeneous approach. We construct the smallest and the greatest modular congruence having the same Boolean part. The same is established for modular ideals. The notions of kernel of a modular congruence and the congruence induced by a modular ideal are introduced to describe an isomorphism between $\mathrm{Cong}\mathcal {M}$ and $\mathrm{Ide}\mathcal {M}$. This isomorphism leads us to conclude that the class of the Boolean module is ideal determined.     

On modal logics arising from scattered locally compact Hausdorff spaces

For a topological space X, let $\mathsf{L}(X)$ be the modal logic of X where □ is interpreted as interior (and hence ◇ as closure) in X. It was shown in [3] that the modal logics S4, S4.1, S4.2, S4.1.2, S4.Grz, ${\mathsf{S4}.\mathsf{Grz}}_n$ ($n\ge 1$), and their intersections arise as $\mathsf{L}(X)$ for some Stone space X. We give an example of a scattered Stone space whose logic is not such an intersection. This gives an affirmative answer to [3, Question 6.2]. On the other hand, we show that a scattered Stone space that is in addition hereditarily paracompact does not give rise to a new logic; namely we show that the logic of such a space is either S4.Grz or ${\mathsf{S4}.\mathsf{Grz}}_n$ for some $n\ge 1$. In fact, we prove this result for any scattered locally compact open hereditarily collectionwise normal and open hereditarily strongly zero-dimensional space.     

Generalizations of P. Lévy's inversion theorem

We extend the Lévy inversion formula for the recovery of a bounded measure over $\text{R}$ from its Fourier-Stieltjes transform to bounded complex-valued, orthogonally scattered Hilbert space-valued, and spectral projection operator-valued measures over any first countable locally compact Abelian group. All our results are direct generalizations of known inversions for $\text{R}$.