A C* algebra is a closed self-adjoint subalgebra of B(H), the bounded operators on a Hilbert space H. Kirchberg asked whether every C* algebra embeds into an ultrapower of a particular C* algebra, the Cuntz algebra O_2. In this talk, I will explain the model-theoretic content of this problem. In particular, I will show how model-theoretic forcing can be used to give a weak local reformulation o...

We prove that $D_n(3)$, where $ngeq6$ is even, is uniquely determined by its prime graph. Also, if $G$ is a finite group with the same prime graph as $D_4(3)$, then $Gcong D_4(3), B_3(3), C_3(3)$ or $G/O_2(G)cong {rm Aut}({}^2B_2(8))$.

We show that, in relativistic field theories, the thermal correlation function of N bosonic operators at sufficiently spacelike-separated points shows exponentially weak dependence on time variables t_1,...,t_N, when space separations are held fixed. For classical theory, vanishes all spacelike separated

in the present study, advanced oxidation treatment, uv/ was applied to decolourisation of acid orange 8 (ao8). the uv radiation was carried out with a 15 w low-pressure mercury lamp. kinetic model for the decolourisation of the dye was developed based on experimental results and known chemical and photochemical reactions. the observed kinetic reaction constant was determined and correlated as a...

We present a new proof that O2 is a multiple context-free language. It contrasts with a recent proof by Salvati (2015) in its avoidance of concepts that seem specific to two-dimensional geometry, such as the complex exponential function. Our simple proof creates realistic prospects of widening the results to higher dimensions. This finding is of central importance to the relation between extrem...