Related papers: Variations on $\Delta^1_1$ Determinacy and $\aleph…

The algebraic conditions that specific gauged G/H-WZW model have to satisfy in order to give rise to Non-Abelian Toda models with singular metric with or without torsion are found. The classical algebras of symmetries corresponding to grade…

The aim of this paper is to determine the logical and computational strength of instances of the Bolzano-Weierstra{\ss} principle (BW) and a weak variant of it. We show that BW is instance-wise equivalent to the weak K\"onig's lemma for…

Let K be an algebraically bounded structure and T be its theory. If T is model complete, then the theory of K endowed with a derivation, denoted by $T^{\delta}$, has a model completion. Additionally, we prove that if the theory T is…

We consider the reverse math strength of the statement $\mathsf{C\text-DM}$:"Every completely determined Borel set is measurable." Over $\mathsf{WWKL}_0$, we obtain the following results analogous to the previously studied category case.…

We show that (1) If ZF is consistent then the following theory is consistent "ZF + DC(omega_{1}) + Every set of reals has Baire property" and (2) If ZF is consistent then the following theory is consistent "ZFC + `every projective set of…

Let $X$ be a smooth projective variety over $ \overline{\mathbb Q}$, and $f:X -rightarrow X$ be a dominant rational map. Let $\delta_{f}$ be the first dynamical degree of $f$ and $h_{X}:X( \overline{\mathbb Q})\to [1,\infty)$ be a Weil…

Uniqueness of positive solutions to viscous Hamilton-Jacobi-Bellman (HJB) equations of the form $-\Delta u(x) + \frac{1}{\gamma} |D{u}(x)|^\gamma = f(x) - \lambda$, with $f$ a coercive function and $\lambda$ a constant, in the subquadratic…

We study semi-dynamical systems associated to delay differential equations. We give a simple criteria to obtain weak and strong persistence and provide sufficient conditions to guarantee uniform persistence. Moreover, we show the existence…

Some properties of $m$-density points and density-degree functions are studied. Moreover the following main results are provided: \vskip2mm \begin{itemize} \item {\it Let $\lambda$ be a continuous differential form of degree $h$ in…

We study the tamed magnetohydrodynamics equations, introduced recently in a paper by the author, perturbed by multiplicative Wiener noise of transport type on the whole space $\mathbb{R}^{3}$ and on the torus $\mathbb{T}^{3}$. In a first…

For all the convolution algebras $L^1[0,1),\ L^1_{\text{loc}}$ and $A(\omega)=\bigcap_n L^1(\omega_n)$, the derivations are of the form $D_{\mu} f=Xf*\mu$ for suitable measures $\mu$, where $(Xf)(t)=tf(t)$. We describe the (weakly) compact…

In this thesis we will present and discuss various results pertaining to tiling problems and mathematical logic, specifically computability theory. We focus on Wang prototiles, as defined in [32]. We begin by studying Domino Problems, and…

In this paper, we study the uniqueness of the differential-difference of meromorphic functions. We prove the following result: Let $f$ be a nonconstant meromorphic function of $\rho_{2}(f)<1$, let $\eta$ be a non-zero complex number,…

We prove that the cardinality of transitive quasi-uniformities in a quasi-proximity class is at least $2^{2^{\aleph_0}}$ if there exist at least two transitive quasi-uniformities in the class. The transitive elements of $\pi(\delta)$ are…

We study the minimum degree threshold $\delta_{r,q}$ guaranteeing the existence of $K_r$-tilings of high discrepancy in any $q$-edge-coloring. Balogh, Csaba, Pluh\'ar and Treglown handled the 2-color case, proving that $\delta_{r,2} =…

We study the main open parts of the Kawaguchi--Silverman Conjecture, asserting that for a birational self-map $f$ of a smooth projective variety $X$ defined over $\overline{\mathbb Q}$, the arithmetic degree $\alpha_f(x)$ exists and…

We get three basic results in algebraic dynamics: (1). We give the first algorithm to compute the dynamical degrees to arbitrary precision. (2). We prove that for a family of dominant rational self-maps, the dynamical degrees are lower…

Let $(L, h)\to (X, \omega)$ denote a polarized toric K\"ahler manifold. Fix a toric submanifold $Y$ and denote by $\hat{\rho}_{tk}:X\to \mathbb{R}$ the partial density function corresponding to the partial Bergman kernel projecting smooth…

Tarski initiated a logic-based approach to formal geometry that studies first-order structures with a ternary betweenness relation (\beta) and a quaternary equidistance relation (\equiv). Tarski established, inter alia, that the first-order…

We describe a construction of a model of second order arithmetic in which (boldface) $\bm{\Pi^1_n}$-determinacy holds, but (lightface) $\Pi^1_{n+2}$-$\mathsf{DC}$ fails, thus showing that no projective level of determinacy implies full…