English
Related papers

Related papers: Complete sigma-centered Boolean algebra not adding…

200 papers

A. Tarski proved that the m-generated free algebra of $\mathrm{CA}_{\alpha}$, the class of cylindric algebras of dimension $\alpha$, contains exactly $2^m$ zero-dimensional atoms, when $m\ge 1$ is a finite cardinal and $\alpha$ is an…

Logic · Mathematics 2019-03-06 Mohamed Khaled , István Németi

It is proved that the existence of a countable extremally disconnected Boolean topological group containing a family of open subgroups whose intersection has empty interior implies the existence of a rapid ultrafilter.

General Topology · Mathematics 2014-05-27 Ol'ga Sipacheva

It is well known that there is a correspondence between sets and complete, atomic Boolean algebras (CABA's) taking a set to its power-set and, reciprocally, a complete, atomic Boolean algebra to its set of atomic elements. Of course, such a…

Category Theory · Mathematics 2022-09-20 Marcelo E. Coniglio , Guilherme V. Toledo

For every uncountable cardinal mu there is a ccc Boolean algebra whose topological density is mu .

Logic · Mathematics 2008-02-03 Mariusz Rabus , Saharon Shelah

We investigate reflection-type problems on the class SPM, of Boolean algebras carrying strictly positive finitely additive measures. We show, in particular, that in the constructible universe there is a Boolean algebra $\mathfrak A$ which…

Logic · Mathematics 2018-10-08 Menachem Magidor , Grzegorz Plebanek

The structure of quotient Boolean algebras in terms of cardinal invariants is investigated. Some results of Gitik and Shelah regarding atomless ideals are reproved and proofs are significantly simplified.

Logic · Mathematics 2013-04-04 Ryszard Frankiewicz , Sławomir Szczepaniak

A Boolean $\sigma$-algebra $B$ is a measure algebra if and only if it is weakly distributive and uniformly concentrated.

Logic · Mathematics 2017-05-03 Thomas Jech

This article is devoted to two different generalizations of projective Boolean algebras: openly generated Boolean algebras and tightly sigma-filtered Boolean algebras. We show that for every uncountable regular cardinal kappa there are…

Logic · Mathematics 2007-05-23 Stefan Geschke , Saharon Shelah

Boolean locales are "almost discrete", in the sense that a spatial Boolean locale is just a discrete locale (that is, it corresponds to the frame of open subsets of a discrete space, namely the powerset of a set). This basic fact, however,…

Logic · Mathematics 2024-02-14 Francesco Ciraulo

We introduce the notion of a coherent $P$-ultrafilter on a complete ccc Boolean algebra, strenghtening the notion of a $P$-point on $\omega$, and show that these ultrafilters exist generically under ${\mathfrak c} = {\mathfrak d}$. This…

General Topology · Mathematics 2015-06-04 Jan Starý

We prove that for any superatomic Boolean Algebra of cardinality >beth_omega there is an automorphism moving uncountably many atoms. Similarly for larger cardinals. Any of those results are essentially best possible.

Logic · Mathematics 2007-05-23 Saharon Shelah

We investigate sigma-entangled linear orders and narrowness of Boolean algebras. We show existence of sigma-entangled linear orders in many cardinals, and we build Boolean algebras with neither large chains nor large pies. We study the…

Logic · Mathematics 2016-09-06 Saharon Shelah

For every regular cardinal kappa there exists a simple complete Boolean algebra with kappa generators.

Logic · Mathematics 2007-05-23 Thomas Jech , Saharon Shelah

We show the consistency of ZFC +''there is no NWD-ultrafilter on omega'', which means: for every non principle ultrafilter D on the set of natural numbers, there is a function f from the set of natural numbers to the reals, such that for…

Logic · Mathematics 2009-09-25 Saharon Shelah

For any composant $E \subset \mathbb H^*$ and corresponding near-coherence class $\mathscr E \subset \omega^*$ we prove the following are equivalent : (1) $E$ properly contains a dense semicontinuum. (2) Each countable subset of $E$ is…

General Topology · Mathematics 2020-07-21 Daron Anderson

In this paper we classify some special reducts of the countable atomless Boolean algebra which we call functional reducts. We prove that there are exactly $13$ such structures up to first order interdefinability.

Logic · Mathematics 2020-02-06 Bertalan Bodor , Kende Kalina , Csaba Szabó

We show that for a $\sigma $-ideal $\ci$ with a Borel base of subsets of an uncountable Polish space, if $\ca$ is (in several senses) a "regular" family of subsets from $\ci $ then there is a subfamily of $\ca$ whose union is completely…

Logic · Mathematics 2023-01-25 Robert Ralowski , Szymon Zeberski

A Boolean algebra carries a strictly positive exhaustive submeasure if and only if it has a sequential topology that is uniformly Frechet.

Logic · Mathematics 2017-05-03 Thomas Jech

We discuss the existence of (injectively) universal C*-algebras and prove that all C*-algebras of density character $\aleph_1$ embed into the Calkin algebra, $Q(H)$. Together with other results, this shows that each of the following…

Operator Algebras · Mathematics 2018-10-17 Ilijas Farah , Ilan Hirshberg , Alessandro Vignati

The Umehara algebra is studied with motivation on the problem of the non-existence of common complex submanifolds. In this paper, we prove some new results in Umehara algebra and obtain some applications. In particular, if a complex…

Complex Variables · Mathematics 2022-11-03 Xu Zhang , Donghai Ji