Related papers: Free Independence is not definable
This paper formulates a notion of independence of subobjects of an object in a general (i.e. not necessarily concrete) category. Subobject independence is the categorial generalization of what is known as subsystem independence in the…
We analyse a notion of $C^*$-independence for $\mathbb{Z}_2$-graded $C^*$-algebras. We provide other notions of statistical independence for $\mathbb{Z}_2$-graded von Neumann algebras and prove some relationships between them. We provide a…
For a self-symmetric tracial von Neumann algebra $A$, we study rescalings of $A^{*n} * L\mathbb{F}_r$ for $n \in \mathbb{N}$ and $r \in (1, \infty]$ and use them to obtain an interpolation $\mathcal{F}_{s,r}(A)$ for all real numbers $s>0$…
We give a description of definable sets $P=(p_1,..., p_m)$ in a free non-abelian group $F$ and in a torsion-free non-elementary hyperbolic group $G$ that follows from our work on the Tarski problems. This answers Malcev's question for $F$.…
Choice and independence of premise principles play an important role in characterizing Kreisel's modified realizability and G\"odel's Dialectica interpretation. In this paper we show that a great many intuitionistic set theories are closed…
We introduce a combinatorial criterion for verifying whether a formula is not the conjunction of an equation and a co-equation. Using this, we give a proof for the nonequationality of the free group. Furthermore, we generalize the latter…
We consider the first-order theory of random variables with the probabilistic independence relation, which concerns statements consisting of random variables, the probabilistic independence symbol, logical operators, and existential and…
We consider conformal nets on $S^1$ of von Neumann algebras, acting on the full Fock space, arising in free probability. These models are twisted local, but non-local. We extend to the non-local case the general analysis of the modular…
We prove that no infinite field is definable in the theory of the free group
A recently proposed axiom system for Andr\'e's central translation structures is improved upon. First, one of its axioms turns out to be dependent (derivable from the other axioms). Without this axiom, the axiom system is indeed…
Intuitively speaking, a classical field theory is background-independent if the structure required to make sense of its equations is itself subject to dynamical evolution, rather than being imposed ab initio. The aim of this paper is to…
Using the natural duality between linear functionals on tensor products of C*-algebras with the trace class operators on a Hilbert space H and linear maps of the C*-algebra into B(H), we give two characterizations of separability, one…
The standard axioms of set theory, the Zermelo-Fraenkel axioms (ZFC), do not suffice to answer all questions in mathematics. While this follows abstractly from Kurt G\"odel's famous incompleteness theorems, we nowadays know numerous…
This paper introduces the notions of independence and conditional independence in valuation-based systems (VBS). VBS is an axiomatic framework capable of representing many different uncertainty calculi. We define independence and…
We construct pairs of algebras with mixed independence relations by using truncations of reduced free products of algebras. For example, we construct free-Boolean pairs of algebras and free-monotone pairs of algebras. We also introduce…
A pointwise definable model is one in which every object is definable without parameters. In a model of set theory, this property strengthens V=HOD, but is not first-order expressible. Nevertheless, if ZFC is consistent, then there are…
In this paper we give description of free and cofree objects in the category of operator sequence spaces. First we show that this category possess the same duality theory as category of normed spaces, then with the aid of these results we…
We initiate an investigation how the fundamental concept of independence can be represented effectively in the presence of incomplete information in relational databases. The concepts of possible and certain independence are proposed, and…
This work concerns notions of multi-algebra independence introduced by Liu and how they can be studied in the context of bi-free probability. In particular, we show how the free-free-Boolean independence for triples of algebras can be…
We prove a new general multiplicity estimate applicable to sets of functions without any assumption on algebraic independence. The multiplicity estimates are commonly used in determining measures of algebraic independence of values of…