Related papers: Remark 3.4 A Dedekind Finite Borel Set

The proof of Theorem 11 of the paper M. Scheepers, Remarks on countable tightness, Topology and its Applications 161 (2014), 407 - 432 relies on Lemma 10 of that paper. The offered proof of Lemma 10 had shortcomings, and I was recently…

We analyze the degree-structure induced by large reducibilities under the Axiom of Determinacy. This generalizes the analysis of Borel reducibilities given in references [1], [6] and [5] e.g. to the projective levels.

The goal of this paper is twofold. In addition to the results stated in the next paragraph, we present some classical results on absoluteness relevant to functional analysis that are well known to logicians but not nearly as well advertised…

We introduce and discuss a definition of approximation of a topological algebraic system $A$ by finite algebraic systems of some class $\K$. For the case of a discrete algebraic system this definition is equivalent to the well-known…

This is the fourth in a series of papers where we prove a conjecture of Deser and Schwimmer regarding the algebraic structure of ``global conformal invariants''; these are defined to be conformally invariant integrals of geometric scalars.…

We give a partial answer to an important open problem in descriptive set theory, the Decomposability Conjecture for Borel functions on an analytic subset of a Polish space to a separable metrizable space. Our techniques employ deep results…

The purpose of this paper is to give some equivalent conditions to the socle and Bass numbers' conjectures which raised by C. Huneke in (Problems on local cohomology, Free resolutions in commutative algebra and algebraic geometry, Res.…

This book is an introductory course to basic commutative algebra with a particular emphasis on finitely generated projective modules. We adopt the constructive point of view, with which all existence theorems have an explicit algorithmic…

Let $G$ be a reductive group over a non-archimedean local field $F$ of residue characteristic $p$. We prove that the Hecke algebras of $G(F)$ with coefficients in a ${\mathbb Z}_{\ell}$-algebra $R$ for $\ell$ not equal to $p$ are finitely…

Following recent result of L. M. T\' oth [arXiv:1906.03137] we show that every $2\Delta$-regular Borel graph $\mathcal{G}$ with a (not necessarily invariant) Borel probability measure admits approximate Schreier decoration. In fact, we show…

The quest for complete observables in general relativity has been a longstanding open problem. We employ methods from descriptive set theory to show that no complete observable on rich enough collections of spacetimes is Borel definable. In…

Fuglede's conjecture in $\mathbb{Q}_p$ is proved. That is to say, a Borel set of positive and finite Haar measure in $\mathbb{Q}_p$ is a spectral set if and only if it tiles $\mathbb{Q}_p$ by translation.

This brief note only contains a modest contribution: we just fix some inaccuracies in the proof of the prime level weight 2 case of Serre's conjecture given in Khare's preprint "On Serre's modularity conjecture for 2-dimensional mod p…

In their comment to the paper ``Theory of the evaporation/condensation transition of equilibrium droplets in finite volumes'' [Physica A, 319, 99 (2003)], Biskup et al. claim that in finite systems at fixed density ``the physical…

It is argued that the proof of Cohen [Phys. Rev. A 51, 4373 (1995)] which shows that an application of the Aharonov-Bergmann-Lebowitz (ABL) rule leads to contradiction with predictions of quantum theory is erroneous. A generalization of the…

We write $S_{\leq n}(A)$ and $\Part_{\fin}(A)$ for the set of permutations with at most $n$ non-fixed points, where $n$ is a natural number, and the set of partitions whose members are finite, respectively, of a set $A$. Among our results,…

We define the notion of a determined Borel code in reverse math, and consider the principle $DPB$, which states that every determined Borel set has the property of Baire. We show that this principle is strictly weaker than $ATR$. Any…

A proof of Grothendieck--Serre conjecture on principal bundles over a semi-local regular ring containing an infinite field is given in [FP] recently. That proof is based significantly on Theorem 1.0.1 stated below in the Introduction and…

Let H stand for the set of homeomorphisms on [0,1]. We prove the following dichotomy for Borel subsets A of [0,1]: either there exists a homeomorphism f in H such that the image f(A) contains no 3-term arithmetic progressions; or, for every…

We consider deformations of bounded complexes of modules for a profinite group G over a field of positive characteristic. We prove a finiteness theorem which provides some sufficient conditions for the versal deformation of such a complex…