نتایج جستجو برای: quintasymptotic prime
تعداد نتایج: 43058 فیلتر نتایج به سال:
In this paper we determine a characteristic class of ILsetframes for the principle F. Then we prove that the principle P is not provable in the system ILF. We use a generalized Veltman model.
We establish an information theoretic inequality concerning the binary skew-symmetric channel that was conjectured in [1]. This completes the proof that there is a gap between the inner bound[2] and the outer bound[3] for the 2receiver broadcast channel; and constitutes the first example of a provable gap between the bounds. The interesting aspect of the proof is the technique employed, and is ...
In this paper it is shown that addition of certain reductions to the standard cut removing reductions of deductions in propositional logic makes propositional logic non-normalizable. From this follows that some provable propositions in propositional logic has no direct proof.
We present a method to prove the decidability of provability in several well-known inference systems. This method generalizes both cut-elimination and the construction of an automaton recognizing the provable propositions.
Let G be a (p, q) graph. Let f : V (G) → {1, 2, . . . , k} be a map. For each edge uv, assign the label gcd (f(u), f(v)). f is called k-prime cordial labeling of G if |vf (i) − vf (j)| ≤ 1, i, j ∈ {1, 2, . . . , k} and |ef (0) − ef (1)| ≤ 1 where vf (x) denotes the number of vertices labeled with x, ef (1) and ef (0) respectively denote the number of edges labeled with 1 and not labeled with 1....
اساس نظریه مجموعه های ناهموار، بدین صورت است که برای هر زیرمجموعه از یک مجموعه کلی، با استفاده از یک رابه هم ارزی، یک زوج مرتب از مجموعه ها را معرفی می کند. هر موفه را به ترتیب، تقریب پایینی و بالایی می نامند. تقریب پایین از یک زیرمجموعه،اجتماع تمام عناصری از مجموعه ی کلی است که کلاس هم ارزی مربوط به آن عنصر، در زیرمجموعه ی مورد نظر قرار گیرد و همچنین، تقریب بالا از آن زیرمجموعه، اجتماع تمام عن...
Let $R$ be a multiplicative hyperring. In this paper, we introduce and study the concept of n-absorbing hyperideal which is a generalization of prime hyperideal. A proper hyperideal $I$ of $R$ is called an $n$-absorbing hyperideal of $R$ if whenever $alpha_1o...oalpha_{n+1} subseteq I$ for $alpha_1,...,alpha_{n+1} in R$, then there are $n$ of the $alpha_i^,$s whose product ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید