Related papers: Baire reductions and good Borel reducibilities

Introducing the notion of a rational system of measure preserving transformations and proving a recurrence result for such systems, we give sufficient conditions in order a subset of rational numbers to contain arbitrary long arithmetic…

The derivatives with respect to order {\nu} for the Bessel functions of argument x (real or complex) are studied. Representations are derived in terms of integrals that involve the products pairs of Bessel functions, and in turn series…

The monadic theory of $(\mathbb R,\le)$ with quantification restricted to Borel sets is decidable. The Boolean combinations of $F_\sigma$ sets form an elementary substructure of the Borel sets. Under determinacy hypotheses, the proof…

In this work we attempt to generalize our result in [6] [7] for real rings (not just von Neumann regular real rings). In other words we attempt to characterize and construct real closure * of commutative unitary rings that are real. We also…

Say a trinomial $x^n+A x^m+B \in \Q[x]$ has reducibility type $(n_1,n_2,...,n_k)$ if there exists a factorization of the trinomial into irreducible polynomials in $\Q[x]$ of degrees $n_1$, $n_2$,...,$n_k$, ordered so that $n_1 \leq n_2 \leq…

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…

Let $\chi(x)\in \mathbb{Z}[x]$ be a monic polynomial whose roots are distinct integers. We study the ideal class monoid and the ideal class group of the ring $\mathbb{Z}[x]/(\chi(x))$. We obtain formulas for the orders of these objects, and…

We prove a analogous of Stein theorem for rational functions in several variables: we bound the number of reducible fibers by a formula depending on the degree of the fraction.

We start by giving a survey to the theory of Borel*(\kappa) sets in the generalized Baire space Baire({\kappa}) = {\kappa}^{\kappa}. In particular we look at the relation of this complexity class to other complexity classes which we denote…

That announcement gives the structure of totally reducible linear Lie algebras which are the Lie algebra of the holonomy group of (at least) one torsion-free connection. The result uses the (already known) classi cation of the irreducible…

We provide a finite basis for the class of Borel functions that are not in the first Baire class, as well as the class of Borel functions that are not $\sigma$-continuous with closed witnesses.

We give new equivalent characterizations for ideals of Borel type. Also, we prove that the regularity of a product of ideals of Borel type is bounded by the sum of the regularities of those ideals.

We give a good reduction criterion for proper polycurves with sections,i.e., successive extensions of family of curves with section, under mild assumption. This criterion is a higher dimensional version of the good reduction criterion for…

Let $K$ be a number field and $v$ a non archimedean valuation on $K$. We say that an endomorphism $\Phi\colon \mathbb{P}_1\to \mathbb{P}_1$ has good reduction at $v$ if there exists a model $\Psi$ for $\Phi$ such that $\deg\Psi_v$, the…

We study Borel equivalence relations induced by Borel actions of tsi Polish groups on standard Borel spaces. We characterize when such an equivalence relation admits classification by countable structures using a variant of the $\mathbb…

We continue to study the local well-posedness for higher order Benjamin-Ono type equations, especially fourth order equations. The proof is based on the energy methods with correction terms. Although one of correction terms can eliminate…

We state the Ramsey property of classes of ordered structures with closures and given local properties. This generalises many old and new results: the Ne\v{s}et\v{r}il-R\"{o}dl Theorem, the author's Ramsey lift of bowtie-free graphs as well…

For any finitely generated abelian group $Q$, we reduce the problem of classification of $Q$-graded simple Lie algebras over an algebraically closed field of "good" characteristic to the problem of classification of gradings on simple Lie…

We prove that the equivalence of pure states of a separable C*-algebra is either smooth or it continuously reduces $[0,1]^{\bbN}/\ell_2$ and it therefore cannot be classified by countable structures. The latter was independently proved by…

We study the dynamical Borel-Cantelli lemma for recurrence sets in a measure preserving dynamical system $(X, \mu, T)$ with a compatible metric $d$. We prove that, under some regularity conditions, the $\mu$-measure of the following set \[…