Related papers: Unitization of a lattice ordered ring with a trunc…

Given a function $f : A \to \mathbb{R}^n$ of a certain regularity defined on some open subset $A \subseteq \mathbb{R}^m$, it is a classical problem of analysis to investigate whether the function can be extended to all of $\mathbb{R}^m$ in…

We define an easily verifiable notion of an atomic formula having uniformly bounded arrays in a structure $M$. We prove that if $T$ is a complete $L$-theory, then $T$ is mutually algebraic if and only if there is some model $M$ of $T$ for…

In the present paper we discuss the lattice of reducts of $\langle \mathbb{Q}, \{$+$\} \rangle$

In the present paper we introduce a lattice-ordered partial monoid structure on a suitable set of multilayer networks. We first study a kind of mappings that preserve the partial order and describe the order structure. After that we define…

We prove the existence of complexified real arrangements with the same combinatorics but different embeddings in the complex projective plane. Such pair of arrangements has an additional property: they admit conjugated equations on the ring…

We prove that order convergence on a Boolean algebra turns it into a compact convergence space if and only if this Boolean algebra is complete and atomic. We also show that on an Archimedean vector lattice, order intervals are compact with…

Let $(F,\le)$ be an ordered field and let $A,B$ be square matrices over $F$ of the same size. We say that $A$ and $B$ belong to the same archimedean class if there exists an integer $r$ such that the matrices $r A^T A-B^T B$ and $r B^T…

Let $R$ be a Dedekind ring, $K$ its quotient field, and $L=K(\alpha)$ a finite field extension of $K$ defined by a monic irreducible polynomial $f(x)\in R[x]$. We give an easy version of Dedekind's criterion which computationally improves…

Let $A$ be a ring and $\varphi$ its automorphism. It is proved that skew Laurent series ring $A((x,\varphi ))$ is a right serial ring if and only if $A$ is a right serial right Artinian ring.

Let Lambda be a tiled R-order. We give a description of Aut_R(Lambda) as the semidirect product of Inn(Lambda) and a certain subgroup of Aut(Q(Lambda)), where Q(Lambda) is the link graph of Lambda. Additionally, we give criteria for…

The aim of this paper is to establish a lattice theoretical framework to study the partially ordered set $\operatorname{\mathsf{tors}} A$ of torsion classes over a finite-dimensional algebra $A$. We show that $\operatorname{\mathsf{tors}}…

This paper deals with conditions under which the quotient of $L$-fuzzy up-sets forms a complete lattice by using terminologies of closure operators. It first gives a condition that a family of some subsets of a nonempty set can be…

Some upper bounds for the number of monogenizations of quartic orders are established by considering certain classical Diophantine equations, namely index form equations in quartic number fields, and cubic and quartic Thue equations.

Using a recently introduced algebraic framework for the classification of fragments of first-order logic, we study the complexity of the satisfiability problem for several ordered fragments of first-order logic, which are obtained from the…

Let $G$ be a group with identity element $e$, and suppose that $S$ is an associative $G$-graded ring that is not necessarily unital. In the case where $G$ is an ordered group, we show that a graded ideal is prime if and only if it is graded…

One measure of the complexity of a first-order theory, and similarly a type, is the complexity of the formulas required to axiomatize it. We say a theory is bounded if there is an axiomatization involving only $\forall_n$-formulas for some…

Quasi-lattices are introduced in terms of 'join' and 'meet' operations. It is observed that quasi-lattices become lattices when these operations are associative and when these operations satisfy 'modularity' conditions. A fundamental…

Let $R$ be an order in a number field whose conductor ideal $P := (R:\overline{R})$ is prime in the ring of integers $\overline{R}$. In this paper, we explore the factorization properties of such orders. Most notably, we give a complete…

In this paper, we study the well extension of strict(irreflective) partial well orderings. We first prove that any partially well-ordered structure <A, R> can be extended to a well-ordered one. Then we prove that every linear extension of…

Perturbative coefficients grow factorially with the order and one needs a prescription to truncate the series in order to obtain a finite result. A common prescription consists in dropping the smallest contribution at a given coupling and…