English
Related papers

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

200 papers

We study groups which satisfy Gardner's equidecomposition conjecture for uniformly distributed sets. We prove that an amenable group has this property if and only if it does not admit $(\mathbb{Z}/2\mathbb{Z}) *(\mathbb{Z}/2\mathbb{Z})$ as…

Logic · Mathematics 2022-12-08 Matthew Bowen , Gábor Kun , Marcin Sabok

We show an invariance result for the L2-torsion of groups under uniform measure equivalence provided a measure-theoretic version of the determinant conjecture holds. The measure-theoretic determinant conjecture is discussed and, for…

Algebraic Topology · Mathematics 2010-04-20 Wolfgang Lueck , Roman Sauer , Christian Wegner

Recently, the first two authors proved the Alon-Jaeger-Tarsi conjecture on non-vanishing linear maps, for large primes. We extend their ideas to address several other related conjectures. We prove the weak Additive Basis conjecture proposed…

Combinatorics · Mathematics 2021-11-29 János Nagy , Péter Pál Pach , István Tomon

We discuss how singular can cardinals be in absence of the axiom of choice. We show that, contrasting with known negative consistency results (of Gitik and others), certain positive results are provable. Then we pose some problems.

Logic · Mathematics 2007-09-18 Denis I. Saveliev

For an uncountable regular cardinal \kappa we let \nabla_\kappa(A) be the statement that A \subset \kappa and for all regular \theta > \kappa, the set of all X \in [\theta]^<\kappa such that X \cap \kappa \in \kappa and otp(X \cap OR) is a…

Logic · Mathematics 2007-05-23 Ralf Schindler

We prove the consistency of ``CH + 2^{aleph_1} is arbitrarily large + 2^{aleph_1} not-> (omega_1 x omega)^2_2''. If fact, we can get 2^{aleph_1} not-> [omega_1 x omega]^2_{aleph_0}. In addition to this theorem, we give generalizations to…

Logic · Mathematics 2009-09-25 Saharon Shelah

Let A be an abelian fourfold. We prove the Standard Conjecture of Hodge type for A. By combining this result with a theorem of Clozel we deduce that numerical equivalence on A coincides with l-adic homological equivalence on A for…

Algebraic Geometry · Mathematics 2020-09-03 Giuseppe Ancona

In 2002, M. A. Tsfasman and S. G. Vl\u{a}du\c{t} formulated the generalized Brauer-Siegel conjecture for asymptotically exact families of number fields. In this article, we establish this conjecture for asymptotically good towers and…

Number Theory · Mathematics 2019-08-09 Anup B. Dixit

We investigate the provability of classical combinatorial theorems in ZF. Using combinatorial arguments, we establish the following results for each infinite cardinal ${\kappa}\in On$, (1) ${\kappa}^+\to ({\kappa},{\omega}+1)$, (2) any…

Logic · Mathematics 2023-06-13 Tamás Csernák , Lajos Soukup

Working in the framework of Borel reducibility, we study various notions of embeddability between groups. We prove that the embeddability between countable groups, the topological embeddability between (discrete) Polish groups, and the…

Logic · Mathematics 2018-02-08 Filippo Calderoni , Luca Motto Ros

We give a new criterion for solvability of group equations, providing proofs of various generalizations of the Kervaire-Laudenbach conjecture for Connes-embeddable groups.

Group Theory · Mathematics 2021-09-27 Martin Nitsche , Andreas Thom

We develop Descriptive Set Theory in Generalized Baire Spaces without assuming $\kappa^{<\kappa}=\kappa$. We point out that without this assumption the basic topological concepts of these spaces have to be slightly modified in order to…

Logic · Mathematics 2025-11-04 Tapani Hyttinen , Miguel Moreno , Jouko Väänänen

It is shown that any denumerable list L to which Cantor's diagonal method was applied is incomplete. However, this doesn't allow us to affirm that the cardinality of the real numbers of the interval [0, 1] is greater than the cardinality of…

General Mathematics · Mathematics 2007-05-23 Jailton C. Ferreira

It is proved consistent with either CH or the negation of CH that there is an aleph_1-separable group of cardinality aleph_1 which does not have a coherent system of projections. It had previously been shown that it is consistent with not…

Logic · Mathematics 2016-09-06 Paul C. Eklof , Alan H. Mekler , Saharon Shelah

Based upon the axiom of choice it is proved that the cardinality of the rational numbers is not less than the cardinality of the irrational numbers. This contradicts a main result of transfinite set theory and shows that the axiom of choice…

General Mathematics · Mathematics 2009-09-29 W. Mueckenheim

This paper exposes a contradiction in the Zermelo-Fraenkel set theory with the axiom of choice (ZFC). While Godel's incompleteness theorems state that a consistent system cannot prove its consistency, they do not eliminate proofs using a…

Logic in Computer Science · Computer Science 2017-01-03 Minseong Kim

We show that the technical condition of solvable conjugacy bound, introduced in \cite{JOR1}, can be removed without affecting the main results of that paper. The result is a Burghelea-type description of the summands $HH_*^t(\BG)_{<x>}$ and…

K-Theory and Homology · Mathematics 2014-05-09 Ronghui Ji , Crichton Ogle , Bobby Ramsey

We consider the equivariant Kasparov category associated to an \'etale groupoid, and by leveraging its triangulated structure we study its localization at the "weakly contractible" objects, extending previous work by R. Meyer and R. Nest.…

K-Theory and Homology · Mathematics 2024-12-23 Christian Bönicke , Valerio Proietti

We propose two conjectures of Hard Lefschetz type on Chow groups and prove them for some special cases. For abelian varieties, we shall show they are equivalent to well-known conjectures of Beauville and Murre.

Algebraic Geometry · Mathematics 2015-05-13 Baohua Fu

In this article we prove three main theorems: (1) guessing models are internally unbounded, (2) for any regular cardinal $\kappa \ge \omega_2$, $\textsf{ISP}(\kappa)$ implies that $\textsf{SCH}$ holds above $\kappa$, and (3) forcing posets…

Logic · Mathematics 2019-07-23 John Krueger