There are only countably many locally tabular bi-intermediate logics of co-trees
arXiv:2602.21960v1 Announce Type: new Abstract: A bi-Heyting algebra validates the G\"odel-Dummett axiom $(p \to q) \lor (q \to p)$ iff the poset of its prime...
Stay updated with the latest research and technology news
arXiv:2602.21960v1 Announce Type: new Abstract: A bi-Heyting algebra validates the G\"odel-Dummett axiom $(p \to q) \lor (q \to p)$ iff the poset of its prime...
arXiv:2602.21968v1 Announce Type: new Abstract: In this paper, we investigate a universal blow-up bound for the focusing mass-critical nonlinear Schr\"odinger equation for general initial data...
arXiv:2602.21970v1 Announce Type: new Abstract: We separate the Collection Principle, the Reflection Principle, and the Partial Reflection Principle in ZF with urelements (ZFU), despite their...
arXiv:2602.21972v1 Announce Type: new Abstract: This paper extends the multiscale modeling framework introduced in Part I (Deng and Ha, Physica D: Nonlinear Phenomena 483 (2025)...
arXiv:2602.21974v1 Announce Type: new Abstract: The numerical solution of algebraic tensor equations is a largely open and challenging task. Assuming that the operator is symmetric...
arXiv:2602.21981v1 Announce Type: new Abstract: For several physically relevant SPDEs, it is known that global weak solutions coexist with local strong ones. Typically, weak-strong uniqueness...
arXiv:2602.21982v1 Announce Type: new Abstract: We investigate combinatorial bounds for the total Tjurina numbers of plane curve arrangements. Focusing on arrangements of lines and conics...
arXiv:2602.21984v1 Announce Type: new Abstract: The $SL(2,\mathbb{Z})$-orbits of primitive $n$-squared origamis can be represented by finite four-regular graphs. It is a conjecture of McMullen that...
arXiv:2602.21985v1 Announce Type: new Abstract: Since the curve $y^2 = x^6+1$ has a large automorphism group, there exist twist families arising from non-hyperelliptic directions. In...
arXiv:2602.21999v1 Announce Type: new Abstract: In this paper, we consider a minimum time control problem governed by a trait-structured chemostat model including mutation and one...
arXiv:2602.22002v1 Announce Type: new Abstract: Seventy years ago, John Marstrand published a paper which, among other things, relates the Hausdorff dimension of a plane set...
arXiv:2602.22027v1 Announce Type: new Abstract: We introduce a nonlinear and nonlocal model that describes the range expansion of a population resulting from growth and competition...
arXiv:2602.22038v1 Announce Type: new Abstract: We derive the stochastic 2D vortex model on the whole Euclidean space from stochastic particle systems driven by individual and...
arXiv:2602.22042v1 Announce Type: new Abstract: In the modern era of large-scale computing systems, a crucial use of error correcting codes is to judiciously introduce redundancy...
arXiv:2602.22047v1 Announce Type: new Abstract: We study infinite-horizon stochastic optimal control problems with observable side information: a Markov chain that modulates an unknown context-conditional randomness...
arXiv:2602.22058v1 Announce Type: new Abstract: Efficient power production scheduling is a crucial concern for power system operators aiming to minimize operational costs. Previous mixed-integer linear...
arXiv:2602.22060v1 Announce Type: new Abstract: We propose an approach to construct three-dimensional lattice models using line defects in state integral models on shaped triangulations of...
arXiv:2602.22068v1 Announce Type: new Abstract: We study a one-dimensional linear dispersive equation of differential order $\kappa \geq 2$ with concentrated potential of extension $\varepsilon$ with...
arXiv:2602.22080v1 Announce Type: new Abstract: One of the major problems in the structural theory of skew braces consists in the classification of skew braces of...
arXiv:2602.22081v1 Announce Type: new Abstract: A conflict-avoiding code (CAC) of length L and weight w is used for deterministic multiple-access without feedback. When the number...
arXiv:2602.22084v1 Announce Type: new Abstract: Eigenvalue and eigenvector perturbation theory is a fundamental topic in several disciplines, including numerical linear algebra, quantum physics, and related...
arXiv:2602.22089v1 Announce Type: new Abstract: A hereditary class of graphs has bounded clique-width if and only if its prime members do, but this lifting property...
arXiv:2602.22097v1 Announce Type: new Abstract: We study the inverse problem of reconstructing an incompressible velocity field $\boldsymbol{v}$ from observations of the induced magnetic field $\boldsymbol{b}$....
arXiv:2602.22104v1 Announce Type: new Abstract: The conditions under which stochastic systems of infinitely many interacting particles can maintain sufficient spatial order to move coherently along...