Related papers: Embeddings of Cohen algebras

We present an explicit formula for the $K$-theory of the $C^*$-algebra associated with a relative generalized Boolean dynamical system $(\CB, \CL, \theta, \CI_\af; \CJ)$. In particular, we find concrete generators for the $K_1$-group of…

In first order logic, it is known that you can define a topology so that the countable models of some theory $T$ form a Polish Space (i.e. completely metrizable second countable space). In this paper we use the Baldwin- Boney Relational…

We answer one of the main questions in generalized descriptive set theory, the Friedman-Hyttinen-Kulikov conjecture on the Borel reducibility of the Main Gap. We show a correlation between Shelah's Main Gap and generalized Borel…

We give a classification theorem for unital separable simple nuclear $C^*$-algebras with tracial topological rank zero which satisfy the Universal Coefficient Theorem. We prove that if $A$ and $B$ are two such $C^*$-algebras and $$ (K_0(A),…

We study the question of when an uncountable ccc topological space $X$ contains a ccc subspace of size $\aleph_1$. We show that it does if $X$ is compact Hausdorff and more generally if $X$ is Hausdorff with $\mathrm{pct}(X) \leq \aleph_1$.…

We show that an embedding of a fixed 0-dimensional compact space $K$ into the \v{C}ech--Stone remainder $\omega^*$ as a nowhere dense P-set is the unique generic limit, a special object in the category consisting of all continuous maps from…

The Isbell, compact-open and point-open topologies on the set $C(X,\mathbb{R})$ of continuous real-valued maps can be represented as the dual topologies with respect to some collections $\alpha(X)$ of compact families of open subsets of a…

Let $\mathop{\rm CF}\nolimits(\mathop{\mathfrak{Obj}\kern .05em}\nolimits_\mathcal{A})$ denote the vector space of $\mathbb{Q}$-valued constructible functions on a given stack $\mathop{\mathfrak{Obj}\kern .05em}\nolimits_\mathcal{A}$ for an…

Given a complete atomic Boolean algebra, we show there is a commutative BCK-algebra whose ideal lattice is that Boolean algebra. This result is shown to exist within a larger framework involving BCK-algebras of functions, whose ideals and…

We provide analogues of the results from [FMR11, CMMR13] in the reference list (which correspond to the case $\kappa = \omega$) for arbitrary $\kappa$-Souslin quasi-orders on any Polish space, for $\kappa$ an infinite cardinal smaller than…

We systematically develop analogs of basic concepts from classical descriptive set theory in the context of pointless topology. Our starting point is to take the elements of the free complete Boolean algebra generated by the frame…

We establish the Borel computability of various C$^*$-algebra invariants, including the Elliott invariant and the Cuntz semigroup. As applications we deduce that AF algebras are classifiable by countable structures, and that a conjecture of…

The pro-algebraic fundamental group can be understood as a completion with respect to finite-dimensional non-commutative algebras. We introduce finer invariants by looking at completions with respect to Banach and C*-algebras, from which we…

We continue our investigation =of Shelah's interpretability orders $\trianglelefteq^*_\kappa$ as well as the new orders $\trianglelefteq^\times_\kappa$. In particular, we give streamlined proofs of the existence of minimal unstable,…

Algebras on the natural numbers and their clones of term operations can be classified according to their descriptive complexity. We give an example of a closed algebra which has only unary operations and whose clone of term operations is…

We propose a definition of a "$C^*$-Eberlein" algebra, which is a weak form of a $C^*$-bialgebra with a sort of "unitary generator". Our definition is motivated to ensure that commutative examples arise exactly from semigroups of…

Further to the functional representations of C$^*$-algebras proposed by R. Cirelli, A. Mania and L. Pizzocchero, we consider in this article the uniform K\"ahler bundle (in short, UKB) description of some C$^*$-algebraic subjects. In…

Extending a result of the first author and Katsura, we prove that for every UHF algebra $A$ of infinite type, in every uncountable cardinality $\kappa$ there are $2^\kappa$ nonisomorphic approximately matricial C*-algebras with the same…

In a classical paper by Ben-David and Magidor, a model of set theory was exhibited in which $\aleph_{\omega+1}$ carries a uniform ultrafilter that is $\theta$-indecomposable for every uncountable cardinal $\theta<\aleph_\omega$. In this…

The common cause completeness (CCC) is a philosophical principle that asserts that if we consider two positively correlated events then it evokes a common cause. The principle is due to H. Reichenbach and has been largely studied in Boolean…