Related papers: On completions, neat embeddings and omittings type…

We obtain a characterization of left perfect rings via superstability of the class of flat left modules with pure embeddings. $\mathbf{Theorem.}$ For a ring $R$ the following are equivalent. - $R$ is left perfect. - The class of flat left…

We introduce a new framework called linear algebraic number theory (LANT) that reformulates the number-theoretic problem as a regression model and solves it using matrix algebra. This framework restricts all computations to log space,…

We present several results in extremal graph and hypergraph theory of topological nature. First, we show that if $\alpha>0$ and $\ell=\Omega(\frac{1}{\alpha}\log\frac{1}{\alpha})$ is an odd integer, then every graph $G$ with $n$ vertices…

The class of abelian $p$-groups are an example of some very interesting phenomena in computable structure theory. We will give an elementary first-order theory $T_p$ whose models are each bi-interpretable with the disjoint union of an…

We have discovered that the gauge invariant observables of matrix models invariant under U($N$) form a Lie algebra, in the planar large-N limit. These models include Quantum Chromodynamics and the M(atrix)-Theory of strings. We study here…

We develop silting theory of a noetherian algebra $\Lambda$ over a commutative noetherian ring $R$. We study mutation theory of $2$-term silting complexes of $\Lambda$, and as a consequence, we see that mutation exists. As in the case of…

First-order logic is a natural way of expressing properties of computation. It is traditionally used in various program logics for expressing the correctness properties and certificates. Although such representations are expressive for some…

We introduce the blockwise gluing construction. This describes residuated integral chains which can be decomposed into (possibly) partial algebras, stacked one on top of the other, and such that elements in a certain component multiply in…

We prove a refinement of Ado's theorem for Lie algebras over an algebraically-closed field of characteristic zero. We first define what it means for a Lie algebra $L$ to be approximated with a nilpotent ideal, and we then use such an…

We show that there exists an atomic representable polyadic equality algebra of finite dimension n\geq 3, such that the cylindric reduct of its completion is not in SNr_n\CA_{n+4}, hence the result in the title. This solves an open problem…

We consider real forms of Lie algebras and embeddings of sl(2) which are consistent with the construction of integrable models via Hamiltonian reduction. In other words: we examine possible non-standard reality conditions for non-abelian…

We study classes of atomic models At_T of a countable, complete first-order theory T . We prove that if At_T is not pcl-small, i.e., there is an atomic model N that realizes uncountably many types over pcl(a) for some finite tuple a from N,…

We show that, also within the class of representation-tame finite dimensional algebras $\Lambda$, the big left finitistic dimension of $\Lambda$ may be strictly larger than the little. In fact, the discrepancies $Findim \Lambda - findim…

It is known that different categorial grammars have surface representation in a fragment of first order multiplicative linear logic (MLL1). We show that the fragment of interest is equivalent to the recently introduced extended tensor type…

For an ordinal $\lambda>0$, we use the Erd\H{o}s--Rado partition theorem to prove the failure of strong completeness of $\mathsf{GL}$ for modal languages of cardinality $(2^{|\lambda|+\aleph_0})^{+}$ with respect to models on ordinals…

We present the type system $\mathtt{d}$, an extended type system with lambda-typed lambda-expressions. It is related to type systems originating from the Automath project. $\mathtt{d}$ extends existing lambda-typed systems by an existential…

We present the system $\mathtt{d}$, an extended type system with lambda-typed lambda-expressions. It is related to type systems originating from the Automath project. $\mathtt{d}$ extends existing lambda-typed systems by an existential…

We investigate the extent of second order characterizable structures by extending Shelah's Main Gap dichotomy to second order logic. For this end we consider a countable complete first order theory T. We show that all sufficiently large…

Let $\Lambda$ be a local truncated path algebra over an algebraically closed field $K$, i.e., $\Lambda$ is a quotient of a path algebra $KQ$ by the paths of length $L+1$, where $Q$ is the quiver with a single vertex and a finite number of…

Symplectic reflection algebras arise in many different mathematical disciplines: integrable systems, Lie theory, representation theory, differential operators, symplectic geometry. In this paper, we introduce baby Verma modules for…