Related papers: Goldblatt-Thomason for LE-logics

The author has recently introduced an abstract algebraic framework of analogical proportions within the general setting of universal algebra. The purpose of this paper is to lift that framework from universal algebra to the strictly more…

The fundamental ideas of aplicability of Levi-Malcev Theorem for Bol algebras, which plays a basic role in structural theory are outlined

We obtain a parametric normal form for any non-degenerate perturbation of the generalized saddle-node case of Bogdanov--Takens singularity. Explicit formulas are derived and greatly simplified for an efficient implementation in any computer…

We suggest an ordering for the predicates in continuous logic so that the semantics of continuous logic can be formulated as a hyperdoctrine. We show that this hyperdoctrine can be embedded into the hyperdoctrine of subobjects of a suitable…

We prove a generalization of one of Lie's Theorems in the context of Lie-like algebras$^{2-nd}$.

We give a function field specific, algebraic proof of the main results of class field theory for abelian extensions of degree coprime to the characteristic. By adapting some methods known for number fields and combining them in a new way,…

A proof of the Ending Laminations Theorem is given, using Teichmuller geodesics directly.

We use the connection between automata and logic to prove that a wide class of coalgebraic fixpoint logics enjoys uniform interpolation. To this aim, first we generalize one of the central results in coalgebraic automata theory, namely…

In this article we formulate and prove sufficient conditions for the existence of trajectories of nonstationary periodic solutions of autonomous Hamiltonian systems in a neighbourhood of equilibria. It is worth pointing out that assumptions…

We prove a general factorization theorem for Lipschitz summing operators in the context of metric spaces which recovers several linear and nonlinear factorization theorems that have been proved recently in different environments. New…

We introduce a family of modal expansions of {\L}ukasiewicz logic that are designed to accommodate modal translations of generalized basic logic (as formulated with exchange, weakening, and falsum). We further exhibit algebraic semantics…

We give an elementary proof of a Landesman-Lazer type result for systems by means of a shooting argument and explore its connection with the fundamental theorem of algebra.

We investigate the well-known Loday-Quillen-Tsygan theorem, which calculates the Lie algebra homology of the general linear algebra $\mathfrak{gl}(A)$ for an associative algebra $A$ in terms of cyclic homology, and extend the proof to…

We establish a doubly-weighted vertical Sato-Tate law for GL(4) with explicit error terms. The main ingredient is an extension of the orthogonality relation for Maass cusp forms on GL(4) of Goldfeld, Stade, and Woodbury from spherical to…

A classification theorem is obtained for a class of unital simple separable amenable Z-stable C*-algebras which exhausts all possible values of the Elliott invariant for unital stably finite simple separable amenable Z-stable C*-algebras.…

We prove a topological completeness theorem for the modal logic GLP containing operators $\langle\lambda\rangle$ for $\lambda \in$ Ord intended to capture progressively stronger notions of consistency in mathematical theories. We show that,…

We prove a generalization of the Jordan canonical form theorem for a class of bounded linear operators on complex separable Hilbert spaces.

In this short note, we extend a local $Tb$ theorem that was proved in \cite{GHO} to a full multilinear local $Tb$ theorem.

Let $L$ be a lattice. We call a congruence relation $\gQ$ of $L$ isoform, if any two congruence classes of $\gQ$ are isomorphic (as lattices). Let us call the lattice $L$ isoform, if all congruences of $L$ are isoform. G. Gr\"atzer and…

A simple proof is provided to show that any bounded normal operator on a real Hilbert space is orthogonally equivalent to its transpose(adjoint). A structure theorem for invertible skew-symmetric operators, which is analogous to the finite…