{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:YPRVZA5OTKTMTXLTBYEQCDUCHT","short_pith_number":"pith:YPRVZA5O","schema_version":"1.0","canonical_sha256":"c3e35c83ae9aa6c9dd730e09010e823cfe4dd0d304d239f471e1597d65f8512f","source":{"kind":"arxiv","id":"1411.0526","version":1},"attestation_state":"computed","paper":{"title":"Finiteness properties of congruence classes of infinite matrices","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.AC"],"primary_cat":"math.AG","authors_text":"Rob Eggermont","submitted_at":"2014-11-03T15:27:21Z","abstract_excerpt":"We look at spaces of infinite-by-infinite matrices, and consider closed subsets that are stable under simultaneous row and column operations. We prove that up to symmetry, any of these closed subsets is defined by finitely many equations."},"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":"1411.0526","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2014-11-03T15:27:21Z","cross_cats_sorted":["math.AC"],"title_canon_sha256":"32903412f91c0a95c52d03a4186b0c78dad5ca0f8ca2004879781041a04a8767","abstract_canon_sha256":"1ccc09026216b7da001520fd62d4d29726ba79192c45e9956eba5d3382ecbe48"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:20:01.897706Z","signature_b64":"cigiL/p74bTxtnHu7jCdiLRXERwE83sXiozROnfryCWh+qrAYETI0JkyhwPhUppZIRndtVtYVa5VBaMBzUj7DA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c3e35c83ae9aa6c9dd730e09010e823cfe4dd0d304d239f471e1597d65f8512f","last_reissued_at":"2026-05-18T01:20:01.897019Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:20:01.897019Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Finiteness properties of congruence classes of infinite matrices","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.AC"],"primary_cat":"math.AG","authors_text":"Rob Eggermont","submitted_at":"2014-11-03T15:27:21Z","abstract_excerpt":"We look at spaces of infinite-by-infinite matrices, and consider closed subsets that are stable under simultaneous row and column operations. We prove that up to symmetry, any of these closed subsets is defined by finitely many equations."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1411.0526","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":"1411.0526","created_at":"2026-05-18T01:20:01.897130+00:00"},{"alias_kind":"arxiv_version","alias_value":"1411.0526v1","created_at":"2026-05-18T01:20:01.897130+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1411.0526","created_at":"2026-05-18T01:20:01.897130+00:00"},{"alias_kind":"pith_short_12","alias_value":"YPRVZA5OTKTM","created_at":"2026-05-18T12:28:57.508820+00:00"},{"alias_kind":"pith_short_16","alias_value":"YPRVZA5OTKTMTXLT","created_at":"2026-05-18T12:28:57.508820+00:00"},{"alias_kind":"pith_short_8","alias_value":"YPRVZA5O","created_at":"2026-05-18T12:28:57.508820+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/YPRVZA5OTKTMTXLTBYEQCDUCHT","json":"https://pith.science/pith/YPRVZA5OTKTMTXLTBYEQCDUCHT.json","graph_json":"https://pith.science/api/pith-number/YPRVZA5OTKTMTXLTBYEQCDUCHT/graph.json","events_json":"https://pith.science/api/pith-number/YPRVZA5OTKTMTXLTBYEQCDUCHT/events.json","paper":"https://pith.science/paper/YPRVZA5O"},"agent_actions":{"view_html":"https://pith.science/pith/YPRVZA5OTKTMTXLTBYEQCDUCHT","download_json":"https://pith.science/pith/YPRVZA5OTKTMTXLTBYEQCDUCHT.json","view_paper":"https://pith.science/paper/YPRVZA5O","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1411.0526&json=true","fetch_graph":"https://pith.science/api/pith-number/YPRVZA5OTKTMTXLTBYEQCDUCHT/graph.json","fetch_events":"https://pith.science/api/pith-number/YPRVZA5OTKTMTXLTBYEQCDUCHT/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/YPRVZA5OTKTMTXLTBYEQCDUCHT/action/timestamp_anchor","attest_storage":"https://pith.science/pith/YPRVZA5OTKTMTXLTBYEQCDUCHT/action/storage_attestation","attest_author":"https://pith.science/pith/YPRVZA5OTKTMTXLTBYEQCDUCHT/action/author_attestation","sign_citation":"https://pith.science/pith/YPRVZA5OTKTMTXLTBYEQCDUCHT/action/citation_signature","submit_replication":"https://pith.science/pith/YPRVZA5OTKTMTXLTBYEQCDUCHT/action/replication_record"}},"created_at":"2026-05-18T01:20:01.897130+00:00","updated_at":"2026-05-18T01:20:01.897130+00:00"}