Related papers: Structural results on idealistic equivalence relat…

We establish a dichotomy theorem characterizing the circumstances under which a treeable Borel equivalence relation E is essentially countable. Under additional topological assumptions on the treeing, we in fact show that E is essentially…

We construct uncountably many mutually nonisomorphic simple separable stably finite unital exact C$^\ast$-algebras which are not isomorphic to their opposite algebras. In particular, we prove that there are uncountably many possibilities…

In this paper we give a number of explicit constructions for II$_1$ factors and II$_1$ equivalence relations that have prescribed fundamental group and outer automorphism group. We construct factors and relations that have uncountable…

Building on the theory of noncommutative complex structures, the notion of a noncommutative K\"ahler structure is introduced. In the quantum homogeneous space case many of the fundamental results of classical K\"ahler geometry are shown to…

We give the first examples of nonabelian left-orderable groups such that the conjugacy orbit equivalence relation on its space of orders has infinity orbits, yet it is smooth in the Borel sense. The examples are all nilpotent groups and we…

We study the first-order axiomatisability of finite semiring interpretations or, equivalently, the question whether elementary equivalence and isomorphism coincide for valuations of atomic facts over a finite universe into a commutative…

This paper offers a comprehensive treatment of the question as to whether a binary relation can be consistent (transitive) without being decisive (complete), or decisive without being consistent, or simultaneously inconsistent or…

We investigate the structure of ideals generated by binomials (polynomials with at most two terms) and the schemes and varieties associated to them. The class of binomial ideals contains many classical examples from algebraic geometry, and…

This paper studies the combinatorics of ideals which recently appeared in ergodicity results for analytic equivalence relations. The ideals have the following topological representation. There is a separable metrizable space $X$, a…

After recalling the notion of Lie algebroid, we construct these structures associated with contact forms or systems. We are then interested in particular classes of Lie Rinehart algebras.

We begin a program of generalizing basic elements of the theory of comparison, equivalence, and subequivalence, of elements in C*-algebras, to the setting of more general algebras. In particular, we follow the recent lead of Lin, Ortega,…

Two main topics are considered: The characterisation of finite homomorphism dualities for relational structures, and the splitting property of maximal antichains in the homomorphism order.

Let A be an Artin algebra and e an idempotent in A. It is an interesting topic to compare the homological dimension of the algebras A,A/AeA and eAe. For example, in [2], the relation among the global dimension of these algebras is discussed…

We study approximate equivalence relations up to commensurability, in the presence of a definable measure. As a basic framework, we give a presentation of probability logic based on continuous logic. Hoover's normal form is valid here; if…

This paper is a continuation of Part I where the general setup was developed. Here we discuss the general equivalence problem for geometric structures and provide criteria for the equivalence, local and global, of transitive structures.…

We construct a class of finitely presented groups where the isomorphism problem is solvable but the commensurability problem is unsolvable. Conversely, we construct a class of finitely presented groups within which the commensurability…

A variation of the Scott analysis of countable structures is applied to actions of non-Archimedean TSI Polish groups acting continuously on a Polish spaces. We give results on the potential Borel complexity spectrum of such groups, and…

We prove that the relation of bisimilarity between countable labelled transition systems is $\Sigma_1^1$-complete (hence not Borel), by reducing the set of non-wellorders over the natural numbers continuously to it. This has an impact on…

We study invariant pseudo-K\"ahler structures on a solvmanifold $G$ such that the Lie algebra $\mathfrak{g}$ is almost abelian, that is $\mathfrak{g}=\mathfrak{h}\rtimes\mathbb{R}$, with $\mathfrak{h}$ abelian; comparing with the…

This paper deals with countable products of countable Borel equivalence relations and equivalence relations "just above" those in the Borel reducibility hierarchy. We show that if $E$ is strongly ergodic with respect to $\mu$ then…