Related papers: A Cantor-Bendixson-like process which detects Delt…

Constructive dimension and constructive strong dimension are effectivizations of the Hausdorff and packing dimensions, respectively. Each infinite binary sequence A is assigned a dimension dim(A) in [0,1] and a strong dimension Dim(A) in…

We prove in constructive logic that the statement of the Cantor-Bernstein theorem implies excluded middle. This establishes that the Cantor-Bernstein theorem can only be proven assuming the full power of classical logic. The key ingredient…

In 1957, Lindley published "A statistical paradox" in Biometrika, revealing a fundamental conflict between frequentist and Bayesian inference as sample size approaches infinity. We present a new paradox of a different kind: a conflict…

We describe a Borel-Pad\'e re-summation of the $\beta$-function in the three Wigner-Dyson symmetry classes. Using this approximate $\beta$-function we discuss the dimensional dependence of the critical exponent and compare with numerical…

We prove that the relation of bisimilarity between countable labelled transition systems is $\Sigma_1^1$-complete (hence not Borel), by reducing the set of non-wellorders over the natural numbers continuously to it. This has an impact on…

The dichotomy discovered by Solecki in \cite{Sol} states that any Baire class 1 function is either $\sigma$-continuous or "includes" the Pawlikowski function $P$. The aim of this paper is to give an argument which is simpler than the…

This article discusses completeness of Boolean Algebra as First Order Theory in Goedel's meaning. If Theory is complete then any possible transformation is equivalent to some transformation using axioms, predicates etc. defined for this…

A new approach to Nori's weak Lefschetz theorem is described. The new approach, which involves the dbar-method, avoids moving arguments and gives much stronger results. In particular, it is proved that if X and Y are connected smooth…

A strong version of the quantization conjecture of Guillemin and Sternberg is proved. For a reductive group action on a smooth, compact, polarized variety (X,L), the cohomologies of L over the GIT quotient X // G equal the invariant part of…

We prove the following two results. 1. If $X$ is a completely regular space such that for every topological space $Y$ each separately continuous function $f:X\times Y\to\mathbb R$ is of the first Baire class, then every Lindel\"of subspace…

With any convex function F on a finite-dimensional linear space X such that F goes to infinity at infinity, we associate a Borel measure on the dual space X*. This measure is obtained by pushing forward the measure exp(-F(x))dx under the…

Let $\mathfrak{g}$ be a root-reductive Lie algebra over an algebraically closed field $\mathbb{K}$ of characteristic $0$ with a splitting Borel subalgebra $\mathfrak{b}$ containing a splitting maximal toral subalgebra $\mathfrak{h}$. We…

To any pair ( M , theta ) where M is a family of finite subsets of N compact in the pointwise topology, and 0<theta < 1 , we associate a Tsirelson-type Banach space T_M^theta . It is shown that if the Cantor-Bendixson index of M is greater…

We show that the generating series of Euler characteristics of Hilbert schemes of points on any algebraic surface with at worst $A_n$-type singularities is described by the theta series determined by integer valued positive definite…

The theme here is category-measure duality, in the context of a topological group. One can often handle the (Baire) category case and the (Lebesgue, or Haar) measure cases together, by working bi-topologically: switching between the…

Reinhardt's conjecture, a formalization of the statement that a truthful knowing machine can know its own truthfulness and mechanicalness, was proved by Carlson using sophisticated structural results about the ordinals and transfinite…

In this paper, we study the Br\"{u}ck conjecture \cite{Bruck-1996} by interpreting it through solutions of first-order partial differential equations in several complex variables. Our results show that the Br\"{u}ck conjecture…

These are lecture notes from a course I gave at the University of Wisconsin during the Spring semester of 1993. Part 1 is concerned with Borel hierarchies. Section 13 contains an unpublished theorem of Fremlin concerning Borel hierarchies…

For a fixed irrational $\theta > 0$ with a prescribed irrationality measure function, we study the correlation $\int_1^X \Delta(x) \Delta(\theta x) dx$, where $\Delta$ is the Dirichlet error term in the divisor problem. When $\theta$ has a…

Fix $\alpha,\theta >0$, and consider the sequence $(\alpha n^{\theta} \mod 1)_{n\ge 1}$. Since the seminal work of Rudnick--Sarnak (1998), and due to the Berry--Tabor conjecture in quantum chaos, the fine-scale properties of these dilated…