Re: Skolem Again

Daryl McCullough wrote: 
Herman Jurjus says...


Very good. Do you happen to have a similar falsifiable prediction that is implied by the existence of large cardinals? 


Sure: con(ZFC). That's a falsifiable prediction that follows
from the existence of a large cardinal.


Ok, agreed. How about the other two i mentioned?
(The existence of P(P(P(P(N)))) and the existence of P(N^N))

--
Cheers,
Herman Jurjus
.

Relevant Pages

  • Re: Ordinal numbers - some doubts
    ... construct cardinals, such as aleph_n, without defining ordinals, ... and also eliminate all cardinals greater than aleph_omega. ... ZF without the Replacement Schema) as a ... We already know that Z proves the existence of ...
    (sci.math)
  • Re: Absolutely undecidable statements
    ... extension of ZFC by large-cardinal axioms, if T is consistent, then T ... Woodin cardinals. ... imply existence of non-constructible reals. ...
    (sci.logic)
  • Re: Zals Last Theory
    ... It is estimated that the proof of Zals' last theorem, ... will require the existence of cardinals that are exponentially ... accepted by the logicians of Berkeley (who, ...
    (sci.logic)
  • Re: Aleph_Aleph_1
    ... notice that Webb defines aleph_1 (and cardinals in general) to ... cardinals to be initial ordinals (especially in the theory ZF_C_ in ... rejected the existence of aleph_aleph_1. ... countable alpha, and there are exactly aleph_1 countable ordinals ...
    (sci.logic)
  • Re: Aleph_Aleph_1
    ... notice that Webb defines aleph_1 (and cardinals in general) to ... cardinals to be initial ordinals (especially in the theory ZF_C_ in ... rejected the existence of aleph_aleph_1. ... countable alpha, and there are exactly aleph_1 countable ordinals ...
    (sci.logic)
Loading