{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:JHT54XGCJEL4BSUKM3PTNA5BWS","short_pith_number":"pith:JHT54XGC","schema_version":"1.0","canonical_sha256":"49e7de5cc24917c0ca8a66df3683a1b48b49a22927905129fe793753b430e7af","source":{"kind":"arxiv","id":"1702.08519","version":1},"attestation_state":"computed","paper":{"title":"Three Different Formalisations of Einstein's Relativity Principle","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.LO"],"primary_cat":"physics.class-ph","authors_text":"Gergely Sz\\'ekely, Judit X. Madar\\'asz, Mike Stannett","submitted_at":"2017-02-23T12:18:54Z","abstract_excerpt":"We present three natural but distinct formalisations of Einstein's special principle of relativity, and demonstrate the relationships between them. In particular, we prove that they are logically distinct, but that they can be made equivalent by introducing a small number of additional, intuitively acceptable axioms."},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1702.08519","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"physics.class-ph","submitted_at":"2017-02-23T12:18:54Z","cross_cats_sorted":["math.LO"],"title_canon_sha256":"924271cdca879fe0b184e31f81f5bb2e6d3287950025a4476f190074eafa218d","abstract_canon_sha256":"295ca58fcf08841ff5f8ad317c62c1976f7f20a0ebad64e75c0b58188cddb53f"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:25:21.016861Z","signature_b64":"enJckYn73MjfYogOStAOgXQHxSW7rxnk+Bz7K6ubBimBgENWPjDuB1tOBdDxWccJr8HovQKOA1PxtUBF7SKGCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"49e7de5cc24917c0ca8a66df3683a1b48b49a22927905129fe793753b430e7af","last_reissued_at":"2026-05-18T00:25:21.016238Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:25:21.016238Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Three Different Formalisations of Einstein's Relativity Principle","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.LO"],"primary_cat":"physics.class-ph","authors_text":"Gergely Sz\\'ekely, Judit X. Madar\\'asz, Mike Stannett","submitted_at":"2017-02-23T12:18:54Z","abstract_excerpt":"We present three natural but distinct formalisations of Einstein's special principle of relativity, and demonstrate the relationships between them. In particular, we prove that they are logically distinct, but that they can be made equivalent by introducing a small number of additional, intuitively acceptable axioms."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1702.08519","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"1702.08519","created_at":"2026-05-18T00:25:21.016331+00:00"},{"alias_kind":"arxiv_version","alias_value":"1702.08519v1","created_at":"2026-05-18T00:25:21.016331+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1702.08519","created_at":"2026-05-18T00:25:21.016331+00:00"},{"alias_kind":"pith_short_12","alias_value":"JHT54XGCJEL4","created_at":"2026-05-18T12:31:24.725408+00:00"},{"alias_kind":"pith_short_16","alias_value":"JHT54XGCJEL4BSUK","created_at":"2026-05-18T12:31:24.725408+00:00"},{"alias_kind":"pith_short_8","alias_value":"JHT54XGC","created_at":"2026-05-18T12:31:24.725408+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/JHT54XGCJEL4BSUKM3PTNA5BWS","json":"https://pith.science/pith/JHT54XGCJEL4BSUKM3PTNA5BWS.json","graph_json":"https://pith.science/api/pith-number/JHT54XGCJEL4BSUKM3PTNA5BWS/graph.json","events_json":"https://pith.science/api/pith-number/JHT54XGCJEL4BSUKM3PTNA5BWS/events.json","paper":"https://pith.science/paper/JHT54XGC"},"agent_actions":{"view_html":"https://pith.science/pith/JHT54XGCJEL4BSUKM3PTNA5BWS","download_json":"https://pith.science/pith/JHT54XGCJEL4BSUKM3PTNA5BWS.json","view_paper":"https://pith.science/paper/JHT54XGC","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1702.08519&json=true","fetch_graph":"https://pith.science/api/pith-number/JHT54XGCJEL4BSUKM3PTNA5BWS/graph.json","fetch_events":"https://pith.science/api/pith-number/JHT54XGCJEL4BSUKM3PTNA5BWS/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/JHT54XGCJEL4BSUKM3PTNA5BWS/action/timestamp_anchor","attest_storage":"https://pith.science/pith/JHT54XGCJEL4BSUKM3PTNA5BWS/action/storage_attestation","attest_author":"https://pith.science/pith/JHT54XGCJEL4BSUKM3PTNA5BWS/action/author_attestation","sign_citation":"https://pith.science/pith/JHT54XGCJEL4BSUKM3PTNA5BWS/action/citation_signature","submit_replication":"https://pith.science/pith/JHT54XGCJEL4BSUKM3PTNA5BWS/action/replication_record"}},"created_at":"2026-05-18T00:25:21.016331+00:00","updated_at":"2026-05-18T00:25:21.016331+00:00"}