Related papers: Free vector lattices and free vector lattice algeb…
We show that a free vector lattice over a real vector space $V$ can be realised canonically as a vector lattice of real-valued positively homogeneous functions on any linear subspace of its dual space that separates the points of $V$. This…
This paper illustrates the combinatorial approach to vertex algebra - study of vertex algebras presented by generators and relations. A necessary ingredient of this method is the notion of free vertex algebra. Borcherds \cite{bor} was the…
We prove the existence of free objects in certain subcategories of Banach lattices, including $p$-convex Banach lattices, Banach lattices with upper $p$-estimates, and AM-spaces. From this we immediately deduce that projectively universal…
We continue our work on the model theory of free lattices, solving two of the main open problems from our first paper on the subject. Our main result is that the universal (existential) theory of infinite free lattices is decidable. Our…
It is shown that the universal theory of the free pseudocomplemented distributive lattice is decidable and a recursive axiomatization is presented. This contrasts with the case of the full elementary theory of the finitely generated free…
We introduce the free Banach lattice generated by a lattice L. We give an explicit description of it and we study some of its properties for the case when $\mathbb{L}$ is a linear order, like the countable chain condition.
We define a free uniformly complete vector lattice over a set of generators and give its concrete representation as a space of continuous positively homogeneous functions.
The notion of {\it free} generalized vertex algebras is introduced. It is equivalent to the notion of {\it generalized principal subspaces} associated with lattices which are not necessarily integral. Combinatorial bases and the characters…
In this article we deal with the free Banach lattice $FBL\langle \mathbb{L} \rangle$ generated by a lattice $\mathbb{L}$. We prove that if $FBL\langle \mathbb{L} \rangle$ is projective then $\mathbb{L}$ has a maximum and a minimum. On the…
The free Banach lattice over a Banach space is introduced and analyzed. This generalizes the concept of free Banach lattice over a set of generators, and allows us to study the Nakano property and the density character of non-degenerate…
We deal with equations over free semilattice of infinite rank and prove that any infinite consistent system of equations is equivalent to its finite subsystem. Moreover, we describe irreducible algebraic sets and solve some algorithmic…
We prove that a variety of algebras whose finitely generated members are free must be definitionally equivalent to the variety of sets, the variety of pointed sets, a variety of vector spaces over a division ring, or a variety of affine…
The relation between the free Banach lattice generated by a Banach space and free dual spaces is clarified. In particular, it is shown that for every Banach space $E$ the free $p$-convex Banach lattice generated by $E^{**}$, denoted…
The construction of the free Banach lattice generated by a real Banach space is extended to the complex setting. It is shown that for every complex Banach space $E$ there is a complex Banach lattice $FBL_{\mathbb C}[E]$ containing a linear…
We construct and analyze the free Banach $f\!$-algebra $\operatorname{FB{\it f}A}[E]$ generated by a Banach space $E$, extending recent developments on free Banach lattices to the setting of Banach $f\!$-algebras, where multiplication…
In this paper we study ascending chain conditions in a free Baxter algebra by making use of explicit constructions of free Baxter algebras that were obtained recently. We investigate ascending chain conditions both for ideals and for Baxter…
We study the projectivity of the free Banach lattice generated by a lattice $\mathbb{L}$ in two cases: when the lattice is finite, and when the lattice is an infinite linearly ordered set. We prove that in the first case it is projective…
This work creates two categories of "array-weighted sets" for the purposes of constructing universal matrix-normed spaces and algebras. These universal objects have the analogous universal property to the free vector space, lifting maps…
We introduce the notion of a non--linear Lie conformal superalgebra and prove a PBW theorem for its universal enveloping vertex algebra. We also show that conversely any graded freely generated vertex algebra is the universal enveloping…
We study free Banach lattices over pre-ordered Banach spaces in the category of Banach lattices of a given convexity type. These generalise the free Banach lattices under convexity conditions over Banach spaces in the literature. Their…