Related papers: A variant proof of Con(b<a)

In this short note we present a family of counterexamples to the King's conjecture.

The existence and construction of common invariant cones for families of real matrices is considered. The complete results are obtained for 2x2 matrices (with no additional restrictions) and for families of simultaneously diagonalizable…

Our original aim was, in Abelian group theory to prove the consistency of: lambda is strong limit singular and for some properties of abelian groups which are relatives of being free, the compactness in singular fails. In fact this should…

We consider maximal almost disjoint families of block subspaces of countable vector spaces, focusing on questions of their size and definability. We prove that the minimum infinite cardinality of such a family cannot be decided in ZFC and…

Starting from a model with a Laver-indestructible supercompact cardinal $\kappa$, we construct a model of $ZF+DC_{\kappa}$ where there are no $\kappa$-mad families.

We show that the statement analogous to the Mumford-Tate conjecture for abelian varieties holds for 1-motives on unipotent parts. This is done by comparing the unipotent part of the associated Hodge group and the unipotent part of the image…

Answering a problem of Eklof and Mekler, we show that there is a reflexive group of cardinality >= first measurable.

Starting from a supercompact cardinal we build a model in which $2^{\aleph_{\omega_1}}=2^{\aleph_{\omega_1+1}}=\aleph_{\omega_1+3}$ but there is a jointly universal family of size $\aleph_{\omega_1+2}$ of graphs on $\aleph_{\omega_1+1}$.…

We show that it is consistent, relative to the consistency of a strongly inaccessible cardinal, that an instance of the generalized Borel Conjecture introduced in [8] holds while the classical Borel Conjecture fails.

Let $\kappa$,$\lambda$ be regular uncountable cardinals such that $\lambda > \kappa^+$ is not a successor of a singular cardinal of low cofinality. We construct a generic extension with $s(\kappa) = \lambda$ starting from a ground model in…

The aim of this note is to provide a variant statement of Mumford's theorem. This variant states that for a general variety, all Chow groups are "as large as possible", in the sense that they cannot be supported on a divisor.

We show that Morley's theorem on the number of countable models of a countable first-order theory becomes an undecidable statement when extended to second-order logic. More generally, we calculate the number of equivalence classes of…

We show, assuming PD, that every complete finitely axiomatized second order theory with a countable model is categorical, but that there is, assuming again PD, a complete recursively axiomatized second order theory with a countable model…

This somewhat unusual proof for the fact that the reals are uncountable, which is adapted from one of Bourbaki's proofs in "Fonctions d'une variable reelle", may be of some interest.

In this article we further the study of non-commutative motives. We prove that bivariant cyclic cohomology (and its variants) becomes representable in the category of non-commutative motives. Furthermore, Connes' bilinear pairings…

Arguably the simplest variation of this style of proof as we avoid reducing to the cubic case entirely.

Let omega be the first infinite ordinal (or the set of all natural numbers) with the usual order <. In section 1 we show that, assuming the consistency of a supercompact cardinal, there may exist an ultrapower of omega, whose cardinality is…

Justin Moore's weak club-guessing principle $\mho$ admits various possible generalizations to the second uncountable cardinal. One of them was shown to hold in ZFC by Shelah. A stronger one was shown to follow from several consequences of…

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…

We prove a result of cohomology and base change for families of coherent systems over a curve. We use that in order to prove the existence of (non-split, non-degenerate) universal families of extensions for families of coherent systems (in…