Source author record

James Cummings

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.LO math.CO

Catalog footprint

Research overview

6works

2topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

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)

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.

James Cummings

Research overview

Is this your work?

6 publications

A Framework for Forcing Constructions at Successors of Singular Cardinals

Collapsing the cardinals of $HOD$

Limits, Regularity and Removal for Finite Structures

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

Singular cardinals and strong extenders

Cardinal invariants above the continuum

See the researcher in context

Building this map preview

James Cummings

Research overview

Is this your work?

6 publications

A Framework for Forcing Constructions at Successors of Singular Cardinals

Collapsing the cardinals of HODHODHOD

Limits, Regularity and Removal for Finite Structures

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

Singular cardinals and strong extenders

Cardinal invariants above the continuum

See the researcher in context

Building this map preview

Collapsing the cardinals of $HOD$

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