Related papers: A strong antidiamond principle compatible with CH
We continue [GbSh:568] (math.LO/0003164), proving a stronger result under the special continuum hypothesis (CH). The original question of Eklof and Mekler related to dual abelian groups. We want to find a particular example of a dual group,…
Anti-elementarity is a strong way of ensuring that a class of structures , in a given first-order language, is not closed under elementary equivalence with respect to any infinitary language of the form L $\infty$$\lambda$. We prove that…
For $1<p<\infty$, we consider the following problem $$ -\Delta_p u=f(u),\quad u>0\text{ in }\Omega,\quad\partial_\nu u=0\text{ on }\partial\Omega, $$ where $\Omega\subset\mathbb R^N$ is either a ball or an annulus. The nonlinearity $f$ is…
Following the lines of the analysis done in [BPZ07, BCF07] for first-order G\"odel logics, we present an analogous investigation for Nilpotent Minimum logic NM. We study decidability and reciprocal inclusion of various sets of first-order…
Let $C(B,N)$ be the free associative conformal algebra generated by a set $B$ with a bounded locality $N$. Let $S$ be a subset of $C(B,N)$. A Composition-Diamond lemma for associative conformal algebras is firstly established by Bokut,…
The geometric and algebraic theory of monomial ideals and multigraded modules is initiated over real-exponent polynomial rings and, more generally, monoid algebras for real polyhedral cones. The main results include the generalization of…
We demonstrate that the general D=3, N=5 Chern-Simons matter theory possesses a full OSp(5|4) superconformal symmetry, and construct the corresponding superconformal currents. The closure of the superconformal algebra is verified in detail.…
Under some cardinal arithmetic assumptions, we prove that every stationary subset of lambda of a right cofinality has the weak diamond. This is a strong negation of uniformization. We then deal with a weaker version of the weak diamond-…
In this paper we prove our main theorem, namely, theorem (8), which states that a link Q\rightarrowP, of prime ideals Q and P of a noetherian ring R that are {\sigma}-semistable with respect to a fixed automorphism {\sigma} of R, induces a…
We propose that the stability of dark matter is ensured by a discrete subgroup of the U(1)B-L gauge symmetry, Z_2(B-L). We introduce a set of chiral fermions charged under the U(1)B-L in addition to the right-handed neutrinos, and require…
We are concerned with the existence of solution of the problem $ -\Delta ^H_pu+|u|^{p-2}u=\lambda|u|^{q-2}u+ |u|^{p^*-2}u\quad \mbox{in}\quad\Omega,$ $u>0\quad \mbox{in}\quad\Omega,$ $a(\nabla u)\cdot \nu =0\quad \mbox{on}\quad\partial…
The extent to which quantum criticality drives the physics of iron pnictides is a central question in the field. Earlier theoretical considerations were based on an effective field theory, and the proposed realization in P-doped iron…
An N=1--supersymmetric version of the Cremmer-Scherk-Kalb-Ramond model with non-minimal coupling to matter is built up both in terms of superfields and in a component-field formalism. By adopting a dimensional reduction procedure, the…
We uncover a connection between the model-theoretic notion of superstability and that of noetherian rings and pure-semisimple rings. We characterize noetherian rings via superstability of the class of left modules with embeddings.…
We investigate the structure of FN bases (Frechet-Nikodym bases) without assuming the Continuum Hypothesis (CH), refining results of Siu-Ah Ng concerning definability via flatness and nonforking. In particular, we examine the dependence of…
Nottingham algebras are a class of just-infinite-dimensional, modular, $\mathbb{N}$-graded Lie algebras, which includes the graded Lie algebra associated to the Nottingham group with respect to its lower central series. Homogeneous…
For the principal eigenvalue of discrete weighted $p$-Laplacian on the set of nonnegative integers, the convergence of an approximation procedure and the inverse iteration is proved. Meanwhile, in the proof of the convergence, the…
We prove two general results about the preservation of extendible and $C^{(n)}$-extendible cardinals under a wide class of forcing iterations (Theorems 5.4 and 7.5). As applications we give new proofs of the preservation of Vop\v{e}nka's…
The existence of a well-behaved dimension of a finite von Neumann algebra (see [19]) has lead to the study of such a dimension of finite Baer *-rings (see [26]) that satisfy certain *-ring axioms (used in [9]). This dimension is closely…
We present a systematic study of the method of "norms on possibilities" of building forcing notions with keeping their properties under full control. This technique allows us to answer several open problems, but on our way to get the…