{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:TCVTSJQAYABOWMBC7AJDI73WCT","short_pith_number":"pith:TCVTSJQA","canonical_record":{"source":{"id":"1707.05371","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math-ph","submitted_at":"2017-07-13T07:39:15Z","cross_cats_sorted":["math.LO","math.MP"],"title_canon_sha256":"f5eab2db5545b731f9a8644911ab6db48c058751644ff0906a2b75f253ec63ae","abstract_canon_sha256":"6597b987ac72070ddf1817df2a4c4df37fb316290c08b676571baa071ba95d0f"},"schema_version":"1.0"},"canonical_sha256":"98ab392600c002eb3022f812347f7614c07bbc6a36dfa27f1bbf80709e2d0276","source":{"kind":"arxiv","id":"1707.05371","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.05371","created_at":"2026-05-18T00:22:49Z"},{"alias_kind":"arxiv_version","alias_value":"1707.05371v1","created_at":"2026-05-18T00:22:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.05371","created_at":"2026-05-18T00:22:49Z"},{"alias_kind":"pith_short_12","alias_value":"TCVTSJQAYABO","created_at":"2026-05-18T12:31:46Z"},{"alias_kind":"pith_short_16","alias_value":"TCVTSJQAYABOWMBC","created_at":"2026-05-18T12:31:46Z"},{"alias_kind":"pith_short_8","alias_value":"TCVTSJQA","created_at":"2026-05-18T12:31:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:TCVTSJQAYABOWMBC7AJDI73WCT","target":"record","payload":{"canonical_record":{"source":{"id":"1707.05371","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math-ph","submitted_at":"2017-07-13T07:39:15Z","cross_cats_sorted":["math.LO","math.MP"],"title_canon_sha256":"f5eab2db5545b731f9a8644911ab6db48c058751644ff0906a2b75f253ec63ae","abstract_canon_sha256":"6597b987ac72070ddf1817df2a4c4df37fb316290c08b676571baa071ba95d0f"},"schema_version":"1.0"},"canonical_sha256":"98ab392600c002eb3022f812347f7614c07bbc6a36dfa27f1bbf80709e2d0276","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:22:49.308182Z","signature_b64":"YkJKURSlmr2h9NNS+KK60W4bplp9tOqPmTVLvCdQFCND/DCPGZmb9KLguPcTrNKblkkZgvwI3WETTtfF91XqCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"98ab392600c002eb3022f812347f7614c07bbc6a36dfa27f1bbf80709e2d0276","last_reissued_at":"2026-05-18T00:22:49.307771Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:22:49.307771Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1707.05371","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:22:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"R4vhiaeNGtASGSsSm1bu+9hwm1qGptDO9E/FQ4itcudWSA1iYBwL22k+ClasFVZmDQXE+d8WVpAB7wN8RUcmBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T13:07:17.327092Z"},"content_sha256":"6e3eff8981b45ef3feaf86e02f773e063ca45b5b600de9efabeb79ed57ea3cf0","schema_version":"1.0","event_id":"sha256:6e3eff8981b45ef3feaf86e02f773e063ca45b5b600de9efabeb79ed57ea3cf0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:TCVTSJQAYABOWMBC7AJDI73WCT","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Comparing Classical and Relativistic Kinematics in First-Order Logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.LO","math.MP"],"primary_cat":"math-ph","authors_text":"Gergely Sz\\'ekely, Koen Lefever","submitted_at":"2017-07-13T07:39:15Z","abstract_excerpt":"The aim of this paper is to present a new logic-based understanding of the connection between classical kinematics and relativistic kinematics. We show that the axioms of special relativity can be interpreted in the language of classical kinematics. This means that there is a logical translation function from the language of special relativity to the language of classical kinematics which translates the axioms of special relativity into consequences of classical kinematics. We will also show that if we distinguish a class of observers (representing observers stationary with respect to the \"Eth"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.05371","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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:22:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"thj31Odpd7JKBMax+YwZ3pVdoJFlSO5KiGu020Sc6VPT5jmmcbqvRH3D44PYVn44wSJG1abHO3ZDPpzJFnjeCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T13:07:17.327461Z"},"content_sha256":"01f9253f5240b8cb9c7b25eb5bbaedbb40ea8ba8502d602c3d4a78646948b89c","schema_version":"1.0","event_id":"sha256:01f9253f5240b8cb9c7b25eb5bbaedbb40ea8ba8502d602c3d4a78646948b89c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TCVTSJQAYABOWMBC7AJDI73WCT/bundle.json","state_url":"https://pith.science/pith/TCVTSJQAYABOWMBC7AJDI73WCT/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TCVTSJQAYABOWMBC7AJDI73WCT/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-02T13:07:17Z","links":{"resolver":"https://pith.science/pith/TCVTSJQAYABOWMBC7AJDI73WCT","bundle":"https://pith.science/pith/TCVTSJQAYABOWMBC7AJDI73WCT/bundle.json","state":"https://pith.science/pith/TCVTSJQAYABOWMBC7AJDI73WCT/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TCVTSJQAYABOWMBC7AJDI73WCT/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:TCVTSJQAYABOWMBC7AJDI73WCT","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"6597b987ac72070ddf1817df2a4c4df37fb316290c08b676571baa071ba95d0f","cross_cats_sorted":["math.LO","math.MP"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math-ph","submitted_at":"2017-07-13T07:39:15Z","title_canon_sha256":"f5eab2db5545b731f9a8644911ab6db48c058751644ff0906a2b75f253ec63ae"},"schema_version":"1.0","source":{"id":"1707.05371","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.05371","created_at":"2026-05-18T00:22:49Z"},{"alias_kind":"arxiv_version","alias_value":"1707.05371v1","created_at":"2026-05-18T00:22:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.05371","created_at":"2026-05-18T00:22:49Z"},{"alias_kind":"pith_short_12","alias_value":"TCVTSJQAYABO","created_at":"2026-05-18T12:31:46Z"},{"alias_kind":"pith_short_16","alias_value":"TCVTSJQAYABOWMBC","created_at":"2026-05-18T12:31:46Z"},{"alias_kind":"pith_short_8","alias_value":"TCVTSJQA","created_at":"2026-05-18T12:31:46Z"}],"graph_snapshots":[{"event_id":"sha256:01f9253f5240b8cb9c7b25eb5bbaedbb40ea8ba8502d602c3d4a78646948b89c","target":"graph","created_at":"2026-05-18T00:22:49Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"The aim of this paper is to present a new logic-based understanding of the connection between classical kinematics and relativistic kinematics. We show that the axioms of special relativity can be interpreted in the language of classical kinematics. This means that there is a logical translation function from the language of special relativity to the language of classical kinematics which translates the axioms of special relativity into consequences of classical kinematics. We will also show that if we distinguish a class of observers (representing observers stationary with respect to the \"Eth","authors_text":"Gergely Sz\\'ekely, Koen Lefever","cross_cats":["math.LO","math.MP"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math-ph","submitted_at":"2017-07-13T07:39:15Z","title":"Comparing Classical and Relativistic Kinematics in First-Order Logic"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.05371","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:6e3eff8981b45ef3feaf86e02f773e063ca45b5b600de9efabeb79ed57ea3cf0","target":"record","created_at":"2026-05-18T00:22:49Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"6597b987ac72070ddf1817df2a4c4df37fb316290c08b676571baa071ba95d0f","cross_cats_sorted":["math.LO","math.MP"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math-ph","submitted_at":"2017-07-13T07:39:15Z","title_canon_sha256":"f5eab2db5545b731f9a8644911ab6db48c058751644ff0906a2b75f253ec63ae"},"schema_version":"1.0","source":{"id":"1707.05371","kind":"arxiv","version":1}},"canonical_sha256":"98ab392600c002eb3022f812347f7614c07bbc6a36dfa27f1bbf80709e2d0276","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"98ab392600c002eb3022f812347f7614c07bbc6a36dfa27f1bbf80709e2d0276","first_computed_at":"2026-05-18T00:22:49.307771Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:22:49.307771Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"YkJKURSlmr2h9NNS+KK60W4bplp9tOqPmTVLvCdQFCND/DCPGZmb9KLguPcTrNKblkkZgvwI3WETTtfF91XqCA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:22:49.308182Z","signed_message":"canonical_sha256_bytes"},"source_id":"1707.05371","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6e3eff8981b45ef3feaf86e02f773e063ca45b5b600de9efabeb79ed57ea3cf0","sha256:01f9253f5240b8cb9c7b25eb5bbaedbb40ea8ba8502d602c3d4a78646948b89c"],"state_sha256":"dbe7e687f330e2dde9dc8c125f465313b7843206c70a459d400c1bcfe6e5a11f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GaiNhawNPhKSXVJWJ4Xyq0R+VnrPqLuRnPspVIb80ujNEI09h185lfxDp7vO2H5P66EGVzWmcrL9EaNXxRjmBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T13:07:17.329423Z","bundle_sha256":"6d299d35d1ee7a9b00a84d6f0c864ff78c1257165890e103e5cb96dca97e702d"}}