相关论文: Topological density of ccc Boolean algebras - ever…

It is an interesting, maybe surprising, fact that different dense subspaces of even "nice" topological spaces can have different densities. So, our aim here is to investigate the set of densities of all dense subspaces of a topological…

Quasi *-algebras possessing a sufficient family $\mathcal{M}$ of invariant positive sesquilinear forms carry several topologies related to $\mathcal{M}$ which make every *-representation continuous. This leads to define the class of locally…

The regular open subsets of a topological space form a Boolean algebra, where the `join' of two regular open sets is the interior of the closure of their union. A `credence' is a finitely additive probability measure on this Boolean…

Relative to class many supercompact cardinals, we construct a model of $\ZFC+\GCH$ where for every singular cardinal $\delta$ of countable cofinality and every regular uncountable $\mu<\delta$ there are stationarily many non-approachable…

$C_\infty$ Algebras and their morphisms are a framework in which one can study algebras and their maps that are not commutaive-associative but are homotopic to being that. In statistics cumulants measure the independence of random…

We give an example of a countable theory T such that for every cardinal lambda >= aleph_2 there is a fully indiscernible set A of power lambda such that the principal types are dense over A, yet there is no atomic model of T over A. In…

A model of topological field theory is presented in which the vacuum coupling constants are topological invariants of the four-dimensional spacetime. Thus the coupling constants are theoretically computable, and they indicate the…

We equip the product of countably many copies of a compact Abelian group X with the uniform topology, and study some properties of the topological group G thus obtained. In particular, we determine the cardinality of the dual group of G,…

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…

It is shown that CH implies the existence of a compact Hausdorff space that is countable dense homogeneous, crowded and does not contain topological copies of the Cantor set. This contrasts with a previous result by the author which says…

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…

We introduce a notion of density which extends both the notion of Lelong number and the theory of intersection for positive closed currents on Kaehler manifolds. For arbitrary finite family of positive closed currents on a compact Kaehler…

The idea of this paper is to explore the existence of canonical countably saturated models for different classes of structures. It is well-known that, under CH, there exists a unique countably saturated linear order of cardinality…

We introduce a very natural topology on the set of total orderings of monomials of any algebra having a countable basis over a field. This topological space and some notable subspaces are compact. This topological framework allows us to…

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…

We determine multiplication and convolution topological algebras for classes of $\omega$-ultradifferentiable functions of Beurling type. Hypocontinuity and discontinuity of the multiplication and convolution mappings are also investigated.

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

We address several questions of Donald Monk related to irredundance and spread of Boolean algebras, gaining both some ZFC knowledge and consistency results. We show in ZFC that irr(B_0 times B_1)= max(irr(B_0),irr(B_1)). We prove…

Universal continuous calculi are defined and it is shown that for every finite tuple of pairwise commuting Hermitian elements of a Su*-algebra (an ordered *-algebra that is symmetric, i.e. "strictly" positive elements are invertible, and…

C-cross topologies are introduced. Modifcations of the Kuratowski-Ulam Theorem are considered. Cardinal invariants add, cof, cov and non with respect to meager or nowhere dense subsets are compared. Remarks on invariants cof(nwdY) are…