Related papers: Remark 3.4 A Dedekind Finite Borel Set

We discuss published assertions concerning fixed points in digital metric spaces that are incorrect or incorrectly proven, or reduce to triviality.

We answer one of the main questions in generalized descriptive set theory, the Friedman-Hyttinen-Kulikov conjecture on the Borel reducibility of the Main Gap. We show a correlation between Shelah's Main Gap and generalized Borel…

G\"odel's second incompleteness theorem is standardly understood as showing that no sufficiently strong, consistent theory of arithmetic can prove its own consistency, a result typically interpreted against a model-theoretic background in…

We show that if A is a linear order then Th(A) is either $\aleph_0$-categorical or Borel complete (in the sense of Friedman and Stanley). We generalize this; if A has countably many unary predicates attached, then Th(A) is…

We prove a Riemann-Hilbert correspondence for Ardakov-Wadsley's coadmissible D-cap-modules and, more generally, for Bode's $\mathcal{C}$-complexes. More precisely, we show that any given $\mathcal{C}$-complex can be reconstructed out of its…

We prove a refined version of the celebrated Lusin type theorem for gradients by Alberti, stating that any Borel vector field $f$ coincides with the gradient of a $C^1$ function $g$, outside a set $E$ of arbitrarily small Lebesgue measure.…

In a comment cond-mat/9811080 to our paper (PRL, vol 81, 1698 (1998)) H. Bokil, A. Bray, B. Drossel and M. Moore claimed that we have reached wrong conclusions. We show here why their claims are not correct, especially when compared to the…

We describe a deformation of the $\infty$-category of Borel $G$-spectra for a finite group $G$. This provides a new presentation of the $a$-complete real Artin--Tate motivic stable homotopy category when $G=C_2$ and gives a new…

We give a short and uniform proof of a special case of Tits' Centre Conjecture using a theorem of J-P. Serre and a result from our earlier work. We consider fixed point subcomplexes $X^H$ of the building $X = X(G)$ of a connected reductive…

This work presents theorems which state (i) Z is a proper subset for any bijection f between A and Z, where Z is contained in P(A), A is a non-finite set and |Z|=|A|, and (ii) being Z a proper subset of P(A) nothing affirms or denies that…

We describe the Dedekind cuts explicitly in terms of non-standard rational numbers. This leads to another construction of a Dedekind complete totally ordered field or, equivalently, to another proof of the consistency of the axioms of the…

This is the fifth 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.…

Let n be finite >2. We show that any class between S\Nr_n\CA_{n+3} and RCA_n is not atom canonical, and any class containing the class of completely representable algebras and contained in S_c\Nr_n\CA_{n+3} is not elementary. We show that…

In this short paper, we show that the solution set of a combination of equilibrium problems is not necessary contained in the intersection of a finite family of solution sets of equilibrium problems. As a corollary, we deduce that…

We prove, for stably computably enumerable formal systems, direct analogues of the first and second incompleteness theorems of G\"odel. A typical stably computably enumerable set is the set of Diophantine equations with no integer…

Let $H$ be a weak Hopf algebra that is a finitely generated module over its affine center. We show that $H$ has finite self-injective dimension and so the Brown--Goodearl Conjecture holds in this special weak Hopf setting.

As a sequel to our proof of the analog of Serre's conjecture for function fields in Part I of this work, we study in this paper the deformation rings of $n$-dimensional mod $\ell$ representations $\rho$ of the arithmetic fundamental group…

This is the last 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.…

Given a prime $p$, the $p$-adic Littlewood Conjecture stands as a well-known arithmetic variant of the celebrated Littlewood Conjecture in Diophantine Approximation. In the same way as the latter, it admits a natural function field analogue…

In his book Topics in Analytic Number Theory, Rademacher considered the generating function of partitions into at most $N$ parts, and conjectured certain limits for the coefficients of its partial fraction decomposition. We carry out an…