Related papers: How can we recognize potentially ${\bf\Pi}^0_\xi$ …

Let ${\mathbb X}$ be a compact, connected, Riemannian manifold (without boundary), $\rho$ be the geodesic distance on ${\mathbb X}$, $\mu$ be a probability measure on ${\mathbb X}$, and $\{\phi_k\}$ be an orthonormal system of continuous…

The following is true in the Solovay model. 1. If $\le$ is a Borel partial order on a set $D$ of the reals, and $X$ is a ROD subset of $D$ linearly ordered by $\le$, then the restriction of $\le$ onto $X$ is countably cofinal. 2. If in…

We prove that there exists a countable family of continuous real functions whose graphs together with their inverses cover an uncountable square, i.e. a set of the form $X\times X$, where $X$ is an uncountable subset of the real line. This…

We study automorphism groups of randomizations of separable structures, with focus on the $\aleph_0$-categorical case. We give a description of the automorphism group of the Borel randomization in terms of the group of the original…

Let G be a closed subgroup of the group of all permutations of a countably infinite set. Let X be a Polish G-space with a countable basis A of clopen sets. Each x from X defines a characteristic function f on A by f(U)=1 iff x belongs to U…

We investigate the extrinsic geometry of causal sets in $(1+1)$-dimensional Minkowski spacetime. The properties of boundaries in an embedding space can be used not only to measure observables, but also to supplement the discrete action in…

We study Torelli-type theorems in the Zariski topology for varieties of dimension at least 2, over arbitrary fields. In place of the Hodge structure, we use the linear equivalence relation on Weil divisors. Using this setup, we prove a…

While there is a well-established notion of what a computable ordinal is, the question which functions on the countable ordinals ought to be computable has received less attention so far. We propose a notion of computability on the space of…

The structure of the Wadge degrees on zero-dimensional spaces is very simple (almost well-ordered), but for many other natural non-zero-dimensional spaces (including the space of reals) this structure is much more complicated. We consider…

We prove that topological isomorphism on procountable groups is not classifiable by countable structures, in the sense of descriptive set theory. In fact, the equivalence relation $\ell_\infty$ expressing that two sequences of reals have a…

We prove that in a vast class of metric measure spaces (namely, those whose associated Sobolev space is separable) the following property holds: a single test plan can be used to recover the minimal weak upper gradient of any Sobolev…

We survey results on the distribution of zeros of random polynomials and of random holomorphic sections of line bundles, especially for large classes of probability measures on the spaces of holomorphic sections. We provide furthermore some…

A set is introreducible if it can be computed by every infinite subset of itself. Such a set can be thought of as coding information very robustly. We investigate introreducible sets and related notions. Our two main results are that the…

A couple of complex projective plane curves are said to make a Zariski pair if they have the same degree and the same type of singularities, but their embeddings in the projective plane are topologically different. In this paper, we present…

We begin the systematic study of decision problems for finitely generated groups given by a solution to their word problem. We relate this to the study of computable analysis on the space of marked groups. We point out that several distinct…

In this paper, we present a solution to the problem of the analytic classification of germs of plane curves with several irreducible components. Our algebraic approach follows precursive ideas of Oscar Zariski and as a subproduct allow us…

Let $X$ be a Polish space, $d$ a pseudo-metric on $X$. If $\{(u,v):d(u,v)<\delta\}$ is ${\bf\Pi}^1_1$ for each $\delta>0$, we show that either $(X,d)$ is separable or there are $\delta>0$ and a perfect set $C\subseteq X$ such that…

A good way of parametrizing 0-dimensional schemes in an affine space $\mathbb{A}_K^n$ has been developed in the last 20 years using border basis schemes. Given a multiplicity $\mu$, they provide an open covering of the Hilbert scheme ${\rm…

We study the holomorphic Hardy-Orlicz spaces H^\Phi(\Omega), where \Omega is the unit ball or, more generally, a convex domain of finite type or a strictly pseudoconvex domain in Cn . The function \Phi is in particular such that H…

In this paper, we study polar quotients and \L ojasiewicz exponents of plane curve singularities, which are {\em not necessarily reduced}. We first show that the polar quotients is a topological invariant. We next prove that the \L…