Related papers: On Extensions of Partial Isomorphisms

Every countable structure has a sentence of the infinitary logic $\mathcal{L}_{\omega_1 \omega}$ which characterizes that structure up to isomorphism among countable structures. Such a sentence is called a Scott sentence, and can be thought…

We find strictly ascending HNN extensions of finite rank free groups possessing a presentation 2-complex which is a non positively curved square complex. On showing these groups are word hyperbolic, we have by results of Wise and Agol that…

For a finite smooth algebraic group $F$ over a field $k$ and a smooth algebraic group $\bar G$ over the separable closure of $k$, we define the notion of $F$-kernel in $\bar G$ and we associate to it a set of nonabelian 2-cohomology. We use…

We show that for any finitely generated subgroup $H$ of a limit group $L$ there exists a finite-index subgroup $K$ containing $H$, such that $K$ is a subgroup of a group obtained from $H$ by a series of extensions of centralizers and free…

We study finitely homogeneous dependent rosy structures, adapting results of Cherlin, Harrington, and Lachlan proved for $\omega$-stable $\omega$-categorical structures. In particular, we prove that such structures have finite {\th}-rank…

Hyperproperties are a modern specification paradigm that extends trace properties to express properties of sets of traces. Temporal logics for hyperproperties studied in the literature, including HyperLTL, assume a synchronous semantics and…

In this note, we reformulate Donaldson's construction as a compactness result. Approximately holomorphic sections accumulate to "limit holomorphic sections" and uniform transversality properties of the approximately holomorphic sections…

A noncommutative and noncocommutative Hopf algebra on finite topologies H_T is introduced and studied (freeness, cofreeness, self-duality...). Generalizing Stanley's definition of P-partitions associated to a special poset, we define the…

H. J. Zassenhaus conjectured that any unit of finite order and augmentation one in the integral group ring of a finite group $G$ is conjugate in the rational group algebra to an element of $G$. One way to verify this is showing that such…

We introduce the notion of \emph{topo-symmetric extensions} of topological groups, a new generalization of classical group extensions that incorporates both topological and symmetry constraints. We define morphisms between such extensions,…

We study the impact of certain identities and probabilistic identities on the structure of finite groups. More specifically, let $w$ be a nontrivial word in $d$ distinct variables and let $G$ be a finite group for which the word map…

Generalizing the $\omega$-categorical context, we introduce a notion, which we call the Lascar Property, that allows for a fine analysis of the topological isomorphisms between automorphism groups of countable structures satisfying this…

We introduce and study certain hyperbolic versions of automorphic Lie algebras related to the modular group. Let $\Gamma$ be a finite index subgroup of $\mathrm{SL}(2,\mathbb{Z})$ with an action on a complex simple Lie algebra $\mathfrak…

This article is part of the program of studying large-scale geometric properties of totally disconnected locally compact groups, TDLC-groups, by analogy with the theory for discrete groups. We provide a characterization of hyperbolic…

In this article, we investigate the status of the homomorphism preservation property amongst restricted classes of finite relational structures and algebraic structures. We show that there are many homomorphism-closed classes of finite…

Based on the work done in \cite{BV-Tind,DMS} in the o-minimal and geometric settings, we study expansions of models of a supersimple theory with a new predicate distiguishing a set of forking-independent elements that is dense inside a…

We discuss isomorphism questions concerning the Hopf algebras that yield Hopf-Galois structures for a fixed separable field extension $L/K$. We study in detail the case where $L/K$ is Galois with dihedral group $D_p$, $p\ge 3$ prime and…

The purpose of this paper is twofold. First, we introduce the notions of left-symmetric and left alternative structures on superspaces in characteristic 2. We describe their main properties and classify them in dimension 2. We show that…

We show that if we enrich first order logic by allowing quantification over isomorphisms between definable ordered fields the resulting logic, L(Q_{Of}), is fully compact. In this logic, we can give standard compactness proofs of various…

We extend some of our earlier results on the interconnection between ultrafilter extensions, and ultrapowers. Throughout we restrict ourselves to relational structures with one binary relation. Recently it was shown that for bounded…