{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:CBJIHPIRLWWBLIEYV2BT7F4TDZ","short_pith_number":"pith:CBJIHPIR","schema_version":"1.0","canonical_sha256":"105283bd115dac15a098ae833f97931e7873d9c7bf85fc7c47cf98acd822ef47","source":{"kind":"arxiv","id":"2507.10289","version":1},"attestation_state":"computed","paper":{"title":"Definable coordinate geometries over fields, part 2: applications","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Gergely Sz\\'ekely, Judit Madar\\'asz, Mike Stannett","submitted_at":"2025-07-14T13:54:30Z","abstract_excerpt":"In Part 1 of this study we showed, for a wide range of geometries, that the relationships between their concept-sets are fully determined by those between their (affine) automorphism groups. In this (self-contained) part, we show how this result can be applied to quickly determine relationships and differences between various geometries and spacetimes, including ordered affine, Euclidean, Galilean, Newtonian, Late Classical, Relativistic and Minkowski spacetimes (we first define these spacetimes and geometries using a Tarskian first-order language centred on the ternary relation $\\mathsf{Bw}$ "},"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":"2507.10289","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2025-07-14T13:54:30Z","cross_cats_sorted":[],"title_canon_sha256":"3ae9fed690ab065df43975a1aa2821dda57c13e831caa16df98f7d6bec484cfb","abstract_canon_sha256":"f209c4b50dc1b5bc7721d046d0be16a720bd7b61c349e5176d0302ff972f5230"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:36:48.740758Z","signature_b64":"urKjDJ9+7N4MFKP8H7ihALt0yJYS27LbkEVauyCogXibLxMKINVtRm/gD6kTIRyWPMC4pUrzcgZqeBMj0V9zAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"105283bd115dac15a098ae833f97931e7873d9c7bf85fc7c47cf98acd822ef47","last_reissued_at":"2026-07-05T11:36:48.740081Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:36:48.740081Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Definable coordinate geometries over fields, part 2: applications","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Gergely Sz\\'ekely, Judit Madar\\'asz, Mike Stannett","submitted_at":"2025-07-14T13:54:30Z","abstract_excerpt":"In Part 1 of this study we showed, for a wide range of geometries, that the relationships between their concept-sets are fully determined by those between their (affine) automorphism groups. In this (self-contained) part, we show how this result can be applied to quickly determine relationships and differences between various geometries and spacetimes, including ordered affine, Euclidean, Galilean, Newtonian, Late Classical, Relativistic and Minkowski spacetimes (we first define these spacetimes and geometries using a Tarskian first-order language centred on the ternary relation $\\mathsf{Bw}$ "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.10289","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2507.10289/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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":"2507.10289","created_at":"2026-07-05T11:36:48.740157+00:00"},{"alias_kind":"arxiv_version","alias_value":"2507.10289v1","created_at":"2026-07-05T11:36:48.740157+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.10289","created_at":"2026-07-05T11:36:48.740157+00:00"},{"alias_kind":"pith_short_12","alias_value":"CBJIHPIRLWWB","created_at":"2026-07-05T11:36:48.740157+00:00"},{"alias_kind":"pith_short_16","alias_value":"CBJIHPIRLWWBLIEY","created_at":"2026-07-05T11:36:48.740157+00:00"},{"alias_kind":"pith_short_8","alias_value":"CBJIHPIR","created_at":"2026-07-05T11:36:48.740157+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2507.21180","citing_title":"On Andr\\'eka's Conjecture that special relativity is the only possible conceptual reduct of classical kinematics","ref_index":13,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/CBJIHPIRLWWBLIEYV2BT7F4TDZ","json":"https://pith.science/pith/CBJIHPIRLWWBLIEYV2BT7F4TDZ.json","graph_json":"https://pith.science/api/pith-number/CBJIHPIRLWWBLIEYV2BT7F4TDZ/graph.json","events_json":"https://pith.science/api/pith-number/CBJIHPIRLWWBLIEYV2BT7F4TDZ/events.json","paper":"https://pith.science/paper/CBJIHPIR"},"agent_actions":{"view_html":"https://pith.science/pith/CBJIHPIRLWWBLIEYV2BT7F4TDZ","download_json":"https://pith.science/pith/CBJIHPIRLWWBLIEYV2BT7F4TDZ.json","view_paper":"https://pith.science/paper/CBJIHPIR","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2507.10289&json=true","fetch_graph":"https://pith.science/api/pith-number/CBJIHPIRLWWBLIEYV2BT7F4TDZ/graph.json","fetch_events":"https://pith.science/api/pith-number/CBJIHPIRLWWBLIEYV2BT7F4TDZ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/CBJIHPIRLWWBLIEYV2BT7F4TDZ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/CBJIHPIRLWWBLIEYV2BT7F4TDZ/action/storage_attestation","attest_author":"https://pith.science/pith/CBJIHPIRLWWBLIEYV2BT7F4TDZ/action/author_attestation","sign_citation":"https://pith.science/pith/CBJIHPIRLWWBLIEYV2BT7F4TDZ/action/citation_signature","submit_replication":"https://pith.science/pith/CBJIHPIRLWWBLIEYV2BT7F4TDZ/action/replication_record"}},"created_at":"2026-07-05T11:36:48.740157+00:00","updated_at":"2026-07-05T11:36:48.740157+00:00"}