Related papers: Bounded ultraimaginary independence and its total …

A forcing extension may create new isomorphisms between two models of a first order theory. Certain model theoretic constraints on the theory and other constraints on the forcing can prevent this pathology. A countable first order theory is…

We introduce `braidability' as a new symmetry for (infinite) sequences of noncommutative random variables related to representations of the braid group $B_\infty$. It provides an extension of exchangeability which is tied to the symmetric…

We study model-theoretic stability and independence in Banach lattices of the form $L_p(X,U,\mu)$, where $1 \leq p < \infty$. We characterize non-dividing using concepts from analysis and show that canonical bases exist as tuples of real…

The paper gives an operator algebras model for the conditional monotone independence, introduced by T. Hasebe. The construction is used to prove an embedding result for the N. Muraki's monotone product of C*-algebras. Also, the formulas…

We show that an old conjecture of A.A. Suslin characterizing the image of a Hurewicz map from Quillen K-theory in degree $n$ to Milnor K-theory in degree $n$ admits an interpretation in terms of unstable ${\mathbb A}^1$-homotopy sheaves of…

We study families of subsets of $\omega$ which are independent with respect to the asymptotic density $\mathsf{d}$. We show, for instance, that there exists a maximal $\mathsf{d}$-independent family $\mathcal{A}$ such that…

This paper is the second in a series of papers considering symmetry properties of a bosonic quantum system over an 2D graph, with continuous spins, in the spirit of the Mermin--Wagner theorem. Here we consider bosonic systems on…

We construct the most general parity-even higher-derivative N=1 off-shell supergravity model in three dimensions with a maximum of six derivatives. Excluding terms quadratic in the curvature tensor with two explicit derivatives and…

We consider the number of independent sets in hypergraphs, which allows us to define the independence density of countable hypergraphs. Hypergraph independence densities include a broad family of densities over graphs and relational…

We show that any type ${\rm III_1}$ factor with separable predual satisfying Connes' Bicentralizer Property (CBP) has a singular maximal abelian $\ast$-subalgebra that is the range of a normal conditional expectation. We also investigate…

We study forking, Lascar strong types, Keisler measures and definable groups, under an assumption of $NIP$ (not the independence property), continuing aspects of math.LO/0607442. Among key results are: (i) if $p = tp(b/A)$ does not fork…

We introduce the notions of u-amenability and hyper-u-amenability for countable Borel equivalence relations, strong forms of amenability that are implied by hyperfiniteness. We show that treeable, hyper-u-amenable countable Borel…

Let $\Gamma$ be a countable discrete group. We say that $\Gamma$ has $C^*$-invariant subalgebra rigidity (ISR) property if every $\Gamma$-invariant $C^*$-subalgebra $\mathcal{A}\le C_r^*(\Gamma)$ is of the form $C_r^*(N)$ for some normal…

For a maximal abelian subalgebra $A\subset M$ in a finite von Neumann algebra, we consider an invariant due to Takesaki which is an equivalence relation on a standard probability space. We give several characterization of this invariant and…

The $C^*$-inclusion $\mathcal{A} \subseteq \mathcal{B}$ is said to be hereditarily essential if for every intermediate $C^*$-algebra $\mathcal{A} \subseteq \mathcal{C} \subseteq \mathcal{B}$ and every non-zero ideal $\{0\} \neq \mathcal{J}…

We consider the functional \[ F(u)=\int_{\Omega} f(\nabla u)\,dx\qquad u\in\varphi+W^{1,1}_0(\Omega) \] where $\Omega$ is a Lipschitz bounded open set of $\R^N$, $f:\R^N\to\R\cup \{+\infty\}$ is a superlinear Borel function, $\varphi\in…

We prove a structure theorem for finite-dimensional indefinite-signature metric 3-Lie algebras admitting a maximally isotropic centre. This algebraic condition indicates that all the negative-norm states in the associated Bagger-Lambert…

As consequence of the VC theorem, any pseudo-finite measure over an NIP ultraproduct is generically stable. We demonstrate a converse of this theorem and prove that any finitely approximable measure over an ultraproduct is itself…

We give a characterization, with respect to a large class of models of untyped lambda-calculus, of those models that are fully abstract for head-normalization, i.e., whose equational theory is H* (observations for head normalization). An…

We study the classifying space B Diff(M) of the diffeomorphism group of a connected, compact, orientable 3-manifold M. In the case that M is reducible we build a contractible space parametrising the systems of reducing spheres. We use this…