Source author record

James Cummings

James Cummings appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.LO math.CO

Catalog footprint

What is connected

6works

2topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2016arXiv

A Framework for Forcing Constructions at Successors of Singular Cardinals

We describe a framework for proving consistency results about singular cardinals of arbitrary cofinality and their successors. This framework allows the construction of models in which the Singular Cardinals Hypothesis fails at a singular cardinal of uncountable cofinality, while its successor enjoys various combinatorial properties. As a sample application, we prove the consistency (relative to that of ZFC plus a supercompact cardinal) of there being a strong limit singular cardinal $κ$ of uncountable cofinality where SCH fails and for which there is a collection of graphs on $κ^+$ whose size is less than $2^κ$ and such that any graph on $κ^+$ embeds into one of the graphs in the collection.

preprint2016arXiv

Collapsing the cardinals of $HOD$

Assuming that $GCH$ holds and $κ$ is $κ^{+3}$-supercompact, we construct a generic extension $W$ of $V$ in which $κ$ remains strongly inaccessible and $(α^+)^{HOD} < α^+$ for every infinite cardinal $α< κ$. In particular the rank-initial segment $W_κ$ is a model of ZFC in which $(α^+)^{HOD} < α^+$ for every infinite cardinal $α$.

preprint2014arXiv

Limits, Regularity and Removal for Finite Structures

Our work builds on known results for k-uniform hypergraphs including the existence of limits, a Regularity Lemma and a Removal Lemma. Our main tool here is a theory of measures on ultraproduct spaces which establishes a correspondence between ultraproduct spaces and Euclidean spaces. First we show the existence of a limit object for convergent sequences of relational structures and as a special case, we retrieve the known limits for graphs and digraphs. Then we extend this notion to finite models of a fixed universal theory. We also state and prove a Regularity Lemma and a Removal Lemma. We will discuss connections between our work and Razborov's flag algebras as well.

preprint2014arXiv

Small universal families of graphs on $\aleph_{ω+1}$

We prove that it is consistent that $\aleph_ω$ is strong limit, $2^{\aleph_ω}$ is large and the universality number for graphs on $\aleph_{ω+1}$ is small. The proof uses Prikry forcing with interleaved collapsing.

preprint2012arXiv

Singular cardinals and strong extenders

We investigate the circumstances under which there exist a singular cardinal $μ$ and a short $(κ, μ)$-extender $E$ witnessing "$κ$ is $μ$-strong", such that $μ$ is singular in $\Ult(V, E)$.

preprint1995arXiv

Cardinal invariants above the continuum

We prove some consistency results about b(lambda) and d(lambda), which are natural generalisations of the cardinal invariants of the continuum b and d. We also define invariants b_cl(lambda) and d_cl(lambda), and prove that almost always b(lambda) = b_cl(lambda) and d(lambda)=d_cl(lambda)