Related papers: Conservation theorems for the Cohesiveness Princip…
Firstly we show a generalization of the (1,1)-Lefschetz theorem for projective toric orbifolds and secondly we prove that on 2k-dimensional quasi-smooth hypersurfaces coming from quasi-smooth intersection surfaces, under the Cayley trick,…
A combinatorial principle CECA is formulated and its equivalence with GCH+ certain weakenings of Box_lambda for singular lambda is proved. CECA is used to show that certain ``almost point- < tau'' families can be refined to point- < tau…
In this paper, we give characterizations of Towsner's relative leftmost path principles in terms of omega-model reflections of transfinite inductions. In particular, we show that the omega-model reflection of $\Pi^1_{n+1}$ transfinite…
A generalization of the KP equation involving higher-order dispersion is studied. This equation appears in several physical applications. As new results, the Lie point symmetries are obtained and used to derive conservation laws via…
We investigate a generalization of the {\L}o\'s-Tarski preservation theorem via the semantic notion of \emph{preservation under substructures modulo $k$-sized cores}. It was shown earlier that over arbitrary structures, this semantic notion…
In this paper, we introduce a hierarchy dividing the set $\{\sigma \in \Pi^1_2 : \Pi^1_1$-$\mathsf{CA}_0 \vdash \sigma\}$. Then, we give some characterizations of this set using weaker variants of some principles equivalent to…
In this article, the existence of mass-conserving solutions is investigated to the continuous coagulation and collisional breakage equation with singular coagulation kernels. Here, the probability distribution function attains singularity…
Proving formula depth lower bounds is a fundamental challenge in complexity theory, with the strongest known bound of $(3 - o(1))\log n$ established by Hastad over 25 years ago. The Karchmer-Raz-Wigderson (KRW) conjecture offers a promising…
We address the Riemann and Cauchy problems for systems of $n$ conservation laws in $m$ unknowns which are subject to $m-n$ constraints ($m\geq n$). Such constrained systems generalize systems of conservation laws in standard form to include…
In this paper we construct such a set of `degenerate' Hamiltonians $\hat{H}$, which differ by an `intrinsic' constant but represent different physical systems yet possess the same ground state density. . Thus, although the proof of…
We prove an algebraic preservation theorem for positive Horn definability in aleph-zero categorical structures. In particular, we define and study a construction which we call the periodic power of a structure, and define a periomorphism of…
The methods of abstract simplicial homology and cohomology are reviewed and applied to the topology of electrical networks. Kirchhoffs laws of electrical circuits are shown to be manifestly homological in their origins. Since they are based…
We answer a question posed by Hirschfeldt and Jockusch by showing that whenever $k > \ell$, Ramsey's theorem for singletons and $k$-colorings, $\mathsf{RT}^1_k$, is not strongly computably reducible to the stable Ramsey's theorem for…
We establish a version of the first Noether Theorem, according to which the (equivalence classes of) conserved quantities of given Euler-Lagrange equations in several independent variables are in one-to-one correspondence with the…
Using Zvonkin's transform and the Poisson equation in $R^d$ with a parameter, we prove the averaging principle for stochastic differential equations with time-dependent H\"older continuous coefficients. Sharp convergence rates with order…
We revisit a well-known "surjectivity onto quotient" type lemma of Kirchberg on the central sequence algebra of a separable unital ${\rm C}^*$-algebra, and use it to prove a "surjectivity onto quotient" result on approximately inner…
The minimal bad sequence argument due to Nash-Williams is a powerful tool in combinatorics with important implications for theoretical computer science. In particular, it yields a very elegant proof of Kruskal's theorem. At the same time,…
In the first part of this text we give a survey of the properties satisfied by the C1-generic conservative diffeomorphisms of compact surfaces. The main result that we will discuss is that a C1-generic conservative diffeomorphism of a…
We study the coherence and conservativity of extensions of dependent type theories by additional strict equalities. By considering notions of congruences and quotients of models of type theory, we reconstruct Hofmann's proof of the…
For a natural class of cohomology theories with support (including \'etale or pro-\'etale cohomology with suitable coefficients), we prove a moving lemma for cohomology classes with support on smooth quasi-projective k-varieties that admit…