Related papers: On strong chains of sets and functions

Addressing a question of Paul Larson we prove the following statement. If Chang's conjecture fails, Martin's axiom holds and the continuum is greater than $\aleph_2$, there are no weakly Laver ideals over $\aleph_1$. We also prove that…

In this short note, we answer a question raised by M. Papikian on a universal upper bound for the degree of the extension of $K_\infty$ given by adjoining the periods of a Drinfeld module of rank 2. We show that contrary to the rank 1 case…

Recently, Paolini and Shelah have constructed absolutely Hopfian torsion-free abelian groups of any given size. In contrast, we show that this is not necessarily the case for absolutely co-Hopfian groups. We use the infinitary logic to show…

Let $F$ be a field of characteristic $p$ at least 5. We study the Loewy structures of Specht modules in the principal block of $F\Sigma_{3p}$. We show that a Specht module in the block has Loewy length at most 4 and composition length at…

We prove that there is no extension of the abelian groups appearing in the Bloch-Suslin complex to strongly $\mathbb{A}^{1}-$invariant sheaves on $Sm_{k}$ (char($k$)=0) that also extend the canonical symbol maps from the respective…

The point of departure for the present work is Barry Mitchell's 1972 theorem that the cohomological dimension of $\aleph_n$ is $n+1$. We record a new proof and mild strengthening of this theorem; our more fundamental aim, though, is some…

A slalom is a sequence of finite sets of length omega. Slaloms are ordered by coordinatewise inclusion with finitely many exceptions. Improving earlier results of Mildenberger, Shelah and Tsaban, we prove consistency results concerning…

We show that in the theory ZF + DC + for every cardinal {\lambda}, the set of infinite subsets of {\lambda} is well-ordered (i.e., Shelah's AX4), the {\theta}-function measuring the surjective size of the powersets P({\kappa}) can take…

The ample hierarchy of geometries of stables theories is strict. We generalise the construction of the free pseudospace to higher dimensions and show that the n-dimensional free pseudospace is \omega-stable n-ample yet not (n+1)-ample. In…

We show that the statements $\square(\omega_{3})$ and $\square(\omega_{4})$ both fail in the $\mathbb{P}_{\mathrm{max}}$ extension of a variation of the Chang model introduced by Sargsyan.

False theta functions are functions that are closely related to classical theta functions and mock theta functions. In this paper, we study their modular properties at all ranks by forming modular completions analogous to modular…

This dissertation includes many theorems which show how to change large cardinal properties with forcing. I consider in detail the degrees of inaccessible cardinals (an analogue of the classical degrees of Mahlo cardinals) and provide new…

We prove that the cohomology groups of an etale Q_p-local system on a smooth proper rigid analytic space are finite-dimensional Q_p-vector spaces, provided that the base field is either a finite extension of Q_p or an algebraically closed…

Theorem: There is a {\em complete sentence} $\phi$ of $L_{\omega_1,\omega}$ such that $\phi$ has maximal models in a set of cardinals $\lambda$ that is cofinal in the first measurable $\mu$ while $\phi$ has no maximal models in any $\chi…

We prove a version of the finiteness conjecture for Kauffman bracket skein modules of $3$-manifolds with boundary, which was introduced by the second author in \cite{Det21}. In particular our methods, which are constructive, give an…

Given a graph $G$, the strong clique number $\omega_2'(G)$ of $G$ is the cardinality of a largest collection of edges every pair of which are incident or connected by an edge in $G$. We study the strong clique number of graphs missing some…

In this paper we analyze the connection between some properties of partially strongly compact cardinals: the completion of filters of certain size and instances of the compactness of $\mathcal{L}_{\kappa,\kappa}$. Using this equivalence we…

We show that Shelah's Eventual Categoricity Conjecture follows from the existence of class many strongly compact cardinals. This is the first time the consistency of this conjecture has been proven. We do so by showing that every AEC with…

Let $f_{s,k}(n)$ be the maximum possible number of $s$-term arithmetic progressions in a sequence $a_1<a_2<\ldots<a_n$ of $n$ integers which contains no $k$-term arithmetic progression. For all integers $k > s \geq 3$, we prove that…

We use set-theoretic tools to make a model-theoretic contribution. In particular, we construct a \emph{single} $\mathcal{L}_{\omega_1,\omega}$-sentence $\psi$ that codes Kurepa trees to prove the consistency of the following: (1) The…