Related papers: Simple Complete Boolean Algebras
How many endomorphisms does a Boolean algebra have? Can we find Boolean algebras with as few endomorphisms as possible? Of course from any ultrafilter of the Boolean algebra we can define an endomorphism, and we can combine finitely many…
We prove the consistency of the following statement: for some kappa<2^{aleph_0}, there is a kappa-complete ideal on kappa such that the Boolean algebra P(kappa)/I is sigma-centered and there are Q-sets of reals.
We establish some similarities/analogies between uncountable cardinals or powersets and the class $V$ of all sets. They concern mainly the Boolean algebras ${\cal P}(\kappa)$, for a regular cardinal $\kappa$, and ${\cal C}(V)$ (the class of…
The subalgebra of the tautological ring of the moduli of curves of compact type generated by the kappa classes is studied in all genera. Relations, constructed via the virtual geometry of the moduli of stable quotients, are used to obtain…
A general simplicity problem in category theory is proposed. A particular example, the simplest choice of generators of an algebra is specified and illustrated by an example.
For a ring R, denote by Spec^R_kappa(Gamma) the kappa-spectrum of the Gamma-invariant of strongly uniform right R-modules. Recent realization techniques of Goodearl and Wehrung show that Spec^R_{aleph_1}(Gamma) is full for suitable von…
In this paper we study the minimal number of generators for simple Lie algebras in characteristic 0 or p > 3. We show that any such algebra can be generated by 2 elements. We also examine the 'one and a half generation' property, i.e. when…
Assuming the existence of a supercompact cardinal, we construct a model where, for some uncountable regular cardinal $\kappa$, there are no $\Sigma^1_1(\kappa)-\kappa-$mad families.
In this paper for each cardinal $\kappa$ we construct an infinite $\kappa$-bounded (and hence countably compact) regular space $R_{\kappa}$ such that for any $T_1$ space $Y$ of pseudo-character $\leq\kappa$, each continuous function…
Let $\kappa$ be any regular cardinal. Assuming the existence of a huge cardinal above $\kappa$, we prove the consistency of $\binom{\kappa^{++}}{\kappa^+}\rightarrow\binom{\tau}{\kappa^+}$ for every ordinal $\tau<\kappa^{++}$. Likewise, we…
We address a number of problems on Boolean Algebras. For example, we construct, in ZFC, for any BA B, and cardinal kappa BAs B_1,B_2 extending B such that the depth of the free product of B_1,B_2 over B is strictly larger than the depths of…
Boolean-type algebra (BTA) is investigated. A BTA is decomposed into Boolean-type lattice (BTL) and a complementation algebra (CA). When the object set is finite, the matrix expressions of BTL and CA (and then BTA) are presented. The…
We prove the consistency of irr(prod limits_{i<kappa}B_i/D)< prod limits_{i<kappa}irr(B_i)/D, where D is an ultrafilter on kappa and each B_i is a Boolean Algebra. This solves the last problem of this form from the Monk's list of problems,…
It is shown that there exists a complete, atomless, sigma-centered Boolean algebra, which does not contain any regular countable subalgebra if and only if there exist a nowhere dense ultrafilter. Therefore the existence of such algebras is…
A ccc-generically supercompact cardinal $\kappa$ can be smaller than or equal to the continuum. On the other hand, such a cardinal $\kappa$ still satisfies diverse largeness properties, like that it is a stationary limit of ccc-generically…
This paper studies cardinal invariants b_kappa and t_kappa, the natural generalizations of the invariants b and t to a regular cardinal kappa.
We investigate a notion called uniqueness in power kappa that is akin to categoricity in power kappa, but is based on the cardinality of the generating sets of models instead of on the cardinality of their universes. The notion is quite…
In the literature on Kleene algebra (KA), a number of variants have been proposed such as Kleene algebra with tests, commutative KA, bi-KA, and concurrent KA. The equational theories of some of these structures have then been studied in the…
It is unprovable that every complete subalgebra of a countably closed complete Boolean algebra is countably closed.
Monk asks (problems 13, 15 in his list; pi is the algebraic density):''For a Boolean algebra B, aleph_0 <= theta <= pi (B), does B have a subalgebra B' with pi (B')= theta ?'' If theta is regular the answer is easily positive, we show that…