Does an existence of large cardinals have implications in more down-to-earth fields like number theory, finite combinatorics, graph theory, Ramsey theory or computability theory? Are there any interesting theorems in these areas that can be proved based on assumptions of existence of certain large cardinals? Or they are too far to change anything here?

I know that existence of certain cardinals implies consistency of some axiomatic systems of the set theory, which in turn can be expressed as a statement about certain huge Diophantine equations having no solutions, but it looks unlikely that we could use these Diophantine equations for anything else.

Does an existence of large cardinals have implications in more down-to-earth fields like number theory, finite combinatorics, graph theory, Ramsey theory or computability theory? Are there any interesting theorems in these areas that can be proved based on assumptions of existence of certain large cardinals? Or they are too far to change anything here?

I know that existence of certain cardinals implies consistency of some axiomatic systems of the set theory, which in turn can be expressed as a statement about certain huge Diophantine equations having no solutions, but it looks unlikely that we could use these Diophantine equations for anything else.

Does an existence of large cardinals have implications in more down-to-earth fields like number theory, finite combinatorics, graph theory, Ramsey theory or computability theory? Are there any interesting theorems in these areas that can be proved based on assumptions of existence of certain large cardinals? Or they are too far to change anything here?

I know that existence of certain cardinals implies consistency of some axiomatic systems of the set theory, which in turn can be expressed as a statement about certain huge Diophantine equations having no solutions, but it looks unlikely that we could use this Diophantine equation for anything else.

Does an existence of large cardinals have implications in more down-to-earth fields like number theory, finite combinatorics, graph theory, Ramsey theory or computability theory? Are there any interesting theorems in these areas that can be proved based on assumptions of existence of certain large cardinals? Or they are too far to change anything here?

I know that existence of certain cardinals implies consistency of some axiomatic systems of the set theory, which in turn can be expressed as a statement about certain huge Diophantine equations having no solutions, but it looks unlikely that we could use these Diophantine equations for anything else.