Related papers: A generalization of Ohkawa's theorem

Birkhoff's variety theorem, a fundamental theorem of universal algebra, asserts that a subclass of a given algebra is definable by equations if and only if it satisfies specific closure properties. In a generalized version of this theorem,…

We prove that under certain assumptions holomorphic functions which are Azukawa isometries at one point are in fact biholomorphisms.

This paper proves a generalization of the Butterfly Theorem, a classical Euclidean result, which is valid in the complex projective plane.

There is a free construction from multicategories to permutative categories, left adjoint to the endomorphism multicategory construction. The main result shows that these functors induce an equivalence of homotopy theories. This result…

The Euclidean algorithm makes possible a simple but powerful generalization of Taylor's theorem. Instead of expanding a function in a series around a single point, one spreads out the spectrum to include any number of points with given…

The notions of spectral measures and spectral classes, which are well known for graphs, are generalized and investigated for oriented hypergraphs.

The assignment of classifying spectra to saturated fusion systems was suggested by Linckelmann and Webb and has been carried out by Broto, Levi and Oliver. A more rigid (but equivalent) construction of the classifying spectra is given in…

We establish a generalization of the Briancon-Skoda theorem about integral closures of ideals for graded systems of ideals satisfying a certain geometric condition.

We generalize Bulitko's Lemma to equations over (or homomorphisms into) groups that have $\kappa$-acylindrical splittings.

Categorical spectra are spectrum objects in pointed $(\infty,\infty)$-categories: sequences $(X_n)$ equipped with equivalences $X_n\simeq \Omega X_{n+1}$. This thesis develops foundations for categorical spectra and constructs their tensor…

We generalize the celebrated Fr\"{o}berg's theorem to embedded joins of copies of a simplicial complex, namely higher secant complexes to the simplicial complex, in terms of property $N_{q+1,p}$ due to Green and Lazarsfeld. Furthermore, we…

We give some conditions under which (uniform) convergence of a family of Dirichlet series to another Dirichlet series implies the convergence of their individual coefficients and/or exponents. We give some applications to some spectral zeta…

The following extension of Bohr's theorem is established: If a somewhere convergent Dirichlet series $f$ has an analytic continuation to the half-plane $\mathbb{C}_\theta = \{s = \sigma+it\,:\, \sigma>\theta\}$ that maps $\mathbb{C}_\theta$…

We generalize Barr's embedding theorem for regular categories to the context of enriched categories.

In this paper we give a new proof of the Ohno-Nakagawa Theorem using the techniques of $L$-series. By applying Eisenstein's parametrization of binary cubic forms on the one hand, and a class field theory interpretation of Datskovsky \&…

We develop a family of simple rank one theories built over quite arbitrary sequences of finite hypergraphs. (This extends an idea from the recent proof that Keisler's order has continuum many classes, however, the construction does not…

We define a generalization of the Turing machine that computes on general sets. Our main theorem states that the class of generalized Turing machine computable functions and the class of Set Recursive functions coincide.

We define dual equivalence for any collection of combinatorial objects endowed with a descent set, and we show that giving a dual equivalence establishes the symmetry and Schur positivity of the quasi-symmetric generating function. We give…

Given an orbifold, we construct an orthogonal spectrum representing its stable global homotopy type. Orthogonal spectra now represent orbifold cohomology theories which automatically satisfy certain properties as additivity and the…

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…