Related papers: Separation for isometric group actions and hyperim…
Any finite set of linear operators on an algebra $A$ yields an operator algebra $B$ and a module structure on A, whose endomorphism ring is isomorphic to a subring $A^B$ of certain invariant elements of $A$. We show that if $A$ is a…
Conditional independence and graphical models are well studied for probability distributions on product spaces. We propose a new notion of conditional independence for any measure $\Lambda$ on the punctured Euclidean space $\mathbb…
We prove that the form of conditional independence at play in database theory and independence logic is reducible to the first-order dividing calculus in the theory of atomless Boolean algebras. This establishes interesting connections…
We establish necessary and sufficient conditions for convergence (in the sense of finite dimensional distributions) of multiplicative measures on the set of partitions. We show that this convergence is equivalent to asymptotic independence…
Let $A$ be a $C^*$-algebra. We say that $A$ satisfies the SP if every bounded homomorphism $A\to B(K)$, with $K$ a Hilbert space, is similar to a $*$-homomorphism. We introduce three hypotheses that relate to extending hyperreflexive…
By operations on models we show how to relate completeness with respect to permissive-nominal models to completeness with respect to nominal models with finite support. Models with finite support are a special case of permissive-nominal…
We investigate the notion of independence, which is at the basis of many, seemingly unrelated, properties of logic like Rational Monotony in non-monotonic logics, and interpolation theorems.
We establish several results regarding dividing and forking in NTP2 theories. We show that dividing is the same as array-dividing. Combining it with existence of strictly invariant sequences we deduce that forking satisfies the chain…
Abelian categories provide a self-dual axiomatic context for establishing homomorphism theorems (such as the isomorphism theorems and homological diagram lemmas) for abelian groups, and more generally, modules. In this paper we describe a…
We provide elementary and uniform proofs of order independence for various strategy elimination procedures for finite strategic games, both for dominance by pure and by mixed strategies. The proofs follow the same pattern and focus on the…
We develop the notion of independent resolutions for crossed products attached to totally disconnected dynamical systems. If such a crossed product admits an independent resolution of finite length, then its K-theory can be computed (at…
Let V be a variety of not necessarily associative algebras, and A an inverse limit of nilpotent algebras A_i\in V, such that some finitely generated subalgebra S \subseteq A is dense in A under the inverse limit of the discrete topologies…
We present an extension of Naimark's duality principle which states that complete systems in a Hilbert space are projections of $\omega$-linearly independent systems of elements of an ambient Hilbert space. This result is presented in the…
We study notions of independence appropriate for a stability theory of metric abstract elementary classes (for short, MAECs). We build on previous notions used in the discrete case, and adapt definitions to the metric case. In particular,…
We study the interplay between the algebraic and dynamical properties of groups that admit a general type action on a $\delta$-hyperbolic space such that the induced action on the limit set of the Gromov boundary is faithful. We divide the…
The purpose of this article is to show that the bivariant algebraic $A$-cobordism groups considered previously by the author are independent of the chosen base ring $A$. This result is proven by analyzing the bivariant ideal generated by…
We extend Ueda's peak set theorem for subdiagonal subalgebras of tracial finite von Neumann algebras, to sigma-finite von Neumann algebras (that is, von Neumann algebras with a faithful state; which includes those on a separable Hilbert…
This paper is motivated by the study of probability measure-preserving (pmp) actions of free groups using continuous model theory. Such an action is treated as a metric structure that consists of the measure algebra of the probability…
Based on the notion of free orbit-dimension introduced by D. Hadwin and J. Shen [4], we introduce a new invariant on finite von Neumann algebras that do not necessarily act on separable Hilbert space. We show that this invariant is…
Our main theorem is in the generality of the axioms of Hilbert space, and the theory of unbounded operators. Consider two Hilbert spaces such that their intersection contains a fixed vector space D. It is of interest to make a precise…