arXiv math/02113992002-11-26math.LO

Some notes concerning the homogeneity of Boolean algebras and Boolean spaces

Stefan Geschke, Saharon Shelah

发表信息：: Topology Appl. 133 No. 3 (2003) 241--253

英文摘要：

We consider homogeneity properties of Boolean algebras that have nonprincipal ultrafilters which are countably generated.It is shown that a Boolean algebra B is homogeneous if it is the union of countably generated nonprincipal ultrafilters and has a dense subset D such that for every a in D the relative algebra B restriction a:= {b in B:b <= a} is isomorphic to B. In particular, the free product of countably many copies of an atomic Boolean algebra is homogeneous. Moreover, a Boolean algebra B is homogeneous if it satisfies the following conditions: (i) B has a countably generated ultrafilter, (ii) B is not c.c.c., and (iii) for every a in B setminus {0} there are finitely many automorphisms h_1, ...,h_n of B such that 1=h_1(a) cup ... cup h_n(a).

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

Concerning problems about cardinal invariants on Boolean algebras

The present status of the problems in my book "Cardinal Invariants on Boolean algebras" (Birkhauser 1996) is described, with a description of solutions or partial solutions, and references.

2004-01-25math.LO

从Fraïssé理论视角看莱维坍缩的同质性

Homogeneity of the Lévy collapse from the perspective of Fraïssé theory

Institute of Mathematics of the Czech Academy of Sciences（捷克科学院数学研究所）；Wrocław University of Science and Technology（弗罗茨瓦夫科技大学）

本文从Fraïssé理论视角研究莱维坍缩的同质性，证明其极限的完备性与莱维坍缩一致，并指出坍缩代数不为密度链的并集。

2026-03-06math.LO

On submeasures on Boolean algebras

We present a collection of observations and results concerning submeasures on Boolean algebras. They are all motivated by Maharam's problem and Talagrand's construction that solved it.

2013-03-04math.LO

Constructive version of Boolean algebra

The notion of overlap algebra introduced by G. Sambin provides a constructive version of complete Boolean algebra. Here we first show some properties concerning overlap algebras: we prove that the notion of overlap morphism corresponds classically to that of map preserving arbitrary joins; we provide a description of atomic set-based overlap algebras in the language of formal topology, thus giving a predicative characterization of discrete locales; we show that the power-collection of a set is the free overlap algebra join-generated from the set. Then, we generalize the concept of overlap alge…

2012-03-22math.LO

Congruence Boolean Lifting Property

We introduce and study the Congruence Boolean Lifting Property (CBLP) for congruence--distributive universal algebras, as well as a property related to CBLP, which we have called $(\star )$. CBLP extends the so--called Boolean Lifting Properties (BLP) from MV--algebras, BL--algebras and residuated lattices, but differs from the BLP when particularized to bounded distributive lattices. Important classes of universal algebras, such as discriminator varieties, fulfill the CBLP. The main results of the present paper include a characterization theorem for congruence--distributive algebras with CBLP…

2015-10-21math.LO

On Borel maps, calibrated $σ$-ideals and homogeneity

Let $μ$ be a Borel measure on a compactum $X$. The main objects in this paper are $σ$-ideals $I(dim)$, $J_0(μ)$, $J_f(μ)$ of Borel sets in $X$ that can be covered by countably many compacta which are finite-dimensional, or of $μ$-measure null, or of finite $μ$-measure, respectively. Answering a question of J. Zapletal, we shall show that for the Hilbert cube, the $σ$-ideal $I(dim)$ is not homogeneous in a strong way. We shall also show that in some natural instances of measures $μ$ with non-homogeneous $σ$-ideals $J_0(μ)$ or $J_f(μ)$, the completions of the quotient Boolean algebras $Borel(X)/…

2017-06-15math.GNmath.LO

更多相关论文收起更多论文

Combinatorics of ultrafilters on Cohen and random algebras

We investigate the structure of ultrafilters on Boolean algebras in the framework of Tukey reducibility. In particular, this paper provides several techniques to construct ultrafilters which are not Tukey maximal. Furthermore, we connect this analysis with a cardinal invariant of Boolean algebras, the ultrafilter number, and prove consistency results concerning its possible values on Cohen and random algebras.

2021-02-16math.LO

关于剩余格中滤子的伪不可约性与布尔提升性质

On pseudo-irreducibility and Boolean lifting property of filters in residuated lattices

本文在剩余格中定义伪不可约滤子，刻画滤子及滤子根的布尔提升性质，并引入弱MTL代数等推广结构，从而以代数与拓扑方法解决相关开放问题。

2025-01-19math.LO

波兰空间的大乘积中的可数稠密齐性

Countable dense homogeneity in large products of Polish spaces

该研究统一处理波兰空间乘积的可数稠密齐性问题，重点关注不可数乘积，给出少于$\mathfrak{p}$个波兰空间乘积满足可数稠密齐性的条件，得到新应用并证明结果最优。

2025-10-29math.GNmath.LO

About a 'concrete' Rauszer Boolean algebra generated by a preorder

Inspired by the fundamental results obtained by P. Halmos and A. Monteiro, concerning equivalence relations and monadic Boolean algebras, we recall the `concrete' Rauszer Boolean algebra pointed out by C. Rauszer (1971), via un preorder R. On this algebra we can consider one of the several binary operations defined, in an abstract way, by A. Monteiro (1971). The Heyting-Brouwer subalgebra of constants (fixpoints), allows us to give a general framework to find representations of several special algebraic structures related to logic.

2019-05-19cs.DMcs.LOmath.LO

How special are Cohen and random forcings i.e. Boolean algebras of the family of subsets of reals modulo meagre or null

The feeling that those two forcing notions-Cohen and Random-(equivalently the corresponding Boolean algebras Borel(R)/(meager sets), Borel(R)/(null sets)) are special, was probably old and widespread. A reasonable interpretation is to show them unique, or ``minimal'' or at least characteristic in a family of ``nice forcing'' like Borel. We shall interpret ``nice'' as Souslin as suggested by Judah Shelah [JdSh 292]. We divide the family of Souslin forcing to two, and expect that: among the first part, i.e. those adding some non-dominated real, Cohen is minimal (=is below every one), while among…

1993-03-15math.FAmath.LO

A Boolean action of C(M,U(1)) without a spatial model and a re-examination of the Cameron-Martin theorem

We will demonstrate that if M is an uncountable compact metric space, then there is an action of the Polish group of all continuous functions from M to U(1) on a separable probability algebra which preserves the measure and yet does not admit a point realization in the sense of Mackey. This is achieved by exhibiting a strong form of ergodicity of the Boolean action known as whirliness. This is in contrast with Mackey's point realization theorem, which asserts that any measure preserving Boolean action of a locally compact second countable group on a separable probability algebra can be realize…

2012-08-08math.DSmath.FAmath.GR

Souslin Algebra Embeddings

A Souslin algebra is a complete Boolean algebra whose main features are ruled by a tight combination of an antichain condition with an infinite distributive law. The present article divides into two parts. In the first part a representation theory for the complete and atomless subalgebras of Souslin algebras is established (building on ideas of Jech and Jensen). With this we obtain some basic results on the possible types of subalgebras and their interrelation. The second part begins with a review of some generalizations of results from descriptive set theory concerning Baire category which ar…

2009-04-01math.LO