English
Related papers

Related papers: A model in which every infinite Boolean algebra ha…

200 papers

We prove that the statement `For all Borel ideals I and J on $\omega$, every isomorphism between Boolean algebras $P(\omega)/I$ and $P(\omega)/J$ has a continuous representation' is relatively consistent with ZFC. In this model every…

Logic · Mathematics 2012-11-16 Ilijas Farah , Saharon Shelah

We prove that any Boolean algebra with the subsequential completeness property contains an independent family of size continuum. This improves a result of Argyros from the 80ties which asserted the existence of an uncountable independent…

Logic · Mathematics 2012-09-04 Piotr Koszmider , Saharon Shelah

An elementary proof is given for the existence of infinite dimensional abelian subalgebras in quantum W-algebras. In suitable realizations these subalgebras define the conserved charges of various quantum integrable systems. We consider all…

High Energy Physics - Theory · Physics 2008-02-03 M. R. Niedermaier

We prove that for every singular cardinal mu of cofinality omega, the complete Boolean algebra compP_mu(mu) contains as a complete subalgebra an isomorphic copy of the collapse algebra Comp Col(omega_1,mu^{aleph_0}). Consequently, adding a…

Logic · Mathematics 2007-05-23 Menachem Kojman , Saharon Shelah

It is shown that universal algebras that are injective in their equational classes are characterized by internal property that can be called completeness. We define universal algebra $A$ as complete (closed to simple extensions) if for each…

Commutative Algebra · Mathematics 2021-12-14 Pavlo Dzikovskyi

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…

Logic · Mathematics 2016-09-06 Saharon Shelah

We consider the algebraization problem for principal bundles with reductive structure group, defined on the complement of a closed subset Z in a proper formal scheme. We show that, when Z is of codimension at least 3, an algebraization…

Algebraic Geometry · Mathematics 2008-03-07 Vladimir Baranovsky

A subset $\mathcal X$ of a C*-algebra $\mathcal A$ is called irredundant if no $A\in \mathcal X$ belongs to the C*-subalgebra of $\mathcal A$ generated by $\mathcal X\setminus \{A\}$. Separable C*-algebras cannot have uncountable…

Operator Algebras · Mathematics 2020-07-29 Clayton Suguio Hida , Piotr Koszmider

An interval algebra is a Boolean algebra which is isomorphic to the algebra of finite unions of half-open intervals, of a linearly ordered set. An interval algebra is hereditary if every subalgebra is an interval algebra. We answer a…

Logic · Mathematics 2023-03-13 Michael , Hrušák , Carlos , Martínez-Ranero , Ulises Ariet , Ramos-García

We prove that if a continuous function $f : X \to f(X)$ takes open sets into elements of the Boolean algebra generated by open and closed subsets in $f(X)$, then there exist $X_n \subset X,$ $(n \in \omega)$ such that $f$ is open on every…

General Topology · Mathematics 2014-01-14 Alexey Ostrovsky

We give a combinatorial characterization of amenability of monomial algebras and prove the existence of monomial Folner sequences, answering a question due to Ceccherini-Silberstein and Samet-Vaillant. We then use our characterization to…

Rings and Algebras · Mathematics 2022-11-15 Jason P. Bell , Be'eri Greenfeld

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

The study of Frobenius endomorphism provides numerous information about its corresponding Abelian variety. To understand the action of the Frobenius endomorphism, one may be interested in its eigenvalues. According to Weil's third…

We introduce the variety ${\mathfrak B}_{\textrm{sup}}$ of bicommutative superalgebras over an arbitrary field of characteristic different from 2. The variety consists of all nonassociative ${\mathbb Z}_2$-graded algebras satisfying the…

Rings and Algebras · Mathematics 2023-05-18 Vesselin Drensky , Nurlan Ismailov , Manat Mustafa , Bekzat Zhakhayev

We prove that an infinite (bounded) involution lattice and even pseudo--Kleene algebra can have any number of congruences between $2$ and its number of elements or equalling its number of subsets, regardless of whether it has as many ideals…

Rings and Algebras · Mathematics 2019-06-06 Claudia Mureşan

A quandle will be called quasi-affine, if it embeds into an affine quandle. Our main result is a characterization of quasi-affine quandles, by group-theoretic properties of their displacement group, by a universal algebraic condition coming…

Group Theory · Mathematics 2018-06-06 Přemysl Jedlička , Agata Pilitowska , David Stanovský , Anna Zamojska-Dzienio

We prove in ZFC that for mu >= aleph_2 there is a sigma --ideal I on mu and a Boolean sigma --subalgebra B of the family of subsets of mu which includes I such that the natural homomorphism from B onto B/I cannot be lifted.

Logic · Mathematics 2016-09-07 Saharon Shelah

We discuss the infinite dimensional algebras appearing in integrable perturbations of conformally invariant theories, with special emphasis in the structure of the consequent non-abelian infinite dimensional algebra generalizing $W_\infty$…

High Energy Physics - Theory · Physics 2015-06-26 E. Abdalla , M. C. B. Abdalla , G. Sotkov , M. Stanishkov

For given Boolean algebras $\mathbb{A}$ and $\mathbb{B}$ we endow the space $\mathcal{H}(\mathbb{A},\mathbb{B})$ of all Boolean homomorphisms from $\mathbb{A}$ to $\mathbb{B}$ with various topologies and study convergence properties of…

Logic · Mathematics 2021-01-05 Piotr Borodulin-Nadzieja , Damian Sobota

We answer Problem 1 of Monk if there are Boolean algebras B_1,B_2 such that c(B_i) <= lambda_i but c(B_1 x B_2)> lambda_1+ lambda_2 where lambda_1= mu is singular and mu > lambda_2= theta >cf(mu)

Logic · Mathematics 2008-02-03 Saharon Shelah