Related papers: Algebraic totality, towards completeness
Let $T^n$ be the real $n$-torus group. We give a new definition of lens spaces and study the diffeomorphic classification of lens spaces. We show that any $3$-dimensional lens space $L(p; q)$ is $T^2$-equivariantly cobordant to zero. We…
In this book, the authors introduce the notion of Super linear algebra and super vector spaces using the definition of super matrices defined by Horst (1963). This book expects the readers to be well-versed in linear algebra. Many theorems…
In this paper we determine the representation type of some algebras of infinite matrices continuously controlled at infinity by a compact metrizable space. We explicitly classify their finitely presented modules in the finite and tame…
After Galvez, Martinez and Milan discovered a (Weierstrass-type) holomorphic representation formula for flat surfaces in hyperbolic 3-space, the first, third and fourth authors here gave a framework for complete flat fronts with…
This article describes an entirely algebraic construction for developing conformal geometries, which provide models for, among others, the Euclidean, spherical and hyperbolic geometries. On one hand, their relationship is usually shown…
Goedel's completeness theorem is concerned with provability, while Girard's theorem in ludics (as well as full completeness theorems in game semantics) are concerned with proofs. Our purpose is to look for a connection between these two…
The main objective of this paper is to show that the notion of type which was developed within the frames of logic and model theory has deep ties with geometric properties of algebras. These ties go back and forth from universal algebraic…
In this article we present and describe a notion of "logical perfection". We extract the notion of "perfection" from the contemporary logical concept of categoricity. Categoricity (in power) has become in the past half century a main driver…
A general procedure of affinization of linear algebra structures is illustrated by the case of Leibniz algebras. Specifically, the definition of an affine Leibniz bracket, that is, a bi-affine operation on an affine space that at each…
Motivated by families of formal moduli problems, in this note we generalize the notion of L-infinity space by allowing sheaves of L-infinity algebras over any (reasonable) nilpotent dg manifold. We discuss various examples including those…
This thesis aims to provide a suite of techniques to generate completeness results for coalgebraic logics with axioms of arbitrary rank. We have chosen to investigate the possibility to generalize what is arguably one of the most successful…
We prove that if $M$ is an infinite complete metric space then the set of strongly norm-attaining Lipschitz functions $\SA(M)$ contains a linear subspace isomorphic to $c_0$. This solves an open question posed by V. Kadets and O. Rold\'an.
Employing a formal analogy between ordered sets and topological spaces, over the past years we have investigated a notion of cocompleteness for topological, approach and other kind of spaces. In this new context, the down-set monad becomes…
We present a formalization, in the theorem prover Lean, of the classification of solvable Lie algebras of dimension at most three over arbitrary fields. Lie algebras are algebraic objects which encode infinitesimal symmetries, and as such…
The paper is devoted to two new results concerning varieties of Leibnitz algebras over a field of the zero characteristic. Here is proved the sufficient condition for finiteness colength of variety of Leibnitz algebras. Here is also defined…
Let E be a locally solid vector lattice. In this paper, we consider two particular vector subspaces of the space of all order bounded operators on E. With the aid of two appropriate topologies, we show that under some conditions, they…
We give criteria for finite dimensionality or infinite dimensionality of the polynomial centralizer of the Lie algebra of a linear Lie group, in terms of invariants and relative invariants of the group. In the finite dimensional scenario…
Many kinds of categorical structure require the existence of finite limits, of colimits of some specified type, and of "exactness" conditions between the finite limits and the specified colimits. Some examples are the notions of regular, or…
This paper is devoted to the study of the relative Lipschitz saturation of complex algebraic varieties. More precisely, we investigate the concept of Lipschitz saturation of a variety in another, and we focus on the case where the dominant…
The connection between classical model theoretical types (MT-types) and logically-geometrical types (LG-types) introduced by B. Plotkin is considered. It is proved that MT-types of two $n$-tuples in two universal algebras coincide if and…