Related papers: Algebraic totality, towards completeness
Quasi-set theory was proposed as a mathematical context to investigate collections of indistinguishable objects. After presenting an outline of this theory, we define an algebra that has most of the standard properties of an orthocomplete…
We explore various formality and finiteness properties in the differential graded algebra models for the Sullivan algebra of piecewise polynomial rational forms on a space. The 1-formality property of the space may be reinterpreted in terms…
In this paper we investigate two logics from an algebraic point of view. The two logics are: MALL (multiplicative-additive Linear Logic) and LL (classical Linear Logic). Both logics turn out to be strongly algebraizable in the sense of Blok…
The logico-algebraic study of Lewis's hierarchy of variably strict conditional logics has been essentially unexplored, hindering our understanding of their mathematical foundations, and the connections with other logical systems. This work…
We construct classifying spaces for discrete and compact Lie groups, with the property that they are topological groups and complete metric spaces in a natural way. We sketch a program in view of extending these constructions.
A vector space is commonly defined as a set that satisfies several conditions related to addition and scalar multiplication. However, for beginners, it may be hard to immediately grasp the essence of these conditions. There are probably a…
We look at spaces of infinite-by-infinite matrices, and consider closed subsets that are stable under simultaneous row and column operations. We prove that up to symmetry, any of these closed subsets is defined by finitely many equations.
An algebraically exact category in one that admits all of the limits and colimits which every variety of algebras possesses and every forgetful functor between varieties preserves, and which verifies the same interactions between these…
We construct an example of an $A_{\infty}$ algebra structure defined over a finite dimensional graded vector space.
We reformulate superalgebra and supergeometry in completely categorical terms by a consequent use of the functor of points. The increased abstraction of this approach is rewarded by a number of great advantages. First, we show that one can…
With a simple generic approach, we develop a classification that encodes and measures the strength of completeness (or compactness) properties in various types of spaces and ordered structures. The approach also allows us to encode notions…
The canonical formalism of the (2+2) formulation of general relativity of 4 spacetime dimensions is studied under no symmetry assumptions, where the spacetime is viewed as a local product of a 2 dimensional base manifold of Lorentzian…
In a previous article, a universal linear algebraic model was proposed for describing homogeneous conformal geometries, such as the spherical, Euclidean, hyperbolic, Minkowski, anti-de Sitter and Galilei planes. This formalism was…
The goal of this paper is to describe the structure of finite-dimensional semi-simple Leibniz algebras in characteristic zero. Our main tool in this endeavor are hemi-semidirect products. One of the major results of this paper is a…
For a finite-dimensional algebra {\Lambda}, we establish an explicit bijection between widely generated torsion(-free) classes and semibricks in mod {\Lambda}. Using the kappa order on the lattice of torsion classes with canonical join…
We begin the study of categorical logic for continuous model theory. In particular, we 1. introduce the notions of metric logical categories and functors as categorical equivalents of a metric theory and interpretations, 2. prove a…
In this paper, first-order logic is interpreted in the framework of universal algebra, using the clone theory developed in three previous papers. We first define the free clone T(L, C) of terms of a first order language L over a set C of…
We present a characterization of the completeness of the field of real numbers in the form of a \emph{collection of several equivalent statements} borrowed from algebra, real analysis, general topology, and non-standard analysis. We also…
In this paper, Lusternik-Schinrelmann and geometric category of finite spaces are considered. We define new numerical invariants of these spaces derived from the geometric category and present an algorithmic approach for its effective…
Some notions in mathematics can be considered relative. Relative is a term used to denote when the variation in the position of an observer implies variation in properties or measures on the observed object. We know, from Skolem theorem,…