Related papers: A counterexample to the Arakelyan Conjecture
We consider mappings, which are structure consisting of a single function (and possibly some number of unary relations) and address the problem of approximating a continuous mapping by a finite mapping. This problem is the inverse problem…
Extension conjecture states that if a simple module over an artin algebra has nonzero first self-extension group then it has nonzero i-th self-extension group for infinitely many positive integers i. It is shown by recollement of…
The set-theoretical model of Goedel's system T is not fully abstract. We also briefly discuss fully abstract models of system T.
We construct a countable simple theory which, in Keisler's order, is strictly above the random graph (but "barely so") and also in some sense orthogonal to the building blocks of the recently discovered infinite descending chain. As a…
It is known that differences of symmetric functions corresponding to various bases are nonnegative on the nonnegative orthant exactly when the partitions defining them are comparable in dominance order. The only exception is the case of…
In this paper, the author derives an $O(h^4)$-superconvergence for the piecewise linear Ritz-Galerkin finite element approximations for the second order elliptic equation $-\nabla \cdot(A\nabla u)= f$ equipped with Dirichlet boundary…
The K\"unneth Theorem for equivariant (complex) K-theory K^*_G, in the form developed by Hodgkin and others, fails dramatically when G is a finite group, and even when G is cyclic of order 2. We remedy this situation in this very simplest…
We describe the Dedekind cuts explicitly in terms of non-standard rational numbers. This leads to another construction of a Dedekind complete totally ordered field or, equivalently, to another proof of the consistency of the axioms of the…
A 1971 conjecture of Graham (later repeated by Erd\H{o}s and Graham) asserts that every set $A \subseteq \mathbb{F}_p \setminus \{0\}$ has an ordering whose partial sums are all distinct. We prove this conjecture for sets of size $|A|…
In this short note we prove a theorem of the Stone-Weierstrass sort for subsets of the cone of non-decreasing continuous functions on compact partially ordered sets.
When a proposition has no proof in an inference system, it is sometimes useful to build a counter-proof explaining, step by step, the reason of this non-provability. In general, this counter-proof is a (possibly) infinite co-inductive proof…
This paper provides some counterexamples to Cantor's contributions to the foundations of Set Theory. The first counterexample forces Cantor's Diagonal Method (DM) to yield one of the numbers in the target list. To study this anomaly, and…
If $N={q^k}{n^2}$ is an odd perfect number given in Eulerian form, then the Descartes-Frenicle-Sorli conjecture predicts that $k=1$. Brown has recently announced a proof for the inequality $q < n$, and a partial proof that $q^k < n$ holds…
In this note we elaborate on a recent counter-example to the Nelson-Seiberg theorem and to its generalizations. We provide sufficient conditions for the existence of such counter-examples, finding new ones. We claim that these…
We prove the existence of a transcendental entire function whose Julia set is a "bouquet of pseudo-arcs". More precisely, the union of the Julia set with infinity is an uncountable union of pseudo-arcs, which are pairwise disjoint except at…
In this paper, we investigate the uniqueness problem of entire functions that share an entire function with their higher-order difference operators. We obtain two results that confirm the conjectures posed by Liu and Laine \cite{LL1} and by…
In 1979, Herzog put forward the following conjecture: if two simple groups have the same number of involutions, then they are of the same order. We give a counterexample to this conjecture.
Recently, Garthwaite-Penniston have shown that the coefficients of Ramanujan's mock theta function $\omega$ satisfy infinitely many congruences of Ramanujan-type. In this work we give the first explicit examples of congruences for…
We construct explicit counterexamples that show that it is impossible to get any remainder, other than the classical ones, in the Wiener-Ikehara theorem and the Ingham-Karamata theorem under just an additional analytic continuation…
Nous refutons, sous une certaine hypothese combinatoire, la "nonrevisiting path conjecture". Abstract: In this article, we give, under some hypothesis, a couterexample to the nonrevisiting path conjecture.