Re: Continuum hypothesis

On Aug 26, 2:48 pm, herbzet <herb...@xxxxxxxxx> wrote:
Aatu Koskensilta wrote:

herbzet <herb...@xxxxxxxxx> writes:

Does that not differ in different structures?

I'm not sure what you have in mind.

I have in mind, in a fuzzy sort of way, that Cohen(64) shows
there are structures in which (CH) is false.



It's a (rather trivial)
mathematical theorem that the truth of the sentence CH in third-order
arithmetic -- truth for third-order arithmetical sentences is defined
simply by augmenting the inductive definition of truth for
arithmetical sentences with clauses governing higher order
quantifiers, e.g. that "for all sets X of naturals, P" is true iff for
all sets X of naturals, P[X/A] is true and so on -- is equivalent to
every set of reals being countable or of the cardinality of the
continuum. Different structures do not enter into this in any way,
only the naturals, sets of naturals, sets of sets of naturals.

--
Aatu Koskensilta (aatu.koskensi...@xxxxxxxxx)

"Wovon man nicht sprechen kann, daruber muss man schweigen"
- Ludwig Wittgenstein, Tractatus Logico-Philosophicus- Hide quoted text -

- Show quoted text -

You're confusing truth with truth in a particular model.

.

Relevant Pages

  • Re: Moore on Skolems Paradox
    ... The fact that Moore chooses to begin here is arguably evidence ... This is NOT "one truth about sets". ... Another problem is that in first-order formulations of set theory, ... COULD still be bigger than the "true" naturals (which might just ...
    (sci.logic)
  • Re: Godels Theorem and Model Theory
    ... stuck imagining that the concept of truth is ... about truth of any kind (but only provability). ... logically necessary for the standard integers (or naturals) to be the ... The standard K-12 curriculum introduces ...
    (sci.logic)
  • Re: Continuum hypothesis
    ... I'm not sure what you have in mind. ... mathematical theorem that the truth of the sentence CH in third-order ... arithmetic -- truth for third-order arithmetical sentences is defined ... only the naturals, sets of naturals, sets of sets of naturals. ...
    (sci.logic)
  • Re: Galileos Paradox
    ... the measure of truth of a statement, 0, 1, or somewhere in between? ... Those are specifications for two points in a 2D array of naturals, ... Yet another interpretation is that the pair is a specification of ... I think you haven't been exposed to much mathematics where this is the ...
    (sci.math)
  • Re: Continuum hypothesis
    ... truth, and you, George, objected vehemently in the following sci.logic ... being so glibly paraphrased as an assertion of "absolute truth". ... What about commutativity of addition, ... takes for granted the existence of infinitely many naturals, ...
    (sci.logic)
Quantcast