{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:XWYWM7HRXEMOWTBWQH7WSXMKCC","short_pith_number":"pith:XWYWM7HR","schema_version":"1.0","canonical_sha256":"bdb1667cf1b918eb4c3681ff695d8a109a19f9b47ec52ab8e5d88e49ce0b1b54","source":{"kind":"arxiv","id":"1312.5141","version":2},"attestation_state":"computed","paper":{"title":"Automatic continuity for isometry groups","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.GR"],"primary_cat":"math.LO","authors_text":"Marcin Sabok","submitted_at":"2013-12-18T13:57:26Z","abstract_excerpt":"We present a general framework for automatic continuity results for groups of isometries of metric spaces. In particular, we prove automatic continuity property for the group of isometries of the Urysohn space and the Urysohn sphere, i.e. that any homomorphism from either of these groups into a separable group is continuous. As a consequence, we get that the group of isometries of the Urysohn space has unique Polish group topology and the group of isometries of the Urysohn sphere has unique separable group topology. Moreover, as an application of our framework we obtain new proofs of the autom"},"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":"1312.5141","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2013-12-18T13:57:26Z","cross_cats_sorted":["math.GR"],"title_canon_sha256":"29c420789c5000fd25c97a632125a271347f78316abc7415c81f8d79814828f2","abstract_canon_sha256":"fd31c622fd444efdaa3ebac25cf7fa37a25619ce92e2c6e44987607579fb71ba"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:49:06.659777Z","signature_b64":"h+uloUsYLYDwU8v669LtRQOtSX1TcEu/6+aluRjU7v8YqLLORU/fLU7zrxdupAkbEprw0NIeUj8nSQkJBXPSBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bdb1667cf1b918eb4c3681ff695d8a109a19f9b47ec52ab8e5d88e49ce0b1b54","last_reissued_at":"2026-05-17T23:49:06.659144Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:49:06.659144Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Automatic continuity for isometry groups","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.GR"],"primary_cat":"math.LO","authors_text":"Marcin Sabok","submitted_at":"2013-12-18T13:57:26Z","abstract_excerpt":"We present a general framework for automatic continuity results for groups of isometries of metric spaces. In particular, we prove automatic continuity property for the group of isometries of the Urysohn space and the Urysohn sphere, i.e. that any homomorphism from either of these groups into a separable group is continuous. As a consequence, we get that the group of isometries of the Urysohn space has unique Polish group topology and the group of isometries of the Urysohn sphere has unique separable group topology. Moreover, as an application of our framework we obtain new proofs of the autom"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1312.5141","kind":"arxiv","version":2},"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":"1312.5141","created_at":"2026-05-17T23:49:06.659248+00:00"},{"alias_kind":"arxiv_version","alias_value":"1312.5141v2","created_at":"2026-05-17T23:49:06.659248+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1312.5141","created_at":"2026-05-17T23:49:06.659248+00:00"},{"alias_kind":"pith_short_12","alias_value":"XWYWM7HRXEMO","created_at":"2026-05-18T12:28:06.772260+00:00"},{"alias_kind":"pith_short_16","alias_value":"XWYWM7HRXEMOWTBW","created_at":"2026-05-18T12:28:06.772260+00:00"},{"alias_kind":"pith_short_8","alias_value":"XWYWM7HR","created_at":"2026-05-18T12:28:06.772260+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/XWYWM7HRXEMOWTBWQH7WSXMKCC","json":"https://pith.science/pith/XWYWM7HRXEMOWTBWQH7WSXMKCC.json","graph_json":"https://pith.science/api/pith-number/XWYWM7HRXEMOWTBWQH7WSXMKCC/graph.json","events_json":"https://pith.science/api/pith-number/XWYWM7HRXEMOWTBWQH7WSXMKCC/events.json","paper":"https://pith.science/paper/XWYWM7HR"},"agent_actions":{"view_html":"https://pith.science/pith/XWYWM7HRXEMOWTBWQH7WSXMKCC","download_json":"https://pith.science/pith/XWYWM7HRXEMOWTBWQH7WSXMKCC.json","view_paper":"https://pith.science/paper/XWYWM7HR","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1312.5141&json=true","fetch_graph":"https://pith.science/api/pith-number/XWYWM7HRXEMOWTBWQH7WSXMKCC/graph.json","fetch_events":"https://pith.science/api/pith-number/XWYWM7HRXEMOWTBWQH7WSXMKCC/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/XWYWM7HRXEMOWTBWQH7WSXMKCC/action/timestamp_anchor","attest_storage":"https://pith.science/pith/XWYWM7HRXEMOWTBWQH7WSXMKCC/action/storage_attestation","attest_author":"https://pith.science/pith/XWYWM7HRXEMOWTBWQH7WSXMKCC/action/author_attestation","sign_citation":"https://pith.science/pith/XWYWM7HRXEMOWTBWQH7WSXMKCC/action/citation_signature","submit_replication":"https://pith.science/pith/XWYWM7HRXEMOWTBWQH7WSXMKCC/action/replication_record"}},"created_at":"2026-05-17T23:49:06.659248+00:00","updated_at":"2026-05-17T23:49:06.659248+00:00"}