Related papers: Free vector lattices and free vector lattice algeb…
An important result in real algebraic geometry is the projection theorem: every projection of a semialgebraic set is again semialgebraic. This theorem and some of its conclusions lie at the basis of many other results, for example the…
One of the longstanding problems in universal algebra is the question of which finite lattices are isomorphic to the congruence lattices of finite algebras. This question can be phrased as which finite lattices can be represented as…
Motivated by the construction of the free Banach lattice generated by a Banach space, we introduce and study several vector and Banach lattices of positively homogeneous functions defined on the dual of a Banach space $E$. The relations…
Among integral polytopes (vertices with integral coordinates), lattice-free polytopes - intersecting the lattice ONLY at their vertices- are of particular interestin combinatorics and geometry of numbers. A natural question is to measure…
We show that some results of L. Makar-Limanov, P. Malcolmson and Z. Reichstein on the existence of free associative algebras are valid in the more general context of varieties of algebras.
We prove a fundamental property: the free vector lattice $FVL[E]$ over a Banach space E is order dense in the free p-convex Banach lattice $FBL^{(p)}[E],~~1 ^leq p \leq \infty,$ if and only if E is finite-dimensional. In a recent work,…
Lattice theoretical generalizations of some classical linear algebra results are formulated. A vector space is replaced by its subspace lattice and a linear map is replaced by the induced lattice map. This map is a complete join…
We define and prove the existence of free Banach lattices in the category of Banach lattices and contractive lattice homomorphisms and establish some of their fundamental properties. We give much more detailed results about their structure…
We investigate atomicity of free algebras and various forms of amalgamation for BL and MV algebras, and also Heyting algebras, though the latter algebras may not be linearly ordered, so strictly speaking their corresponding intuitionistic…
We start a systematic analysis of the first-order model theory of free lattices. Firstly, we prove that the free lattices of finite rank are not positively indistinguishable, as there is a positive $\exists \forall$-sentence true in…
In this paper, we study a notion of what we call vertex Leibniz algebra. This notion naturally extends that of vertex algebra without vacuum, which was previously introduced by Huang and Lepowsky. We show that every vertex algebra without…
In this work, I address a primary issue with adapting categorical and algebraic concepts to functional analytic settings, the lack of free objects. Using a "normed set" and associated categories, I describe constructions of normed objects,…
We introduce an embedding of the free magma on a set A into the direct product of the free magma on a singleton set and the free semigroup on A. This embedding is then used to prove several theorems related to algebraic independence of…
Motivated by the Lipschitz-lifting property of Banach spaces introduced by Godefroy and Kalton, we consider the lattice-lifting property, which is an analogous notion within the category of Banach lattices and lattice homomorphisms. Namely,…
We introduce a category of vector spaces modelling full propositional linear logic, similar to probabilistic coherence spaces and to Koethe sequences spaces. Its objects are {\it rigged sequences spaces}, Banach spaces of sequences, with…
We survey recent progress on three relevant instances of free objects related to Banach spaces: Lipschitz free spaces generated by metric spaces, holomorphic free spaces generated by open sets and free Banach lattices generated by Banach…
This paper is the first in a series of three, the aim of which is to lay the foundations of algebraic geometry over the free metabelian Lie algebra $F$. In the current paper we introduce the notion of a metabelian Lie $U$-algebra and…
We investigate the structure of the free $p$-convex Banach lattice $FBL^{(p)}[E]$ over a Banach space $E$. After recalling why such a free lattice exists, and giving a convenient functional representation of it, we focus our study on how…
We show that certain vertex algebras without vacuum vector may be embedded into vertex algebras. The result is a partial analogue of the simple classical fact that any rng can be embedded into a ring. A one-line proof of the case of a…
This paper is the second in a series of three, the aim of which is to construct algebraic geometry over a free metabelian Lie algebra $F$. For the universal closure of free metabelian Lie algebra of finite rank $r \ge 2$ over a finite field…