English
Related papers

Related papers: Existence of Endo-Rigid Boolean Algebras

200 papers

In [Sh:89] we, answering a question of Monk, have explicated the notion of ``a Boolean algebra with no endomorphisms except the ones induced by ultrafilters on it'' (see section 2 here) and proved the existence of one with character density…

Logic · Mathematics 2008-02-03 Saharon Shelah

We prove that assuming suitable cardinal arithmetic, if B is a Boolean algebra every homomorphic image of which is isomorphic to a factor, then B has locally small density. We also prove that for an (infinite) Boolean algebra B, the number…

Logic · Mathematics 2008-02-03 Saharon Shelah

We show that it is consistent with ZFC (relative to large cardinals) that every infinite Boolean algebra B has an irredundant subset A such that 2^{|A|} = 2^{|B|}. This implies in particular that B has 2^{|B|} subalgebras. We also discuss…

Logic · Mathematics 2009-09-25 James Cummings , Saharon Shelah

There exists a complete atomless Boolean algebra that has no proper atomless complete subalgebra.

Logic · Mathematics 2009-09-25 Thomas Jech , Saharon Shelah

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

The main result is Theorem: Let A be an R-algebra, mu, lambda be cardinals such that |A|<=mu=mu^{aleph_0}<lambda<=2^mu. If A is aleph_0-cotorsion-free or A is countably free, respectively, then there exists an aleph_0-cotorsion-free or a…

Rings and Algebras · Mathematics 2007-05-23 Rüdiger Göbel , Saharon Shelah

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…

Logic · Mathematics 2016-09-07 Aleksander Błaszczyk , Saharon Shelah

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…

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

We construct Boolean Algebras answering questions of Monk on cardinal invariants. The results are proved in ZFC (rather than giving consistency results). We deal with the existence of superatomic Boolean Algebras with ``few automorphisms'',…

Logic · Mathematics 2007-05-23 Saharon Shelah

We study the question which Boolean algebras have the property that for every generating set there is an ultrafilter selecting maximal number of its elements. We call it the ultrafilter selection property. For cardinality aleph-one the…

Logic · Mathematics 2022-11-17 Robert Bonnet , Wieslaw Kubiś , Stevo Todorčević

We answer three problems by J. D. Monk on cardinal invariants of Boolean algebras. Two of these are whether taking the algebraic density pi(A), resp. the topological density d(A), of a Boolean algebra A commutes with formation of…

Logic · Mathematics 2016-09-06 Sabine Koppelberg , Saharon Shelah

For a given cardinal $\lambda$ and a torsion abelian group $K$ of cardinality less than $\lambda$, we present, under some mild conditions (for example $\lambda=\lambda^{\aleph_0}$), boundedly endo-rigid abelian group $G$ of cardinality…

Logic · Mathematics 2024-03-13 Mohsen Asgharzadeh , Mohammad Golshani , Saharon Shelah

We prove that a quasi-finite endomorphism of an algebraic variety over an algebraically closed field of characteristic zero, that is injective on the complement of a closed subvariety, is an automorphism. We also prove that an endomorphism…

Algebraic Geometry · Mathematics 2021-04-02 Nilkantha Das

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

We like to build Abelian groups (or R-modules) which on the one hand are quite free, say $\aleph_{\omega + 1}$-free, and on the other hand, are complicated in suitable sense. We choose as our test problem having no non-trivial homomorphism…

Logic · Mathematics 2019-01-29 Saharon Shelah

For any natural n, we construct an aleph_n-free abelian groups which have few homomorphisms to Z . For this we use ``aleph_n-free (n+1)-dimensional black boxes''. The method is relevant to e.g. construction of aleph_n-free abelian groups…

Logic · Mathematics 2007-05-23 Saharon Shelah

We try to build, provably in ZFC, for a first order T a model in which any isomorphism between two Boolean algebras is definable. The problem, compared to [Sh:384], is with pseudo-finite Boolean algebras. A side benefit is that we do not…

Logic · Mathematics 2016-01-15 Saharon Shelah

We classify the endomorphism algebras of factors of the Jacobian of certain hypergeometric curves over a field of characteristic zero. Other than a few exceptional cases, the endomorphism algebras turn out to be either a cyclotomic field…

Number Theory · Mathematics 2013-04-24 Jiangwei Xue , Chia-Fu Yu

The notion of a complete Boolean algebra, although completely legitimate in constructive mathematics, fails to capture some natural structures such as the lattice of subsets of a given set. Sambin's notion of an overlap algebra, although…

Logic in Computer Science · Computer Science 2023-06-22 Francesco Ciraulo , Michele Contente

A conjecture of Coleman implies that only finitely many quaternion algebras over the rational numbers can be the endomorphism $\mathbf{Q}$-algebras of abelian surfaces over the complex numbers which can be defined over $\mathbf{Q}$. One may…

Number Theory · Mathematics 2017-01-24 James Stankewicz
‹ Prev 1 2 3 10 Next ›