Paris–Harrington theorem (Q7137494)

From Wikidata
Jump to: navigation, search
states that a certain combinatorial principle in Ramsey theory, namely the strengthened finite Ramsey theorem, is true, but not provable in Peano arithmetic
edit
Language Label Description Also known as
English
Paris–Harrington theorem
states that a certain combinatorial principle in Ramsey theory, namely the strengthened finite Ramsey theorem, is true, but not provable in Peano arithmetic

    Statements

    0 references
    0 references
    0 references
     
    edit
      edit
        edit
          edit
            edit
              edit
                edit
                  edit