О допустимых правилах полимодальной логики $\text{S}5_n\text{C}$

П.А. Алексеев; М.И. Голованов; P. A. Alekseev; M. I. Golovanov; P. A. Alekseev; M. I. Golovanov; P. A. Alekseev; M. I. Golovanov

Displaying similar documents to “О допустимых правилах полимодальной логики $S 5_{n} C$ ”

Necessary and sufficient conditions for the chain rule in $W_{loc}^{1, 1} (ℝ^{N}; ℝ^{d})$ and $B V_{loc} (ℝ^{N}; ℝ^{d})$

Giovanni Leoni, Massimiliano Morini (2007)

Journal of the European Mathematical Society

Similarity:

We prove necessary and sufficient conditions for the validity of the classical chain rule in the Sobolev space $W_{loc}^{1, 1} (ℝ^{N}; ℝ^{d})$ and in the space $B V_{loc} (ℝ^{N}; ℝ^{d})$ of functions of bounded variation.

Числа разложения групп ${\hat{𝒥}}_{2}$ и $Aut (𝒥_{2})$

А.С. Кондратьев (1988)

Algebra i Logika

Similarity:

Real and complex analytic sets. The relevance of Segre varieties

Klas Diederich, Emmanuel Mazzilli (2008)

Annali della Scuola Normale Superiore di Pisa - Classe di Scienze

Similarity:

Let $X \subset {ℂ^{n}}^{n}$ be a closed real-analytic subset and put $𝒜 : = {z \in X ∣ \exists A \subset X, germ of a complex-analytic set, z \in A, {dim}_{z} A > 0}$ This article deals with the question of the structure of $𝒜$ . In the main result a natural proof is given for the fact, that $𝒜$ always is closed. As a main tool an interesting relation between complex analytic subsets of $X$ of positive dimension and the Segre varieties of $X$ is proved and exploited.

Explicit cogenerators for the homotopy category of projective modules over a ring

Amnon Neeman (2011)

Annales scientifiques de l'École Normale Supérieure

Similarity:

Let $R$ be a ring. In two previous articles [12, 14] we studied the homotopy category $𝐊 (R - Proj)$ of projective $R$ -modules. We produced a set of generators for this category, proved that the category is $ℵ_{1}$ -compactly generated for any ring $R$ , and showed that it need not always be compactly generated, but is for sufficiently nice $R$ . We furthermore analyzed the inclusion $j_{!}^{} : 𝐊 (R - Proj) \to 𝐊 (R - Flat)$ and the orthogonal subcategory $𝒮 = {𝐊 (R - Proj)}^{⊥}$ . And we even showed that the inclusion $𝒮 \to 𝐊 (R - Flat)$ has a right adjoint; this forces some natural map to be...

О частично упорядоченных множествах 1-степеней, содержащихся в рекурсивно-перечислимых $m$ -степенях

А.Н. Дегтев (1976)

Algebra i Logika

Similarity:

Относительные дополнения в $94_{2}^{0}$ -степенях по перечислимости

И.Ш. Калимуллин (2000)

Algebra i Logika

Similarity:

On blocks of arithmetic progressions with equal products

N. Saradha (1997)

Journal de théorie des nombres de Bordeaux

Similarity:

Let $f (X) \in ℚ [X]$ be a monic polynomial which is a power of a polynomial $g (X) \in ℚ [X]$ of degree $μ \geq 2$ and having simple real roots. For given positive integers $d_{1}, d_{2}, ℓ, m$ with $ℓ < m$ and gcd $(ℓ, m) = 1$ with $μ \leq m + 1$ whenever $m < 2$ , we show that the equation $f (x) f (x + d_{1}) \dots f (x + (ℓ k - 1) d_{1}) = f (y) f (y + d_{2}) \dots f (y + (m k - 1) d_{2})$ with $f (x + j d_{1}) \neq 0$ for $0 \leq j < ℓ k$ has only finitely many solutions in integers $x, y$ and $k \geq 1$ except in the case $m = μ = 2, ℓ = k = d_{2} = 1, f (X) = g (X), x = f (y) + y .$