相关论文: Delta-1-2 Without Sharps
We show that, if $\alpha > 0$ is a real number, $n \ge 2$ and $\ell \ge 2$ are integers, and $q$ is a prime power, then every simple matroid $M$ of sufficiently large rank, with no $U_{2,\ell}$-minor, no rank-$n$ projective geometry minor…
We consider largeness of groups given by a presentation of deficiency 1, where the group is respectively free-by-cyclic, LERF or 1-relator. We give the first examples of (finitely generated free)-by-(infinite cyclic) word hyperbolic groups…
We investigate Diophantine definability and decidability over some subrings of algebraic numbers contained in quadratic extensions of totally real algebraic extensions of $\mathbb Q$. Among other results we prove the following. The big…
We prove that any surjective self-morphism with $\delta_f > 1$ on a potentially dense smooth projective surface defined over a number field $K$ has densely many $L$-rational points for a finite extension $L/K$.
In this paper, we obtain some estimations of the saddle order which is the sole topological invariant of the non-integrable resonant saddles of planar polynomial vector fields of arbitrary degree $n$. Firstly, we prove that, for any given…
Let $(f_1,f_2)$ a $2$-tuple of arithmetic functions and $$\Delta_3(n,f_1,f_2):=\sup\limits_{\substack{(u_1,u_2) \in \mathbb{R}^{2} \\(v_1,v_2) \in [0,1]^{2}}}\Big\lvert \sum\limits_{\substack{d_1 d_{2} \mid n \\ e^{u_i}<d_i\leqslant…
In various models of set theory, we consider covering Aleph_1 x Aleph_1 rectangles by countably many smooth curves, and we study differentiable isomorphisms between Aleph_1-dense sets of reals.
Possible irreducible holonomy algebras $\g\subset\sp(2m,\Real)$ of odd Riemannian supermanifolds and irreducible subalgebras $\g\subset\gl(n,\Real)$ with non-trivial first skew-symmetric prolongations are classified. An approach to the…
We give an upper-bound for the $X$-rank of points with respect to a non-degenerate irreducible variety $X$ in the case that sub-generic $X$-rank points generate a hypersurface. We give examples where this bound is sharp and it improves the…
We consider the supercritical problem -\Delta u = |u|^{p-2}u in \Omega, u=0 on \partial\Omega, where $\Omega$ is a bounded smooth domain in $\mathbb{R}^{N},$ $N\geq3,$ and $p\geq2^{*}:= 2N/(N-2).$ Bahri and Coron showed that if $\Omega$ has…
We present a combination of raising, explicit variable dependency representation, the liberalized delta-rule, and preservation of solutions for first-order deductive theorem proving. Our main motivation is to provide the foundation for our…
We argue that the spiral can, in presence of a maximum principle, be of maximal rank at a boundary, but does not preserve hypoellipticity.
Let kappa be an uncountable cardinal and the edges of a complete graph with kappa vertices be colored with aleph_0 colors. For kappa >2^{aleph_0} the Erd\H{o}s-Rado theorem implies that there is an infinite monochromatic subgraph. However,…
We give results exploring the relationship between dominating and unbounded reals in Hechler extensions, as well as the relationships among the extensions themselves. We show that in the standard Hechler extension there is an unbounded real…
We investigate the set of Pi-1-2 sentences which are Pi-1-1 conservative over the theories of reverse mathematics RCA0+ISigma_n and ACA0. We exhibit new elements of these sets and conclude that the sets are Pi_2 complete. Along the way, we…
Let $A$ be a non-zero abelian variety over a field $F$ that is not algebraic over a finite field. We prove that the rational rank of the abelian group $A(F)$ is infinite when $F$ is large in the sense of Pop (also called ample). The main…
After the main gap theorem was proved (see [Sh:c]), in discussion, Harrington expressed a desire for a finer structure - of finitary character (when we have a structure theorem at all). I point out that the logic L_{infty,aleph_0}(d.q.)…
Let $P(x)$ be a real polynomial of degree $2g+1$, $H=y^2+P(x)$ and $\delta(h)$ be an oval contained in the level set $\{H=h\}$. We study complete Abelian integrals of the form $$I(h)=\int_{\delta(h)} \frac{(\alpha_0+\alpha_1 x+... +…
In this paper, the main objective is to compare the abelian subalgebras and ideals of maximal dimension for finite-dimensional supersolvable Lie algebras. We characterise the maximal abelian subalgebras of solvable Lie algebras and study…
We show that every 2-degenerate graph with maximum degree $\Delta$ has a strong edge-coloring with at most $8\Delta-4$ colors.