Re: Continuum hypothesis

On Thu, 16 Aug 2007, Peter_Smith wrote:

Well, to be pernickety, since CH can be formulated as a statement of
the language pure second-order logic, it *is* a statement of any
second-order theory whose language includes that of second-order logic
(including second-order arithmetic). Of course, some might well say
that that's just because second-order theories are just set theories
in disguise!

Are you responding to someone or starting a new thread on CH?
.

Relevant Pages

  • Re: Continuum hypothesis
    ... the language pure second-order logic, it *is* a statement of any ... second-order theory whose language includes that of second-order logic ... that that's just because second-order theories are just set theories ...
    (sci.logic)
  • Re: Continuum hypothesis
    ... second-order theory whose language includes that of second-order logic ... continuum hypothesis is true, this sentence is true in all models. ...
    (sci.logic)