Pith Number

pith:VF23H3OO

pith:2024:VF23H3OOLY3ZPUE4RVTKIKLHMF

not attested not anchored not stored refs pending

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl

Henri Lombardi (LMB), Stefan Neuwirth (LMB), Thierry Coquand (CSE)

arxiv:2411.16469 v1 · 2024-11-25 · math.HO · math.LO

Open paper page JSON Open Graph Bundle Merged state Verified badge What is a Pith Number?

Add to your LaTeX paper

\usepackage{pith}
\pithnumber{VF23H3OOLY3ZPUE4RVTKIKLHMF}

Prints a linked badge after your title and injects PDF metadata. Compiles on arXiv. Learn more · Embed verified badge

Record completeness

1 Bitcoin timestamp

2 Internet Archive

3 Author claim open · sign in to claim

4 Citations open

5 Replications open

✓ Portable graph bundle live · download bundle · merged state

The bundle contains the canonical record plus signed events. A mirror can host it anywhere and recompute the same current state with the deterministic merge algorithm.

Receipt and verification

First computed	2026-07-05T09:40:09.799450Z
Builder	pith-number-builder-2026-05-17-v1
Signature	Pith Ed25519 (`pith-v1-2026-05`) · public key
Schema	pith-number/v1.0

Canonical hash

a975b3edce5e3797d09c8d66a429676158ac95fb653c21b8b2dc3ebb7a1adcf8

Aliases

arxiv: 2411.16469 · arxiv_version: 2411.16469v1 · doi: 10.48550/arxiv.2411.16469 · pith_short_12: VF23H3OOLY3Z · pith_short_16: VF23H3OOLY3ZPUE4 · pith_short_8: VF23H3OO

Agent API

Resolver JSON Graph JSON Events JSON Schema Signing key

Verify this Pith Number yourself

curl -sH 'Accept: application/ld+json' https://pith.science/pith/VF23H3OOLY3ZPUE4RVTKIKLHMF \
  | jq -c '.canonical_record' \
  | python3 -c "import sys,json,hashlib; b=json.dumps(json.loads(sys.stdin.read()), sort_keys=True, separators=(',',':'), ensure_ascii=False).encode(); print(hashlib.sha256(b).hexdigest())"
# expect: a975b3edce5e3797d09c8d66a429676158ac95fb653c21b8b2dc3ebb7a1adcf8

Canonical record JSON

{
  "metadata": {
    "abstract_canon_sha256": "e9b407609056d5baba32be32eaf62b4aba6e0d0760d93a7fa344fc00a3b124f0",
    "cross_cats_sorted": [
      "math.LO"
    ],
    "license": "http://arxiv.org/licenses/nonexclusive-distrib/1.0/",
    "primary_cat": "math.HO",
    "submitted_at": "2024-11-25T15:15:18Z",
    "title_canon_sha256": "fe5463c2445f90a07a7a40169719c3577037faf9fddcf671855312b09b28eacd"
  },
  "schema_version": "1.0",
  "source": {
    "id": "2411.16469",
    "kind": "arxiv",
    "version": 1
  }
}