{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:U2ZXNMH4UY7SA3ZI5Q4CALQ5IV","short_pith_number":"pith:U2ZXNMH4","canonical_record":{"source":{"id":"1902.08006","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2019-02-21T12:44:25Z","cross_cats_sorted":[],"title_canon_sha256":"6586b6184e3e8107b5650272ed3c7af32bd906a87f4d3b74b7cbb93ecea10bd4","abstract_canon_sha256":"e6eb65f66af2cb93123e97c7ae18cb762cc89b127f43bead4c72963325e48d43"},"schema_version":"1.0"},"canonical_sha256":"a6b376b0fca63f206f28ec38202e1d456691b8ce03848e86da2fba0bec9116b3","source":{"kind":"arxiv","id":"1902.08006","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1902.08006","created_at":"2026-05-17T23:53:02Z"},{"alias_kind":"arxiv_version","alias_value":"1902.08006v1","created_at":"2026-05-17T23:53:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1902.08006","created_at":"2026-05-17T23:53:02Z"},{"alias_kind":"pith_short_12","alias_value":"U2ZXNMH4UY7S","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_16","alias_value":"U2ZXNMH4UY7SA3ZI","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_8","alias_value":"U2ZXNMH4","created_at":"2026-05-18T12:33:30Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:U2ZXNMH4UY7SA3ZI5Q4CALQ5IV","target":"record","payload":{"canonical_record":{"source":{"id":"1902.08006","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2019-02-21T12:44:25Z","cross_cats_sorted":[],"title_canon_sha256":"6586b6184e3e8107b5650272ed3c7af32bd906a87f4d3b74b7cbb93ecea10bd4","abstract_canon_sha256":"e6eb65f66af2cb93123e97c7ae18cb762cc89b127f43bead4c72963325e48d43"},"schema_version":"1.0"},"canonical_sha256":"a6b376b0fca63f206f28ec38202e1d456691b8ce03848e86da2fba0bec9116b3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:53:02.451811Z","signature_b64":"mIJCvrXG1PoQyMfWlLfF3R2aLYhmArIFp0yJJWzxi973mGKmX28miMeLJx8tufzgm27f0viMKxZtwLkQCB9WCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a6b376b0fca63f206f28ec38202e1d456691b8ce03848e86da2fba0bec9116b3","last_reissued_at":"2026-05-17T23:53:02.451085Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:53:02.451085Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1902.08006","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-17T23:53:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PKR9fZtSRohF7kRVyvKaZfrh5UiN5VlTpGJF+EwkiHDOvPKFuSaKLQ/c3hhjG31wrJ7fyGWE0kWFfbNtvepSBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T21:50:55.583687Z"},"content_sha256":"fa2c2232de13211799b79e661d262cc7865a96f071b7ce6fe6ba960e76b39a37","schema_version":"1.0","event_id":"sha256:fa2c2232de13211799b79e661d262cc7865a96f071b7ce6fe6ba960e76b39a37"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:U2ZXNMH4UY7SA3ZI5Q4CALQ5IV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Limit Learning Equivalence Structures","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Ekaterina Fokina, Luca San Mauro, Timo K\\\"otzing","submitted_at":"2019-02-21T12:44:25Z","abstract_excerpt":"While most research in Gold-style learning focuses on learning formal languages, we consider the identification of computable structures, specifically equivalence structures. In our core model the learner gets more and more information about which pairs of elements of a structure are related and which are not. The aim of the learner is to find (an effective description of) the isomorphism type of the structure presented in the limit. In accordance with language learning we call this learning criterion InfEx-learning (explanatory learning from informant).\n  Our main contribution is a complete c"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1902.08006","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-17T23:53:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"m0nK/H799psSY96ld1sElkPWjw2264iveF6BcZUZJDhHE6mNymQAQsqamxuy+QEAWgtAD3AjVgqB8FtBANZ4BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T21:50:55.584342Z"},"content_sha256":"bad4fd8464af5ed12007e04001506634a0d635924f0520c7e6e032b088568189","schema_version":"1.0","event_id":"sha256:bad4fd8464af5ed12007e04001506634a0d635924f0520c7e6e032b088568189"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/U2ZXNMH4UY7SA3ZI5Q4CALQ5IV/bundle.json","state_url":"https://pith.science/pith/U2ZXNMH4UY7SA3ZI5Q4CALQ5IV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/U2ZXNMH4UY7SA3ZI5Q4CALQ5IV/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-05-30T21:50:55Z","links":{"resolver":"https://pith.science/pith/U2ZXNMH4UY7SA3ZI5Q4CALQ5IV","bundle":"https://pith.science/pith/U2ZXNMH4UY7SA3ZI5Q4CALQ5IV/bundle.json","state":"https://pith.science/pith/U2ZXNMH4UY7SA3ZI5Q4CALQ5IV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/U2ZXNMH4UY7SA3ZI5Q4CALQ5IV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:U2ZXNMH4UY7SA3ZI5Q4CALQ5IV","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":"e6eb65f66af2cb93123e97c7ae18cb762cc89b127f43bead4c72963325e48d43","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2019-02-21T12:44:25Z","title_canon_sha256":"6586b6184e3e8107b5650272ed3c7af32bd906a87f4d3b74b7cbb93ecea10bd4"},"schema_version":"1.0","source":{"id":"1902.08006","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1902.08006","created_at":"2026-05-17T23:53:02Z"},{"alias_kind":"arxiv_version","alias_value":"1902.08006v1","created_at":"2026-05-17T23:53:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1902.08006","created_at":"2026-05-17T23:53:02Z"},{"alias_kind":"pith_short_12","alias_value":"U2ZXNMH4UY7S","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_16","alias_value":"U2ZXNMH4UY7SA3ZI","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_8","alias_value":"U2ZXNMH4","created_at":"2026-05-18T12:33:30Z"}],"graph_snapshots":[{"event_id":"sha256:bad4fd8464af5ed12007e04001506634a0d635924f0520c7e6e032b088568189","target":"graph","created_at":"2026-05-17T23:53:02Z","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":"While most research in Gold-style learning focuses on learning formal languages, we consider the identification of computable structures, specifically equivalence structures. In our core model the learner gets more and more information about which pairs of elements of a structure are related and which are not. The aim of the learner is to find (an effective description of) the isomorphism type of the structure presented in the limit. In accordance with language learning we call this learning criterion InfEx-learning (explanatory learning from informant).\n  Our main contribution is a complete c","authors_text":"Ekaterina Fokina, Luca San Mauro, Timo K\\\"otzing","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2019-02-21T12:44:25Z","title":"Limit Learning Equivalence Structures"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1902.08006","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:fa2c2232de13211799b79e661d262cc7865a96f071b7ce6fe6ba960e76b39a37","target":"record","created_at":"2026-05-17T23:53:02Z","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":"e6eb65f66af2cb93123e97c7ae18cb762cc89b127f43bead4c72963325e48d43","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2019-02-21T12:44:25Z","title_canon_sha256":"6586b6184e3e8107b5650272ed3c7af32bd906a87f4d3b74b7cbb93ecea10bd4"},"schema_version":"1.0","source":{"id":"1902.08006","kind":"arxiv","version":1}},"canonical_sha256":"a6b376b0fca63f206f28ec38202e1d456691b8ce03848e86da2fba0bec9116b3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a6b376b0fca63f206f28ec38202e1d456691b8ce03848e86da2fba0bec9116b3","first_computed_at":"2026-05-17T23:53:02.451085Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:53:02.451085Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"mIJCvrXG1PoQyMfWlLfF3R2aLYhmArIFp0yJJWzxi973mGKmX28miMeLJx8tufzgm27f0viMKxZtwLkQCB9WCw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:53:02.451811Z","signed_message":"canonical_sha256_bytes"},"source_id":"1902.08006","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fa2c2232de13211799b79e661d262cc7865a96f071b7ce6fe6ba960e76b39a37","sha256:bad4fd8464af5ed12007e04001506634a0d635924f0520c7e6e032b088568189"],"state_sha256":"63567d0919c7f982b6becd46c7df2128efd615c78891ed6ebddb4148c5cb6477"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"R359IrFllez8L5oPjYhh4WaOOiuWoTW3R28IP4Sx5A4CXvjQ9nEVPIoHPhdmgzTPxkHrVSoY9suUPQWUmA1dAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T21:50:55.587468Z","bundle_sha256":"f560b9874eb45ea4f636f56baeee23780b80806024c482de110b2316ea29da4e"}}