Related papers: Strong Jump Inversion
We prove Los conjecture = Morley theorem in ZF, with the same characterization (of first order countable theories categorical in aleph_alpha for some (equivalently for every) ordinal alpha>0. Another central result here is, in this context:…
A step-reinforced random walk is a discrete-time non-Markovian process with long range memory. At each step, with a fixed probability p, the positively step-reinforced random walk repeats one of its preceding steps chosen uniformly at…
A recent result of Downarowicz and Serafin (DS) shows that there exist positive entropy subshifts satisfying the assertion of Sarnak's conjecture. More precisely, it is proved that if $y=(y_n)_{n\ge 1}$ is a bounded sequence with zero…
Assuming the obvious definitions (see paper) we show the a decidable model that is effectively prime is also effectively atomic. This implies that two effectively prime (decidable) models are computably isomorphic. This is in contrast to…
In the setting of constructive reverse mathematics, we analyse the downward L\"owenheim-Skolem (DLS) theorem of first-order logic, stating that every infinite model has a countable elementary submodel. Refining the well-known equivalence of…
In this article, we solve the strong openness conjecture on the multiplier ideal sheaves for the plurisubharmonic functions posed by Demailly. We prove two conjectures about the growth of the volumes of the sublevel sets of plurisubharmonic…
Base on a conjecture, we prove that for any smooth separated stack of finite type over a number field, its descent obstruction equals its iterated descent obstruction. As a consequence, we show that for any algebraic stack over a number…
In their work on `Coxeter-like complexes', Babson and Reiner introduced a simplicial complex $\Delta_T$ associated to each tree $T$ on $n$ nodes, generalizing chessboard complexes and type A Coxeter complexes. They conjectured that…
It is well known that the Euler method for a random ordinary differential equation $\mathrm{d}X_t/\mathrm{d}t = f(t, X_t, Y_t)$ driven by a stochastic process $\{Y_t\}_t$ with $\theta$-H\"older sample paths is estimated to be of strong…
We study the topological entropy of hom tree-shifts and show that, although the topological entropy is not a conjugacy invariant for tree-shifts in general, it remains invariant for hom tree higher block shifts. In…
We say that a set $S$ is $\Delta^0_{(n)}(X)$ if membership of $n$ in $S$ is a $\Delta^0_{n}(X)$ question, uniformly in $n$. A set $X$ is low for $\Delta$-Feiner if every set $S$ that is $\Delta^0_{(n)}(X)$ is also…
We establish an It\^o-type formula for finite $p$-variation paths with jumps for arbitrary $p\geq 1$. The formula is stated in a fully pathwise form and separates the reduced rough integral from explicit left- and right-jump correction…
We show that assuming the standard conjectures, for any smooth projective variety $X$ of dimension $n$ over an algebraically closed field, there is a constant $C>0$ such that for any positive rational number $r$ and for any polarized…
We show that diagrammatic sets, a topologically sound alternative to polygraphs and strict $\omega$-categories, admit an internal notion of equivalence in the sense of coinductive weak invertibility. We prove that equivalences have the…
The purpose of this note is to give a simple proof of the following theorem: Let $X$ be a normal projective variety over an algebraically closed field $k$, $\op{char} k = 0$ and let $D \subset X$ be a proper closed subvariety of $X$. Then…
A denumerable cellular family of a topological space $\mathbf{X}$ is an infinitely countable collection of pairwise disjoint non-empty open sets of $ \mathbf{X}$. It is proved that the following statements are equivalent in $\mathbf{ZF}$:…
We prove that for every tower $\mathcal T$ there are $\aleph_1$-dense $A$ and $B$ so that any ``reasonable" forcing notion $\mathbb{P}$ -- an adjective that includes all known ones -- for making $A$ and $B$ isomorphic will add a…
Using the variational method, it is shown that the set of all strong peak functions in a closed algebra $A$ of $C_b(K)$ is dense if and only if the set of all strong peak points is a norming subset of $A$. As a corollary we can induce the…
Multi-index models - functions which only depend on the covariates through a non-linear transformation of their projection on a subspace - are a useful benchmark for investigating feature learning with neural nets. This paper examines the…
Many versions of the Stokes theorem are known. More advanced of them require complicated mathematical machinery to be formulated which discourages the users. Our theorem is sufficiently simple to suit the handbooks and yet it is pretty…