Related papers: Algebraic totality, towards completeness
We show that a linearly ordered topological space is initially \lambda-compact if and only if it is \lambda-bounded, that is, every set of cardinality $\leq \lambda$ has compact closure. As a consequence, every product of initially…
We classify integer abc-equations c = a + b (to be defined), according to their radical R(abc) and prove that the resulting equivalence classes contain only a finite number of such equations. The proof depends on a 1933 theorem of Kurt…
We prove strong completeness results for some modal logics with the universal modality, with respect to their topological semantics over 0-dimensional dense-in-themselves metric spaces. We also use failure of compactness to show that, for…
We construct moduli spaces of objects in an abelian category satisfying some finiteness hypotheses. Our approach is based on the work of Artin-Zhang and the intrinsic construction of moduli spaces for stacks developed by…
This paper is devoted to introduce a topology on BL-algebras, makes them semitopological algebras. For any BL-algebra $\mathcal{L}=(L, \wedge, \vee, *, \to , 0, 1)$, the introduced topology is defined by a distance-like function between…
Linear topological spaces with partial ordering (linear kinematics) are studied. They are defined by a set of 8 axioms implying that topology, linear structure and ordering are compatible with each other. Most of the results are valid for…
We establish several finiteness properties of groups defined by algebraic difference equations. One of our main results is that a subgroup of the general linear group defined by possibly infinitely many algebraic difference equations in the…
A maximal surface $\sb$ with isolated singularities in a complete flat Lorentzian 3-manifold $\N$ is said to be entire if it lifts to a (periodic) entire multigraph $\tilde{\sb}$ in $\l^3.$ In addition, $\sb$ is called of finite type if it…
We review a notion of completeness in QFT arising from the analysis of basic properties of the set of operator algebras attached to regions. In words, this completeness asserts that the physical observable algebras produced by local degrees…
This paper studies a notion of parameterized flatness in the enriched context: p-flatness where the parameter p stands for a class of presheaves. One obtains a completion of a category A by considering the category F_p(A) of p-flat…
Linear logic (LL) is a resource-aware, abstract logic programming language that refines both classical and intuitionistic logic. Linear logic semantics is typically presented in one of two ways: by associating each formula with the set of…
We assign a relational structure to any finite algebra in a canonical way, using solution sets of equations, and we prove that this relational structure is polymorphism-homogeneous if and only if the algebra itself is…
An algebra $L$ over a field $\Bbb F$, in which product is denoted by $[\,,\,]$, is said to be \textit{ Lie type algebra} if for all elements $a,b,c\in L$ there exist $\alpha, \beta\in \Bbb F$ such that $\alpha\neq 0$ and $[[a,b],c]=\alpha…
We show in this paper that a certain class of normed modules over the algebra of all bounded operators on a Hilbert space possesses a homological property which is a kind of a functional-analytic version of the standard algebraic property…
A graded Artinian algebra $A$ has the Weak Lefschetz Property if there exists a linear form $\ell$ such that the multiplication map by $\ell:[A]_i\to [A]_{i+1}$ has maximum rank in every degree. The linear forms satisfying this property…
We introduce and study the notion of a logarithmic vertex algebra, which is a vertex algebra with logarithmic singularities in the operator product expansion of quantum fields; thus providing a rigorous formulation of the algebraic…
This paper begins the study of infinite-dimensional modules defined on bicomplex numbers. It generalizes a number of results obtained with finite-dimensional bicomplex modules. The central concept introduced is the one of a bicomplex…
In 1931, Banach proved that, far from being exceptional objects, the Weierstrass functions form a residual set in the space $\mathcal{C}[0,1]$ of continuous functions. Later on, in 1966, V. I. Gurariy showed that, except for zero, there is…
Convergence spaces are a generalization of topological spaces. The category of convergence spaces is well-suited for Algebraic Topology, one of the reasons is the existence of exponential objects provided by continuous convergence. In this…
The phase space of relativistic particle mechanics is defined as the 1st jet space of motions regarded as timelike 1-dimensional submanifolds of spacetime. A Lorentzian metric and an electromagnetic 2-form define naturally on the…