Related papers: Transfinite inductions producing coanalytic sets

Each Multiplicative Exponential Linear Logic (MELL) proof-net can be expanded into a differential net, which is its Taylor expansion. We prove that two different MELL proof-nets have two different Taylor expansions. As a corollary, we prove…

The main result of the paper is the theorem giving a sufficient condition for the existence of a bounded analytic projection onto a holomorphic family of (generally infinite-dimensional) subspaces (a holomorphic sub-bundle of a trivial…

We construct and study a theory of bivariant cobordism of derived schemes. Our theory provides a vast generalization of the algebraic bordism theory of characteristic 0 algebraic schemes, constructed earlier by Levine and Morel, and a…

In this paper, we shall prove, for any $m\geq 1$, the existence of an uncountable subset of $U$-numbers of type $\leq m$ (which we called the set of {\it $m$-ultra numbers}) for which there exists uncountably many transcendental analytic…

The projective hull X^ of a subset X in complex projective space P^n is an analogue of the classical polynomial hull of a set in C^n. If X is contained in an affine chart C^n on P^n, then the affine part of X^ is the set of points x in C^n…

We establish second main theorems for holomorphic curves into a projective subvary $V \subset \mathbb{P}^n(\mathbb{C})$ of dimension $k$, intersecting hypersurfaces in $N$-subgeneral position with respect to $V$ $(N > k)$. Our results…

For an \'{e}tale groupoid, we define a pairing between the Crainic-Moerdijk groupoid homology and the simplex of invariant Borel probability measures on the base space. The main novelty here is that the groupoid need not have totally…

Coproducts of monads on Set have arisen in both the study of computational effects and universal algebra. We describe coproducts of consistent monads on Set by an initial algebra formula, and prove also the converse: if the coproduct…

Let X be a complex manifold and c a simple closed curve in X. We address the question: What conditions on c ensure the existence of a 1-dimensional complex subvariety V with boundary c in X. When X = C^n, an answer to this question involves…

Let $B^n$ be the $n$-dimensional unit complex ball and let $a$ and $b$ be two distinct points in its closure. Let $f$ be a real-analytic function on the complex unit sphere $\partial B^n.$ Suppose that for any complex line $L,$ meeting the…

The purpose of this survey paper is to bring to a large mathematical audience (containing also non-algebraists) some topics of invariant theory both in the classical commutative and the recent noncommutative case. We have included only…

Hausel introduced a commutative algebra -- the multiplicity algebra -- associated to a fixed point of the C^*-action on the Higgs bundle moduli space. Here we describe this algebra for a fixed point consisting of a very stable rank 2 vector…

Until recently, it was an important open problem in Fractal Geometry to determine whether there exists an iterated function system acting on $\mathbb{R}$ with no exact overlaps for which cylinders are super-exponentially close at all small…

Let F be a field of characteristic 2. In this paper we determine the Kato-Milne cohomology of the rational function field F(x) in one variable x. This will be done by proving an analogue of the Milnor exact sequence [4] in the setting of…

We show that arithmetical transfinite recursion is equivalent to a suitable formalization of the following: For every ordinal $\alpha$ there exists an ordinal $\beta$ such that $1+\beta\cdot(\beta+\alpha)$ (ordinal arithmetic) admits an…

We consider a class of doubly intermittent maps with critical points, unbounded derivative and regularly varying tails. Under some mild assumptions we prove the existence of a unique mixing absolutely continuous invariant measure and give…

We provide a version of Quillen's homological stability criterion for continuous bounded cohomology. This criterion is exploited in the companion paper (arXiv:2201.03879) in order to derive new bounded cohomological stability results for…

In various situations in Floer theory, one extracts homological invariants from "Morse-Bott" data in which the "critical set" is a union of manifolds, and the moduli spaces of "flow lines" have evaluation maps taking values in the critical…

The authors defined in "$h^1\ne h_1$ for Anderson t-motives" the notion of an affine equation associated to a t-motive $M$. Here we define two systems of affine equations associated to a t-motive $M$, used for calculation of $H^1(M)$ and…

We define a class of multiparameter persistence modules that arise from a one-parameter family of functions on a topological space and prove that these persistence modules are stable. We show that this construction can produce…