Related papers: Unitization of a lattice ordered ring with a trunc…
We present a refinement of Ramsey numbers by considering graphs with a partial ordering on their vertices. This is a natural extension of the ordered Ramsey numbers. We formalize situations in which we can use arbitrary families of…
We introduce a partial order structure on the set of interval orders of a given size, and prove that such a structure is in fact a lattice. We also provide a way to compute meet and join inside this lattice. Finally, we show that, if we…
A proper merging of two disjoint quasi-ordered sets $P$ and $Q$ is a quasi-order on the union of $P$ and $Q$ such that the restriction to $P$ and $Q$ yields the original quasi-order again and such that no elements of $P$ and $Q$ are…
Let $K$ be the field of Laurent series with complex coefficients, let $\mathcal{R}$ be the inverse limit of the standard-graded polynomial rings $K[x_1, \ldots, x_n]$, and let $\mathcal{R}^{\flat}$ be the subring of $\mathcal{R}$ consisting…
Given a $\mathbb{Z}$-graded ring $A$ and a subring $R\subseteq A$, it is natural to ask whether $A$ can be realised as the Cuntz-Pimsner ring of some $R$-system. In this paper, we derive sufficient conditions on $A$ and $R$ for this to be…
A unital $\ell$-group is an abelian group equipped with a translation invariant lattice-order and with a distinguished strong unit, i.e. an element whose positive integer multiples eventually dominate every element of $G$.If $X$ is a…
Renormalizability of the (minimal) single-fermion QED extension is investigated at all orders of perturbation theory in the framework of algebraic renormalization, a regularization-independent method. Relative to the standard QED, new…
In this paper we consider first-order logic theorem proving and model building via approximation and instantiation. Given a clause set we propose its approximation into a simplified clause set where satisfiability is decidable. The…
The left quotient ring (i.e. the left classical ring of fractions) $Q_{cl}(R)$ of a ring $R$ does not always exist and still, in general, there is no good understanding of the reason why this happens. In this paper, it is proved existence…
An interchange ring,(R,+,*)is an abelian group with a second binary operation defined so that the interchange law (x+y)*(u+v)=(x*u)+(y*v)holds. An interchange near ring is the same structure based on a group which may not be abelian. It is…
Let K be a knot in the 3-sphere with 2-fold branched covering space M. If for some prime p congruent to 3 mod 4 the p-torsion in the first homology of M is cyclic with odd exponent, then K is of infinite order in the knot concordance group.…
We extend results of Videla and Fukuzaki to define algebraic integers in large classes of infinite algebraic extensions of Q and use these definitions for some of the fields to show the first-order undecidability. We also obtain a…
We construct flat metrics in a given conformal class with prescribed singularities of real orders at marked points of a closed real surface. The singularities can be small conical, cylindrical, and large conical with possible translation…
When $\mathbb{Z}^d$ is represented as a finite disjoint union of translated integer sublattices, the translated sublattices must possess some special properties. Such a representation is called a \emph{lattice tiling}. We develop a…
Lattice refinement in LQC, its meaning and its necessity are discussed. The r\^ole of lattice refinement for the realisation of a successful inflationary model is explicitly shown. A simple and effective numerical technique to solve the…
We provide a sufficient condition for a polynomial ring, not necessarily commutative, to have a first-order definition for the rational integers.
A ring R is said to be VNL if for any a in R, either a or 1-a is (von Neumann) regular. The class of VNL rings lies properly between the exchange rings and (von Neumann) regular rings. We characterize abelian VNL rings. We also characterize…
We establish that standard arithmetic subgroups of a special orthogonal group ${\rm SO}(1,n)$ are conjugacy separable. As an application we deduce this property for unit groups of certain integer group rings. We also prove that finite…
The aim of this article is to describe necessary and sufficient conditions for simplicity of Ore extension rings, with an emphasis on differential polynomial rings. We show that a differential polynomial ring, R[x;id,\delta], is simple if…
We show that if G is a graph of sufficiently large order n containing as many r-cliques as the r-partite Turan graph of order n; then for some C>0 G has more than Cn^(r-1) (r+1)-cliques sharing a common edge unless G is isomorphic to the…