Related papers: An Initial Algebra Theorem Without Iteration
The dominated convergence theorem implies that if (f_n) is a sequence of functions on a probability space taking values in the interval [0,1], and (f_n) converges pointwise a.e., then the sequence of integrals converges to the integral of…
In this paper, we prove common fixed point results for a self-mappings satisfying an implicit function which is general enough to cover a multitude of known as well as unknown contractions. Our results modify, unify, extend and generalize…
This article shows a very elementary and straightforward proof of the Implicit Function Theorem for differentiable maps $F(x,y)$ defined on a finite-dimensional Euclidean space. There are no hypothesis on the continuity of the partial…
We establish a noncommutative analogue of the first fundamental theorem of classical invariant theory. For each quantum group associated with a classical Lie algebra, we construct a noncommutative associative algebra whose underlying vector…
We classify all two-dimensional simple algebras (which may be non-associative) over an algebraically closed field. For each two-dimensional algebra $\mathcal{A}$, we describe a minimal (with respect to inclusion) generating set for the…
Let $\mathcal A$ be a simple, $\sigma$-unital, non-unital, non-elementary C*-algebra and let $I_{min}$ be the intersection of all the ideals of $\mathcal M(\mathcal A)$ that properly contain $\mathcal A$. $I_{min}$ coincides with the ideal…
In this paper we provide a short new proof for the integrality of Rothblum's linear description of the convex hull of incidence vectors of stable matchings in bipartite graphs. In the spirit of iterative rounding proofs, the key feature of…
The iterated monodromy group of a post-critically finite complex polynomial of degree d \geq 2 acts naturally on the complete d-ary rooted tree T of preimages of a generic point. This group, as well as its pro-finite completion, act on the…
Term algebras are important objects in computer science and are correspondingly well-studied. A natural generalization is to quotient these algebras by finitely many ground term equations, obtaining what we call almost free algebras. One of…
Classification theory of elementary classes deals with first order (elementary) classes of structures (i.e. fixing a set T of first order sentences, we investigate the class of models of T with the elementary submodel notion). It tries to…
Feferman proved in 1962 that any arithmetical theorem is a consequence of a suitable transfinite iteration of full uniform reflection of $\mathsf{PA}$. This result is commonly known as Feferman's completeness theorem. The purpose of this…
Building on work of Maltsev on locally free algebras in finite purely functional languages, we revisit the model theory of (absolutely free) term algebras and their completions. Maltsev's analysis yields a natural axiomatization together…
We introduce a very natural topology on the set of total orderings of monomials of any algebra having a countable basis over a field. This topological space and some notable subspaces are compact. This topological framework allows us to…
Given any K\"ahler manifold $X$, Kapranov discovered an $L_\infty[1]$ algebra structure on $\Omega^{0,\bullet}_X(T^{1,0}_X)$. Motivated by this result, we introduce, as a generalization of $L_\infty[1]$ algebras, a notion of $L_\infty[1]$…
Let's fix a reasonable subsystem $T$ of arithmetic; why are natural extensions of $T$ pre-well-ordered by consistency strength? In previous work, an approach to this question was proposed. The goal of this work was to classify the recursive…
In the first part we study nearly Frobenius algebras. The concept of nearly Frobenius algebras is a generalization of the concept of Frobenius algebras. Nearly Frobenius algebras do not have traces, nor they are self-dual. We prove that the…
We solve the problem of constructing a genus-zero full conformal field theory (a conformal field theory on genus-zero Riemann surfaces containing both chiral and antichiral parts) from representations of a simple vertex operator algebra…
This article presents simple and easy proofs of the Implicit Function Theorem and the Inverse Function Theorem, in this order, both of them on a finite-dimensional Euclidean space, that employ only the Intermediate Value Theorem and the…
An algebraic proof is presented for the finite strong standard completeness of involutive uninorm logic with fixed point. The result may provide a first step towards settling the open standard completeness problem for involutive uninorm…
We revisit tensor algebras of subproduct systems with Hilbert space fibers, resolving some open questions in the case of infinite dimensional fibers. We characterize when a tensor algebra can be identified as the algebra of uniformly…