Related papers: Doubly partially conservative sentences

Let $\Gamma=\langle \alpha, \beta \rangle$ be a numerical semigroup. In this article we consider the dual $\Delta^*$ of a $\Gamma$-semimodule $\Delta$; in particular we deduce a formula that expresses the minimal set of generators of…

We investigate the following fractional $p$-Laplacian equation \[ \begin{cases} \begin{aligned} (-\Delta)_p^s u&=\lambda |u|^{q-2}u+|u|^{p_s^*-2}u &&\text{in}~\Omega,\\ u &=0 &&\text{in}~ \mathbb{R}^n\setminus\Omega, \end{aligned}…

In combinatorics on words, a word $w$ over an alphabet $\Sigma$ is said to avoid a pattern $p$ over an alphabet $\Delta$ if there is no factor $f$ of $w$ such that $f=h(p)$ where $h:\Delta^*\to\Sigma^*$ is a non-erasing morphism. A pattern…

Let L contain only the equality symbol and let L^+ be an arbitrary finite symmetric relational language containing L . Suppose probabilities are defined on finite L^+ structures with ''edge probability'' n^{- alpha}. By T^alpha, the almost…

Lambda words are sequences obtained by encoding the differences between ordered elements of the form i+j\theta, where i and j are non-negative integers and 1 < \theta <2. Lambda words are right-infinite words defined over an infinite…

The paper proves that for any second order conservative constraint language with a Maltsev polymorphism there is a majority polymorphism. Moreover, the majority polymorphism can be defined by the Maltsev polymorphism.

In combinatorics on words, a word $w$ over an alphabet $\Sigma$ is said to avoid a pattern $p$ over an alphabet $\Delta$ if there is no factor $f$ of $w$ such that $f=h(p)$ where $h:\Delta^*\to\Sigma^*$ is a non-erasing morphism. A pattern…

Let $A$ and $B$ be unital semisimple commutative Banach algebras and $T$ a map from the invertible group $A^{-1}$ onto $B^{-1}$. Linearity and multiplicativity of the map are not assumed. We consider the hypotheses on $T$: (1) $\sigma…

We consider entailment problems involving powerful constraint languages such as frontier-guarded existential rules in which we impose additional semantic restrictions on a set of distinguished relations. We consider restricting a relation…

Let G be an arbitrary Abelian group and let A be a finite subset of G. A has small additive doubling if |A+A| < K|A| for some K>0. These sets were studied in papers of G.A. Freiman, Y. Bilu, I. Ruzsa, M.C.--Chang, B. Green and T.Tao. In the…

We propose a new interpretation of doubly special relativity based on the distinction between the momenta and the translation generators in its phase space realization. We also argue that the implementation of the theory does not…

The paper develops the result of second Thomae theorem in hyperelliptic case. The main formula, called general Thomae formula, provides expressions for values at zero of the lowest non-vanishing derivatives of theta functions with singular…

In this paper we introduce a novel semantics, called defense semantics, for Dung's abstract argumentation frameworks in terms of a notion of (partial) defence, which is a triple encoding that one argument is (partially) defended by another…

The aim of the paper is to study the problem $$ \begin{cases} u_{tt}-\Delta u+P(x,u_t)=f(x,u) \qquad &\text{in $(0,\infty)\times\Omega$,} u=0 &\text{on $(0,\infty)\times \Gamma_0$,} u_{tt}+\partial_\nu u-\Delta_\Gamma…

In this paper, we prove a theorem concerning the existence of three solutions for the following boundary value problem: \begin{equation*} -\mathcal{M}_{\lambda,\Lambda}^+(D^2u)-\Gamma|Du|^2=f(u)~~~\text{in}\ \Omega, u=0~~~\text{on}\…

We introduce bounded category forcing axioms for well-behaved classes $\Gamma$. These are strong forms of bounded forcing axioms which completely decide the theory of some initial segment of the universe $H_{\lambda_\Gamma^+}$ modulo…

We consider sequences of finitely generated discrete subgroups Gamma_i=rho_i(Gamma) of a rank 1 Lie group G, where the representations rho_i are not necessarily faithful. We show that, for algebraically convergent sequences (Gamma_i),…

We study two modifications of the Post Correspondence Problem (PCP), namely 1) the bi-infinite version, where it is asked whether there exists a bi-infinite word such that two given morphisms agree on it, and 2) the conjugate version, where…

For a quasi-projective demi-normal pair (X, \Delta), we prove that there exists a semi-canonical modification and semi-terminal modification of (X, \Delta).

We investigate the Friedman--Goldfarb--Harrington theorem from two perspectives. Firstly, in the frameworks of classical and modal propositional logics, we study the forms of sentences whose existence is guaranteed by the FGH theorem.…