Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

It is known that if ZFC is consistent, ZFC+"no such large cardinal exists" is consistent. Then, is ZFC+"such large cardinal exists" known to be consistent? This would imply that proving large cardinal axiom is independent from ZFC...

Thanks.

share|improve this question

1 Answer 1

up vote 3 down vote accepted

ZFC cannot prove its own consistency, this is a result due to Godel's incompleteness theorems.

If, however, $\kappa$ is an inaccessible cardinal then $V_\kappa$ which is the collection of all sets whose von Neumann rank is $<\kappa$ is a model of ZFC. Due to the completeness theorem of Godel, this implies that ZFC is consistent.

So we cannot prove the existence of an inaccessible cardinal in ZFC.

Furthermore, suppose ZFC+There is an inaccessible cardinal is consistent, let $\kappa$ be the least inaccessible cardinal, then $V_\kappa$ is a model of ZFC but there are no inaccessible in $V_\kappa$.

(and almost all large cardinals are inaccessible, and if they are not inaccessible they imply that below them there are inaccessible cardinals, it might be that a cardinal is weakly inaccessible but "going down" to $L$ makes it a strongly inaccessible, and we are only interested in consistency results anyway)

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.