Related papers: Long limit models are isomorphic assuming a splitt…

The condition of nilpotency is studied in the general linear Lie algebra $\mathfrak{gl}_{n}(\mathbb{K})$ and the symplectic Lie algebra $\mathfrak{sp}_{2m}(\mathbb{K})$ over an algebraically closed field of characteristic 0. In particular,…

We show that for any uncountable cardinal $\lambda$, the category of sets of cardinality at least $\lambda$ and monomorphisms between them cannot appear as the category of point of a topos, in particular is not the category of models of a…

We say a representation V of a group G has stability if its multiplicities m^{G}_{V}(\lambda) is dependent only on some equivalence class of \lambda for a sufficiently large parameter \lambda. In this paper, we prove that the restriction of…

Let $\mathcal {M}$ be the space of all, including singular, long knots in 3-space and for which a fixed projection into the plane is an immersion. Let $cl(\Sigma^{(1)}_{iness})$ be the closure of the union of all singular knots in $\mathcal…

In this paper, we introduce an AEC framework for studying fields with commuting automorphisms. Fields with commuting automorphisms are closely related to difference fields. Some authors define a difference ring (or field) as a ring (or…

In this note we present some uniqueness and comparison results for a class of problem of the form \begin{equation} \label{EE0} \begin{array}{c} - L u = H(x,u,\nabla u)+ h(x), \quad u \in H^1_0(\Omega) \cap L^{\infty}(\Omega), \end{array}…

We consider a class of nonlocal Cahn-Hilliard equations in a bounded domain $\Omega\subset\mathbb{R}^{d}$ $(d\in\{2,3\})$, subject to a nonlocal kinetic rate dependent dynamic boundary condition. This diffuse interface model describes phase…

We study the coherence and conservativity of extensions of dependent type theories by additional strict equalities. By considering notions of congruences and quotients of models of type theory, we reconstruct Hofmann's proof of the…

We give a syntactic characterization of abstract elementary classes (AECs) closed under intersections using a new logic with a quantifier for isomorphism types that we call structural logic: we prove that AECs with intersections correspond…

In 2007 Phillips and Weaver showed that, assuming the Continuum Hypothesis, there exists an outer automorphism of the Calkin algebra. (The Calkin algebra is the algebra of bounded operators on a separable complex Hilbert space, modulo the…

We describe a framework for proving consistency results about singular cardinals of arbitrary cofinality and their successors. This framework allows the construction of models in which the Singular Cardinals Hypothesis fails at a singular…

An algebra $L$ over a field $\Bbb F$, in which product is denoted by $[\,,\,]$, is said to be \textit{ Lie type algebra} if for all elements $a,b,c\in L$ there exist $\alpha, \beta\in \Bbb F$ such that $\alpha\neq 0$ and $[[a,b],c]=\alpha…

We study some combinatorial aspects of the fixed loci of symplectic involutions acting on hyperk\"ahler varieties of Kummer type. Given an abelian surface $A$ with a $(1,d)$-polarization $L$, there is an isomorphism $K_{d-1}A\cong…

We derive large deviations type (LDT) estimates for linear cocycles over an ergodic multifrequency torus translation. These models are called quasi-periodic cocycles. We make the following assumptions on the model: the translation vector…

Let $A$ be a finite dimensional algebra and $D^b(A)$ be the bounded derived category of finitely generated left $A$-modules. In this paper we consider lengths of compact exceptional objects in $D^b(A)$, proving a sufficient condition such…

Let $R$ be a semiartinian (von Neumann) regular ring with primitive factors artinian. The dimension sequence $\mathcal D _R$ is an invariant that captures the various skew-fields and dimensions occurring in the layers of the socle sequence…

We prove optimal convergence estimates for eigenvalues and eigenvectors of a class of singular/stiff perturbed problems. Our profs are constructive in nature and use (elementary) techniques which are of current interest in computational…

Let $F=\{\mathbf{p}_0,\ldots,\mathbf{p}_n\}$ be a collection of points in $\mathbb{R}^d.$ The set $F$ naturally gives rise to a family of iterated function systems consisting of contractions of the form $$S_i(\mathbf{x})=\lambda \mathbf{x}…

In this paper, we take a pervasively effectful (in the style of ML) typed lambda calculus, and show how to extend it to permit capturing pure expressions with types. Our key observation is that, just as the pure simply-typed lambda calculus…

Deciding the amalgamation property for a given class of finite structures is an important subroutine in classifying countable finitely homogeneous structures. We study the computational complexity of the amalgamation decision problem for…