Related papers: MV-algebras and measure: some examples
The main aim of this article is to study tense MV-algebras which are just MV-algebras with new unary operations $G$ and $H$ which express a universal time quantifiers. Tense MV-algebras were introduced by D. Diagonescu and G. Georgescu.…
This paper concerns the notion of a symmetric algebra and its generalization to a quasi-symmetric algebra. We study the structure of these algebras in respect to their hull-kernel regularity and existence of some ideals, especially the…
We introduced the concept of a metric value set (MVS) in an earlier paper \cite{GM} and developed the idea further in \cite{AS}. In this paper we study locally $M$-metrizable spaces and the products of $M$-metrizable spaces. Finally we…
In all setups when the structure of UMVUEs is known, there exists a subalgebra $\cal U$ (MVE-algebra) of the basic $\sigma$-algebra such that all $\cal U$-measurable statistics with finite second moments are UMVUEs. It is shown that…
In this document we consider a way of localizing an MV-algebra. Given any prime filter $F$ we find a local MV-algebra which has the same poset of prime filters as the poset of prime filters comparable to $F$.
We characterize vertex algebras (in a suitable sense) as algebras over a certain graded co-operad. We also discuss some examples and categorical implications of this characterization.
MV-algebras and Riesz MV-algebras are categorically equivalent to abelian lattice-ordered groups with strong unit and, respectively, with Riesz spaces (vector-lattices) with strong unit. A standard construction in the literature of…
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…
In this document we consider the prime and maximal spectra of an MV-algebra with certain natural operations. Several new MV-algebras are constructed in this fashion.
Let $A$ be a partial *-algebra endowed with a topology $\tau$ that makes it into a locally convex topological vector space $A[\tau]$. Then $A$ is called a topological partial *-algebra if it satisfies a number of conditions, which all…
A generalization of metric space is presented which is shown to admit a theory strongly related to that of ordinary metric spaces. To avoid the topological effects related to dropping any of the axioms of metric space, first a new, and…
The integrability condition called shape invariance is shown to have an underlying algebraic structure and the associated Lie algebras are identified. These shape-invariance algebras transform the parameters of the potentials such as…
In \cite{DvZa3}, we started the investigation of pseudo MV-algebras with square roots. In the present paper, we continue to study the structure of pseudo MV-algebras with square roots focusing on their new characterizations. The paper is…
A lexicographic pseudo MV-algebra is an algebra that is isomorphic to an interval in the lexicographic product of a linear unital group with an arbitrary $\ell$-group. We present conditions when a pseudo MV-algebra is lexicographic. We show…
The class of generic structures among those consisting of the measure algebra of a probability space equipped with an automorphism is axiomatizable by positive sentences interpreted using an approximate semantics. The separable generic…
We survey the recent developments in the theory of quasireg- ular mappings in metric spaces. In particular, we study the geometric porosity of the branch set of quasiregular mappings in general metric measure spaces, and then, introduce the…
The aim of this paper is to give a unifying description of various constructions (subanalytic, semialgebraic, o-minimal site) using the notion of T-topology. We then study the category of T-sheaves.
An `algebraic' approach to M-theory is briefly reviewed, and a proposal is made for a similar algebraic structure underlying the $T^9$ compactification of `M(embrane) theory', i.e. the M(atrix) model with area-preserving diffeomorphism…
In this Master of Science Thesis I introduce geometric algebra both from the traditional geometric setting of vector spaces, and also from a more combinatorial view which simplifies common relations and operations. This view enables us to…
Implicative algebras have been recently introduced by Miquel in order to provide a unifying notion of model, encompassing the most relevant and used ones, such as realizability (both classical and intuitionistic), and forcing. In this work,…