Related papers: Bounds on Continuous Scott Rank

The global existence issue for the isentropic compressible Navier-Stokes equations in the critical regularity framework has been addressed in [7] more than fifteen years ago. However, whether (optimal) time-decay rates could be shown in…

For an arbitrary countable discrete infinite group $G$, nonsingular rank-one actions are introduced. It is shown that the class of nonsingular rank-one actions coincides with the class of nonsingular $(C,F)$-actions. Given a decreasing…

Maximal $L^p$-$L^q$ regularity is proved for the strong, weak and very weak solutions of the inhomogeneous Stokes problem with Navier-type boundary conditions in a bounded domain $\Omega$, not necessarily simply connected. This extends…

Markoff-Lagrange spectrum uncovers exotic topological properties of Diophantine approximation. We investigate asymptotic properties of geometric progressions modulo one and observe significantly analogous results on the set \[ {\mathcal…

Finite automata on infinite words ($\omega$-automata) proved to be a powerful weapon for modeling and reasoning infinite behaviors of reactive systems. Complementation of $\omega$-automata is crucial in many of these applications. But the…

In the article 'Ordinal Logics and the Characterizations of the Informal Concept of Proof', Georg Kreisel poses the problem of assigning unique notations to recursive ordinals, and additionally suggests that the methods which are developed…

We define a model for rank one measure preserving transformations in the sense of [2]. This is done by defining a new Polish topology on the space of codes, which are infinite rank one words, for symbolic rank one systems. We establish that…

Let $\partial{\bf H}^n_{\mathbb K}$ denote the boundary of a symmetric space of rank-one and of non-compact type and let $d_{\mathfrak{H}}$ be the Kor\'anyi metric defined in $\partial{\bf H}^n_{\mathbb K}$. We prove that if $d$ is a metric…

We derive a lower and an upper bound for the rank of the finite part of operator $K$-theory groups of maximal and reduced $C^*$-algebras of finitely generated groups. The lower bound is based on the amount of polynomially growing conjugacy…

A recent article of Chernikov, Hrushovski, Kruckman, Krupinski, Moconja, Pillay and Ramsey finds the first examples of simple structures with formulas which do not fork over $\emptyset$ but are universally measure zero. In this article we…

We show that the existence of constant scalar curvature K\"ahler (cscK) metrics with cone singularities is equivalent to the properness of log $K$-energy. We also prove their equivalence to the geodesic stability. They are extensions of the…

A logarithmic type modulus of continuity is established for weak solutions to a two-phase Stefan problem, up to the parabolic boundary of a cylindrical space-time domain. For the Dirichlet problem, we merely assume that the spatial domain…

Let $M$ be an $R$-module over a Noetherian ring $R$ and $\mathfrak{a}$ be an ideal of $R$ with $c={\rm cd}(\mathfrak{a},M)$. First, we prove that $M$ is finite $\mathfrak{a}$-relative Cohen-Macaulay if and only if ${\rm…

We prove a couple of results on local continuous extension of proper holomorphic maps $F:D \rightarrow \Omega$, $D, \Omega \varsubsetneq \mathbb{C}^n$, making local assumptions on $\partial{D}$ and $\partial{\Omega}$. The first result…

We introduce a sequent calculus for the temporal-over-topological fragment $\textbf{DTL}_{0}^{\circ * \slash \Box}$ of dynamic topological logic $\textbf{DTL}$, prove soundness semantically, and prove completeness syntactically using the…

The cardinal invariants $ \mathfrak h, \mathfrak b, \mathfrak s$ of $\mathcal P (\omega)$ are known to satisfy that $\omega_1 \leq \mathfrak h \leq\min\{\mathfrak b, \mathfrak s\}$. We prove that all inequalities can be strict. We also…

Let $k$ be a perfect field of positive characteristic and let $X$ be a smooth irreducible quasi-compact scheme over $k$. The Drinfeld-Kedlaya theorem states that for an irreducible $F$-isocrystal on $X$, the gap between consecutive generic…

Let $X$ be a K\"ahler manifold with semi-ample canonical bundle $K_X$. It is proved by Jian-Shi-Song that for any K\"ahler class $\gamma$, there exists $\delta>0$ such that for all $t\in (0, \delta)$ there exists a unique cscK metric $g_t$…

We study two complexity notions of groups - a computable Scott sentence and the index set of a group. Finding the exact complexity of one of them usually involves finding the complexity of the other, but this is not the case sometimes. J.…

In 2023, Kuznetsov and Speranski introduced infinitary action logic with multiplexing $!^m\nabla \mathrm{ACT}_\omega$ and proved that the derivability problem for it lies between the $\omega$ and $\omega^\omega$ levels of the…