Related papers: On a conjecture for $\aleph_0$-bounded groups

Generalizing classical descriptive set theory opens foundational questions about the Borel hierarchy. In this paper we systematically study those questions, working in the general framework of Polish-like spaces relative to an uncountable…

Characteristic earlier results were of the form CON$(2^{\aleph_0} \to [\lambda]^2_{n, 2})$, with $2^{\aleph_0} $ an ex-large cardinal, in the best case the first weakly Mahlo cardinal. Characteristic new results are CON$((2^{\aleph_0} =…

In this paper we study the Borel reducibility of Borel equivalence relations, including some orbit equivalence relations, on the generalised Baire space $\kappa^\kappa$ for an uncountable $\kappa$ with the property…

In this paper, we study the notion of a generically extendible cardinal, which is a generic version of an extendible cardinal. We prove that the generic extendibility of $\omega_1$ or $\omega_2$ has small consistency strength, but that of a…

Working under large cardinal assumptions, we study the Borel-reducibility between equivalence relations modulo restrictions of the non-stationary ideal on some fixed cardinal $\kappa$. We show the consistency of…

We show that the refinement of Alperin's Conjecture proposed in "Frobenius Categories versus Brauer Blocks", Progress in Math. 274, can be proved by checking that this refinement holds on any central k*-extension of a finite group H…

We study the Borel-reducibility of isomorphism relations of complete first order theories and show the consistency of the following: For all such theories T and T', if T is classifiable and T' is not, then the isomorphism of models of T' is…

We prove that Arhangelskii's problem has a consistent positive answer: if V\models CH, then for some aleph_1-complete aleph_2-c.c. forcing notion P of cardinality aleph_2 we have that P forces ``CH and there is a Lindelof regular…

We prove Bloch's conjecture for numerical Campedelli surfaces with fundamental group of order $9$.

The generalized Effros-Hahn conjecture for groupoid C*-algebras says that, if G is amenable, then every primitive ideal of the groupoid C*-algebra C*(G) is induced from a stability group. We prove that the conjecture is valid for all second…

The study of Fuglede's conjecture on the direct product of elementary abelian groups was initiated by Iosevich et al. For the product of two elementary abelian groups the conjecture holds. For $\mathbb{Z}_p^3$ the problem is still open if…

Assuming a lower bound on the dimension, we prove a long standing conjecture concerning the classification of global solutions of the obstacle problem with unbounded coincidence sets.

A characteristic result is that if 2^{aleph_0}< mu < mu^+< lambda = cf(lambda)< mu^{aleph_0}, then among the separable reduced p-groups of cardinality lambda which are (< lambda)-stable there is no universal one.

Let $g(x)$ be a fixed non-constant complex polynomial. It was conjectured by Schinzel that if $g(h(x))$ has boundedly many terms, then $h(x)\in \C[x]$ must also have boundedly many terms. Solving an older conjecture raised by R\'enyi and by…

We show that several dichotomy theorems concerning the second level of the Borel hierarchy are special cases of the $\aleph_0$-dimensional generalization of the open graph dichotomy, which itself follows from the usual proof(s) of the…

Let P be a distinguished unary predicate and K= {M: M a model of cardinality aleph_n with P^M of cardinality aleph_0}. We prove that consistently for n=4, for some countable first order theory T we have: T has no model in K whereas every…

We prove: $\mathbf{Theorem}$ Let $K$ be a universal class. If $K$ is categorical in cardinals of arbitrarily high cofinality, then $K$ is categorical on a tail of cardinals. The proof stems from ideas of Adi Jarden and Will Boney, and also…

In this paper, building among others on earlier works by U. Krause and C. Zahlten (dealing with the case of cyclic groups), we obtain a new upper bound for the little cross number valid in the general case of arbitrary finite Abelian…

We investigate the relation of countable closed subsets of the reals with respect to continuous monotone embeddability; we show that there are exactly aleph_1 many equivalence classes with respect to this embeddability relation. This is an…

We argue that Godel's completeness theorem is equivalent to completability of consistent theories, and Godel's incompleteness theorem is equivalent to the fact that this completion is not constructive, in the sense that there are some…