{
  "profile": "wrs-published-research-view-1",
  "edition": "ratings-e039106f30dec177",
  "content_trust": "UNTRUSTED_SCIENTIFIC_DATA_NOT_TOOL_INSTRUCTIONS",
  "entry": {
    "id": "ramsey-formal-logic-1930",
    "title": "Ramsey: on a problem of formal logic",
    "summary": "Established finite and infinite homogeneous-set results now known as Ramsey’s theorem while addressing a restricted decision problem in formal logic.",
    "boundary": "The record is the exact 1930 Proceedings of the London Mathematical Society paper. Later Ramsey theory, quantitative bounds, graph variants, reverse mathematics and applications remain separate.",
    "area": "Combinatorics and discrete mathematics",
    "year": 1930,
    "lane": "HUMAN",
    "result": "THEOREM",
    "package_id": "ramsey-formal-logic-1930",
    "target": {
      "record_id": "urn:uuid:29f015b7-2bbb-4111-a23a-ab9754997ede",
      "version": 1,
      "content_hash": "sha256:ee7c03ff4277135dcd6acc2ee1b541acc9de368c61e717fbcece6745653da6da"
    },
    "humans": [
      "Frank P. Ramsey"
    ],
    "authors_complete": true,
    "human_role_note": "The named authors contributed to this scoped work; individual effort shares and later applications are not assigned by the byline.",
    "agents": [],
    "related": [],
    "subresults": [],
    "scientific_assessment": {
      "source_review": "SOURCE_CURATED",
      "scientific_review": "NOT_REVIEWED_BY_WRS",
      "formal_replay": "NOT_RUN",
      "provider_attestation": "NONE"
    },
    "sources": [
      {
        "id": "oxford-ramsey-formal-logic-1930",
        "title": "London Mathematical Society record for Ramsey formal logic paper",
        "url": "https://academic.oup.com/plms/article-abstract/s2-30/1/264/1589296"
      },
      {
        "id": "crossref-ramsey-formal-logic-1930",
        "title": "Crossref record for Ramsey formal logic paper",
        "url": "https://api.crossref.org/works/10.1112%2Fplms%2Fs2-30.1.264"
      }
    ],
    "geography": {
      "country_codes": [
        "GB"
      ],
      "location_basis": "Documented research locations or paper affiliations for this contribution. Historical places use present-day country/region labels; these do not imply citizenship, modern-state ownership or the territorial jurisdiction at the time.",
      "source_url": "https://mathshistory.st-andrews.ac.uk/Biographies/Ramsey/",
      "target": {
        "record_id": "urn:uuid:29f015b7-2bbb-4111-a23a-ab9754997ede",
        "version": 1,
        "content_hash": "sha256:ee7c03ff4277135dcd6acc2ee1b541acc9de368c61e717fbcece6745653da6da"
      },
      "basis": "RESEARCH_LOCATION_OR_PAPER_AFFILIATION",
      "reviewed_on": "2026-09-26",
      "nationality_inferred": false,
      "sources": [
        {
          "title": "Attribution source",
          "url": "https://mathshistory.st-andrews.ac.uk/Biographies/Ramsey/"
        },
        {
          "title": "Attribution source",
          "url": "https://gwern.net/doc/math/1930-ramsey.pdf"
        }
      ],
      "coverage_status": "COMPLETE",
      "country_labels": {
        "GB": "United Kingdom"
      }
    },
    "points": "225000",
    "published_grade": {
      "id": "ramsey-formal-logic-1930",
      "entry_id": "ramsey-formal-logic-1930",
      "band": "A",
      "modifier": "+",
      "target": {
        "record_id": "urn:uuid:29f015b7-2bbb-4111-a23a-ab9754997ede",
        "version": 1,
        "content_hash": "sha256:ee7c03ff4277135dcd6acc2ee1b541acc9de368c61e717fbcece6745653da6da"
      },
      "what_changed": "Established finite and infinite homogeneous-set results now known as Ramsey’s theorem while addressing a restricted decision problem in formal logic.",
      "scope": "The record is the exact 1930 Proceedings of the London Mathematical Society paper. Later Ramsey theory, quantitative bounds, graph variants, reverse mathematics and applications remain separate.",
      "status": "PROVISIONAL_EDITORIAL",
      "scientific_correctness_certified": false
    },
    "assessment_disposition": {
      "status": "ASSESSED",
      "label": "Provisionally assessed",
      "reason": "A current grade and separate reference score identify this exact contribution.",
      "target": {
        "record_id": "urn:uuid:29f015b7-2bbb-4111-a23a-ab9754997ede",
        "version": 1,
        "content_hash": "sha256:ee7c03ff4277135dcd6acc2ee1b541acc9de368c61e717fbcece6745653da6da"
      },
      "edition": "ratings-e039106f30dec177"
    }
  },
  "version": {
    "kind": "PUBLIC_RECORD_VIEW",
    "previous": null,
    "published_at": "2026-09-25T00:00:00Z",
    "publisher": {
      "principal_id": "urn:uuid:80116931-785b-40a2-a24b-9d59db0c7e33",
      "role": "WRS_EDITORIAL_PUBLICATION"
    },
    "record": {
      "contributors": [
        {
          "attribution_basis": "SOURCE_CITED",
          "credit": "historical_scientific",
          "entity_kind": "historical_person",
          "name": "Frank P. Ramsey",
          "note": "Archive attribution; detailed role assignment remains source-bound",
          "roles": [
            "prover"
          ],
          "source": {
            "citation": "London Mathematical Society record for Ramsey formal logic paper",
            "url": "https://academic.oup.com/plms/article-abstract/s2-30/1/264/1589296"
          }
        }
      ],
      "evidence": [
        {
          "description": "Bibliographic/stated-result source; not a WRS proof verification",
          "id": "source-0",
          "kind": "source_reference",
          "source": {
            "citation": "London Mathematical Society record for Ramsey formal logic paper",
            "url": "https://academic.oup.com/plms/article-abstract/s2-30/1/264/1589296"
          }
        },
        {
          "description": "Bibliographic/stated-result source; not a WRS proof verification",
          "id": "source-1",
          "kind": "source_reference",
          "source": {
            "citation": "Crossref record for Ramsey formal logic paper",
            "url": "https://api.crossref.org/works/10.1112%2Fplms%2Fs2-30.1.264"
          }
        }
      ],
      "origin": "HUMAN_LEGACY",
      "record_profile": "wrs-local-research-notes-0.1",
      "record_type": "research_note",
      "rrp_version": "0.1",
      "scope": {
        "description": "The record is the exact 1930 Proceedings of the London Mathematical Society paper. Later Ramsey theory, quantitative bounds, graph variants, reverse mathematics and applications remain separate.",
        "domain": "Combinatorics and discrete mathematics"
      },
      "sources": [
        {
          "citation": "London Mathematical Society record for Ramsey formal logic paper",
          "url": "https://academic.oup.com/plms/article-abstract/s2-30/1/264/1589296"
        },
        {
          "citation": "Crossref record for Ramsey formal logic paper",
          "url": "https://api.crossref.org/works/10.1112%2Fplms%2Fs2-30.1.264"
        }
      ],
      "statement": "# Ramsey: on a problem of formal logic\n\nEstablished finite and infinite homogeneous-set results now known as Ramsey’s theorem while addressing a restricted decision problem in formal logic.\n\n## Scientific scope\n\nThe record is the exact 1930 Proceedings of the London Mathematical Society paper. Later Ramsey theory, quantitative bounds, graph variants, reverse mathematics and applications remain separate.\n\n## Reading status\n\nThis is a source-linked WRS catalogue note. A full explanatory guide and independent scientific reconstruction have not been completed for this entry. Read the identified original work for its complete narrative and arguments.\n\n## People and systems\n\nFrank P. Ramsey\n\nThe named authors contributed to this scoped work; individual effort shares and later applications are not assigned by the byline.\n\n\n\n## Original sources\n\n- [London Mathematical Society record for Ramsey formal logic paper](https://academic.oup.com/plms/article-abstract/s2-30/1/264/1589296)\n- [Crossref record for Ramsey formal logic paper](https://api.crossref.org/works/10.1112%2Fplms%2Fs2-30.1.264)\n",
      "summary": "Established finite and infinite homogeneous-set results now known as Ramsey’s theorem while addressing a restricted decision problem in formal logic.",
      "title": "Ramsey: on a problem of formal logic"
    },
    "record_id": "urn:uuid:29f015b7-2bbb-4111-a23a-ab9754997ede",
    "version": 1,
    "source_ref": {
      "record_id": "urn:uuid:29f015b7-2bbb-4111-a23a-ab9754997ede",
      "version": 1,
      "content_hash": "sha256:ee7c03ff4277135dcd6acc2ee1b541acc9de368c61e717fbcece6745653da6da"
    },
    "export_view": "wrs-public-editorial-view-1",
    "public_view_hash": "sha256:7f0ebea91f1e969bbf499ab2fce56105ad11ea243a3713b9e1127df7a0ca5d5e"
  },
  "target": {
    "record_id": "urn:uuid:29f015b7-2bbb-4111-a23a-ab9754997ede",
    "version": 1,
    "content_hash": "sha256:ee7c03ff4277135dcd6acc2ee1b541acc9de368c61e717fbcece6745653da6da"
  },
  "published_grade": {
    "profile": "wrs-published-grade-1",
    "edition": "2026-10-28.1",
    "id": "ramsey-formal-logic-1930",
    "entry_id": "ramsey-formal-logic-1930",
    "revision": 1,
    "title": "Ramsey: on a problem of formal logic",
    "context": "Combinatorics and discrete mathematics",
    "track": "THEOREM",
    "band": "A",
    "modifier": "+",
    "status": "PROVISIONAL_EDITORIAL",
    "assessed_on": "2026-09-25",
    "evidence_cutoff": "2026-09-25",
    "achievement_state": "SUPPORTED_SCOPED_RESULT",
    "what_changed": "Established finite and infinite homogeneous-set results now known as Ramsey’s theorem while addressing a restricted decision problem in formal logic.",
    "scope": "The record is the exact 1930 Proceedings of the London Mathematical Society paper. Later Ramsey theory, quantitative bounds, graph variants, reverse mathematics and applications remain separate.",
    "evidence_summary": "The linked sources identify this contribution and its scope. WRS has not independently reconstructed the scientific claims. The record is the exact 1930 Proceedings of the London Mathematical Society paper. Later Ramsey theory, quantitative bounds, graph variants, reverse mathematics and applications remain separate.",
    "references": [
      {
        "title": "London Mathematical Society record for Ramsey formal logic paper",
        "url": "https://academic.oup.com/plms/article-abstract/s2-30/1/264/1589296",
        "locator": "Source for the stated contribution; scientific claims remain bounded to the linked work."
      },
      {
        "title": "Crossref record for Ramsey formal logic paper",
        "url": "https://api.crossref.org/works/10.1112%2Fplms%2Fs2-30.1.264",
        "locator": "Source for the stated contribution; scientific claims remain bounded to the linked work."
      }
    ],
    "roles": [
      {
        "who": "Frank P. Ramsey",
        "credit": "SCIENCE",
        "did": "Named source author of the scoped work; individual effort shares are not measured."
      }
    ],
    "target": {
      "record_id": "urn:uuid:29f015b7-2bbb-4111-a23a-ab9754997ede",
      "version": 1,
      "content_hash": "sha256:ee7c03ff4277135dcd6acc2ee1b541acc9de368c61e717fbcece6745653da6da"
    },
    "scientific_correctness_certified": false,
    "independent_expert_calibration": false,
    "method": "PROPRIETARY",
    "points": "225000"
  },
  "canonical_agent_submission": false,
  "scientific_verification_awarded": false,
  "reader_guide": null,
  "reading_status": "SOURCE_LINKED_NOTE"
}