Related papers: Sequential order under CH

We consider coherent and cohesive sheaves of $\cO$--modules over open sets $\Omega\subset\bC^n$. We prove that coherent sheaves, and certain other sheaves derived from them, are cohesive; and conversely, certain sheaves derived from…

We present a first-order theory of sequences with integer elements, Presburger arithmetic, and regular constraints, which can model significant properties of data structures such as arrays and lists. We give a decision procedure for the…

Given a positively graded commutative coherent ring A which is finitely generated as an A_0-algebra, a bijection between the tensor Serre subcategories of qgr A and the set of all subsets Y\subseteq Proj A of the form…

We decompose each moduli space of semistable sheaves on the complex projective plane with support of dimension one and degree four into locally closed subvarieties, each subvariety being the good or geometric quotient of a set of morphisms…

Introduced in [BB], simplicially stable spaces are alternative compactifications of $\mathcal{M}_{g,n}$ generalizing Hassett's moduli spaces of weighted stable curves. We give presentations of the Chow rings of these spaces in genus $0$…

We show that the order dimension of the partial order of all finite subsets of $\kappa$ under set inclusion is ${\log}_{2}({\log}_{2}(\kappa))$ whenever $\kappa$ is an infinite cardinal. We also show that the order dimension of any locally…

We define the Chow ring of the classifying space of a linear algebraic group. In all the examples where we can compute it, such as the symmetric groups and the orthogonal groups, it is isomorphic to a natural quotient of the complex…

This paper investigates the quantitative homogenization of first-order ODEs. For single-scale scalar ODEs, we obtain a sharp $O(\varepsilon)$ convergence rate and characterize the effective constant. In the multi-scale setting, our results…

This paper studies colimits of sequences of finite Chu spaces and their ramifications. Besides generic Chu spaces, we consider extensional and biextensional variants. In the corresponding categories we first characterize the monics and then…

For a countable ordinal a we denote by C_a the class of separable, reflexive Banach spaces whose Szlenk index and the Szlenk index of their dual are bounded by a. We show that each C_a admits a separable, reflexive universal space. We also…

Let $\alpha>0$, $\beta>\alpha$, and let $X_1,\ldots, X_q$ be $\mathscr{C}^{\alpha}_{\mathrm{loc}}$ vector fields on a $\mathscr{C}^{\alpha+1}$ manifold which span the tangent space at every point, where $\mathscr{C}^{s}$ denotes the…

The present study introduces the notions of statistical convergence of order $\alpha$ and strong $p-$ Ces\`{a}ro summability of order $\alpha$ in partial metric spaces. Also, we examine the inclusion relations between these concepts. In…

For each countable ordinal $\alpha \ge 2$, the ideals $\mathsf{conv}_\alpha$ were introduced in ``Critical ideals for countable compact spaces'' (to appear in Fund. Math., see also arXiv:2503.12571) to characterize compact countable spaces…

We establish a new set of pointwise inequalities that order curvature invariants across various Petrov and Segre types of spacetimes. In arbitrary spacetime dimension, we systematically analyze inequalities among contractions of the Ricci…

We introduce a forcing that adds a $\square(\aleph_2,\aleph_0)$-sequence with countable conditions under CH. Assuming the consistency of a weakly compact cardinal, we can find a forcing extension by our new poset in which both…

We show that for arbitrary linearly ordered set $X$ any bounded family of (not necessarily, continuous) real valued functions on $X$ with bounded total variation does not contain independent sequences. We obtain generalized Helly's…

We classify cuts in (totally) ordered abelian groups $\g$ and compute the coinitiality and cofinality of all cuts in case $\g$ is divisible, in terms of data intrinsically associated to the invariance group of the cut. We relate cuts with…

In this paper, we give necessary and sufficient conditions for the space B_1(X) of first Baire class functions on a Tychonoff space X, with pointwise topology, to be (strongly) sequentially separable.

We study three types of order convergence and related concepts of order continuous maps in partially ordered sets, partially ordered abelian groups and partially ordered vector spaces, respectively. An order topology is introduced such that…

The goal of this paper is to present a complete characterisation of points of order continuity in abstract Ces\`aro function spaces $CX$ for $X$ being a symmetric function space. Under some additional assumptions mentioned result takes the…