Related papers: Higher amalgamation properties in stable theories

We expand our previously founded basic theory of equiresidual algebraic geometry over an arbitrary commutative field, to a well-behaved theory of (equiresidual) algebraic varieties over a commutative field, thanks to the generalisation of…

We prove that a group obtained as a quotient of the free product of finitely many cubulable groups by a finite set of relators satisfying the classical $C'(1/6)$--small cancellation condition is cubulable. This yields a new large class of…

In this paper we establish a direct connection between stable approximate unitary equivalence for $*$-homomorphisms and the topology of the KK-groups which avoids entirely C*-algebra extension theory and does not require nuclearity…

We introduce and study some new uniform structures for Hilbert $C^*$-modules over an algebra $A$. In particular, we prove that in some cases they have the same totally bounded sets. To define one of them, we introduce a new class of…

'Skolem arithmetic' is the complete theory $T$ of the multiplicative monoid $(\mathbb{N},\cdot)$. We give a full characterization of the $\varnothing$-definable stably embedded sets of $T$, showing in particular that, up to the relation of…

We study the character theory of metabelian and polycyclic groups. It is used to investigate Hilbert-Schmidt stability via the character-theoretic criterion of Hadwin and Shulman. There is a close connection between stability and dynamics…

We examine the first order structure of pregeometries of structures built via Hrushovski constructions. In particular, we show that the class of flat pregeometries is an amalgamation class such that the pregeometry of the unbounded arity…

We develop a general axiomatic theory of algebraic pairs, which simultaneously generalizes several algebraic structures, in order to bypass negation as much as feasible. We investigate several classical theorems and notions in this setting…

Let A be a C*-algebra with real rank zero which has the stable weak cancellation property. Let I be an ideal of A such that I is stable and satisfies the corona factorization property. We prove that 0->I->A->A/I->0 is a full extension if…

We study some reduced free products of C*-algebras with amalgamations. We give sufficient conditions for the positive cone of the K_0 group to be the largest possible. We also give sufficient conditions for simplicity and uniqueness of…

Given a graded $E_1$-module over an $E_2$-algebra in spaces, we construct an augmented semi-simplicial space up to higher coherent homotopy over it, called its canonical resolution, whose graded connectivity yields homological stability for…

In his work on singularities, expanders and topology of maps, Gromov showed, using isoperimetric inequalities in graded algebras, that every real valued map on the $n$-torus admits a fibre whose homological size is bounded below by some…

The theory of optimal choice sets is a solution theory that has a long and well-established tradition in social choice and game theories. Some of important general solution concepts of choice problems when the set of best alternatives does…

Automated theorem provers (ATPs) can disprove conjectures by saturating a set of clauses, but the resulting saturated sets are opaque certificates. In the unit equational fragment, a saturated set can in fact be read as a convergent rewrite…

We show that the (topological) full group of a minimal pseudogroup over the Cantor set satisfies various rigidity phenomena of topological dynamical and combinatorial nature. Our main result applies to its possible homomorphisms into other…

This thesis addresses the theory of topological spaces and the foundations of persistence theory. We will discuss chain complexes and the associated simplicial homology groups, as well as their relationship with singular homology theory.…

This article introduces and studies the tight approximation property, a property of algebraic varieties defined over the function field of a complex or real curve that refines the weak approximation property (and the known cohomological…

We give characterizations of unital uniform topological algebras and saturated locally multiplicatively convex algebras by means of multiplicative linear functionals. Some automatic continuity theorems in advertibly complete uniform…

We study relationships between certain algebraic properties of groups and rings definable in a first order structure or $*$-closed in a compact $G$-space. As a consequence, we obtain a few structural results about $\omega$-categorical rings…

We study localizations (in the sense of J. L. Taylor) of the universal enveloping algebra, U(g), of a complex Lie algebra g. Specifically, let f : U(g) --> H be a homomorphism to some well-behaved topological Hopf algebra H. We formulate…