Given any infinite structureM with a decidable first-order theory, we give a sufficient condition in terms of the Gaifman graph of M, which ensures that M can be expanded with some non-definable predicate in such a way that the first-order theory of the expansion is still decidable. LACL Technical Report 2007-06

It is proved that if R is a valuation domain with maximal ideal P and if RL is countably generated for each prime ideal L, then R R is separable if and only RJ is maximal, where J = ∩n∈NP . When R is a valuation domain satisfying one of the following two conditions: (1) R is almost maximal and its quotient field Q is countably generated (2) R is archimedean Franzen proved in [2] that R is separ...

Let R be a commutative integral domain with quotient field K and let P be a nonzero strongly prime ideal of R. We give several characterizations of such ideals. It is shown that (P : P) is a valuation domain with the unique maximal ideal P. We also study when P^{&minus1} is a ring. In fact, it is proved that P^{&minus1} = (P : P) if and only if P is not invertible. Furthermore, if P is invertib...

Bell’s inequality violation (BIQV) for correlations of polarization is studied for a product state of two two-mode squeezed vacuum (TMSV) states. The violation allowed is shown to attain its maximal limit for all values of the squeezing parameter, ζ. We show via an explicit example that a state whose entanglement is not maximal allow maximal BIQV. The Wigner function of the state is non negativ...

biharmonic surfaces in euclidean space $mathbb{e}^3$ are firstly studied from a differential geometric point of view by bang-yen chen, who showed that the only biharmonic surfaces are minimal ones. a surface $x : m^2rightarrowmathbb{e}^{3}$ is called biharmonic if $delta^2x=0$, where $delta$ is the laplace operator of $m^2$. we study the $l_k$-biharmonic spacelike hypersurfaces in the $4$-dimen...

in this paper we show that if q is a power of a prime p , then the projective special linear group psl(2, q) and the stabilizer of a point of the projective line have maximum sum element orders among all proper subgroups of projective general linear group pgl(2, q) for q odd and even respectively

Let R be a local ring of bounded module type. It is shown that R is an almost maximal valuation ring if there exists a non-maximal prime ideal J such that R/J is an almost maximal valuation domain. We deduce from this that R is almost maximal if one of the following conditions is satisfied: R is a Q-algebra of Krull dimension ≤ 1 or the maximal ideal of R is the union of all non-maximal prime i...