Related papers: Eilenberg theorems for many-sorted formations
The canonical polynomial is an important output of the multivariable topological Poincar\'e series associated with a normal surface singularity. It can be considered as a multivariable polynomial generalization of the Seiberg--Witten…
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 this paper, we develop some foundations for a theory of algebraic varieties of congruences on commutative semirings. By studying the structure of congruences, firstly, we show that the spectrum $ \text{Spec}^{c}(A) $ consisting of prime…
We build a bijection between the set $\sttilt\Lambda$ of isomorphism classes of basic support $\tau$-tilting modules over the Auslander algebra $\Lambda$ of $K[x]/(x^n)$ and the symmetric group $\mathfrak{S}_{n+1}$, which is an…
Isomorphism between formulae is defined with respect to categories formalizing equality of deductions in classical propositional logic and in the multiplicative fragment of classical linear propositional logic caught by proof nets. This…
The object of this paper is to prove that the standard categories in which homotopy theory is done, such as topological spaces, simplicial sets, chain complexes of abelian groups, and any of the various good models for spectra, are all…
For a certain family of complete modular lattices, we prove a Jordan--H\"older--Scheier-like" theorem with no assumptions on cardinality or well-orderedness. This family includes both lattices which are both join- and meet-continuous, as…
Like the lower central series of a nilpotent group, filters generalize the connection between nilpotent groups and graded Lie rings. However, unlike the case with the lower central series, the associated graded Lie ring may share few…
Kastermans proved that consistently $\bigoplus_{\aleph_1} \mathbb{Z}_2$ has a cofinitary representation. We present a short proof that $\bigoplus_{\mathfrak{c}} \mathbb{Z}_2$ always has an arithmetic cofinitary representation. Further, for…
Building off of recent results on Keisler's order, we show that consistently, $\leq_{SP}$ has infinitely many classes. In particular, we define the property of $\leq k$-type amalgamation for simple theories, for each $2 \leq k < \omega$. If…
We show that the number of conjugacy classes of intersections $A\cap B^g$, for fixed finitely generated subgroups $A, B<F$ of a free group, is bounded above in terms of the ranks of $A$ and $B$; this confirms an intuition of Walter Neumann.…
We give the theorem of coincidence of a class of functions defined by a generalised modulus of smoothness with a class of functions defined by the order of the best approximation by algebraic polynomials. We also prove the appropriate…
We show that, for each finite algebra A, either it has symmetric term operations of all arities or else some finite algebra in the variety generated by A has two automorphisms without a common fixed point. We also show this two-automorphism…
The aim of this paper is to study the behavior of Hodge-theoretic (intersection homology) genera and their associated characteristic classes under proper morphisms of complex algebraic varieties. We obtain formulae that relate (parametrized…
The classical subset construction for non-deterministic automata can be generalized to other side-effects captured by a monad. The key insight is that both the state space of the determinized automaton and its semantics---languages over an…
We generalise the definition of a group algebra so that it makes sense for non-locally compact topological groups, in particular, we require that the representation theory of the group algebra is isomorphic (in the sense of Gelfand-Raikov)…
Multi-sorted algebraic theories provide a formalism for describing various structures on spaces that are of interest in homotopy theory. The results of Badzioch and Bergner showed that an interesting feature of this formalism is the…
An algebraic theory, sometimes called an equational theory, is a theory defined by finitary operations and equations, such as the theories of groups and of rings. It is well known that algebraic theories are equivalent to finitary monads on…
Recently L. Nicolaescu and the author formulated a conjecture which relates the geometric genus of a complex analytic normal surface singularity (whose link $M$ is a rational homology sphere) with the Seiberg-Witten invariant of $M$…
The Graded Classification Conjecture (GCC) states that the pointed $K_0^{\operatorname{gr}}$-group is a complete invariant of the Leavitt path algebras of finite graphs when these algebras are considered with their natural grading by…