Related papers: Doubly partially conservative sentences

In this paper we show that the following problem is NP-complete: Given an alphabet $\Sigma$ and two strings over $\Sigma$, the question is whether there exists a permutation of $\Sigma$ which is a subsequence of both of the given strings.

In ${\cal N}=5, 6, 8$ supergravities there are hidden symmetries of equations of motion, described by duality groups $SU(1,5), \, SO^*(12), \, E_{7(7)}$ respectively. UV divergences and known candidate counterterms violate the deformed…

Preservation theorems provide a direct correspondence between the syntactic structure of first-order sentences and the closure properties of their respective classes of models. A line of work has explored preservation theorems relativised…

Let gamma be a (not necessarily finite) structure with a finite relational signature. We prove that deciding whether a given existential positive sentence holds in gamma is in Logspace or complete for the class CSP(gamma)_NP under…

The Tate conjecture has two parts: an assertion (S) about semisimplicity of Galois representations, and an assertion (T) which says that every Tate class is algebraic. We show that in characteristic 0, (T) implies (S). In characteristic p…

We formulate a theory combining the principles of a scalar-tensor gravity and Rastall's proposal of a violation of the usual conservation laws. We obtain a scalar-tensor theory with two parameters $\omega$ and $\lambda$, the latter…

Let $\Lambda$ and $\Gamma$ be symmetrically separably equivalent Artin algebras. We prove that there exist symmetrical separable equivalences between certain endomorphism algebras of modules. As applications, we provide several methods to…

For $\lambda$ inaccessible, we may consider $(< \lambda)$-support iteration of some specific $(<\lambda)$-complete $\lambda^+$-c.c. forcing notion. But this fails a "preservation by restricting to a sub-sequence of the forcing, we "correct"…

We show that assuming $\mathsf{ZF}+\mathsf{AD}^+ +$ "$V = \mathrm{L} \bigl(\wp (\mathbb{R})\bigr)$", any poset which increases $\Theta$ does not preserve the truth of $\mathsf{AD}$. We also show that in $\mathsf{ZF} + \mathsf{AD}$, any…

There have been many generalizations of Shoenfield's Theorem on the absoluteness of $\Sigma^1_2$ sentences between uncountable transitive models of $\mathrm{ZFC}$. One of the strongest versions currently known deals with $\Sigma^2_1$…

We study the complexity of SAT($\Gamma$) problems for potentially infinite languages $\Gamma$ closed under variable negation (sign-symmetric languages). Via an algebraic connection, this reduces to the study of restricted partial…

We prove that a random group, in Gromov's density model with $d < 1/16$ satisfies with overwhelming probability a universal-existential first-order sentence $\sigma$ (in the language of groups) if and only if $\sigma$ is true in a…

The paper addresses the doubly elliptic eigenvalue problem $$\begin{cases} -\Delta u=\lambda u \qquad &\text{in $\Omega$,}\\ u=0 &\text{on $\Gamma_0$,}\\ -\Delta_\Gamma u +\partial_\nu u =\lambda u\qquad &\text{on $\Gamma_1$,} \end{cases}…

This paper deals with existence of solutions to the following fractional $p$-Laplacian system of equations \begin{equation*} %\tag{$\mathcal P$}\label{MAT1} \begin{cases} (-\Delta_p)^s u =|u|^{p^*_s-2}u+…

We extend the two-variable logic on data words with guarded regular binary predicates of the form $\widetilde{L}(x,y)$ that is true if positions $x$ and $y$ are in the same class and the factor strictly between $x$ and $y$ is in the regular…

We prove the following continuous analogue of Vaught's Two-Cardinal Theorem: if for some $\kappa>\lambda\geq \aleph_0$, a continuous theory $T$ has a model with density character $\kappa$ which has a definable subset of density character…

On a supersymmetric sigma model the covariantly constant forms are related to the conserved currents that are generators of a super W-algebra extending the superconformal algebra. The existence of covariantly constant forms restricts the…

lambda-good frame is for us a parallel of the class of models of a superstable theory. Our main line is to start with lambda-good^+ frame s, categorical in lambda, n-successful for n large enough and try to have parallel of stability theory…

We prove a topological completeness theorem for the modal logic GLP containing operators $\langle\lambda\rangle$ for $\lambda \in$ Ord intended to capture progressively stronger notions of consistency in mathematical theories. We show that,…

Let $G$ be $PGL(n,F)$, $n \geq 3$, $F$ a certain non-archimedean local field; or let $G$ be $PSL(2,\mathbb{R}) \times \cdots \times PSL(2,\mathbb{R})$. Let $\Gamma$ be a lattice in $G$, and let $( \Lambda_n )$ be a sequence of lattices in…